Commits · 6b5fee9d6be5ca68806cf12936b4b6dab6500089 · Marek Chalupa / slowbeast

Browse files

Mar 24, 2021
- BSE: catch abnormally terminated paths · 6b5fee9d
  Marek Chalupa authored Mar 24, 2021
  
  6b5fee9d
Mar 23, 2021
- Setup BSE testing · 4725bbf9
  Marek Chalupa authored Mar 23, 2021
  
  4725bbf9
- Allow running KindSE too · fbf62ed0
  Marek Chalupa authored Mar 23, 2021
  fbf62ed0
- Fix code after feractoring · 29ba86c3
  Marek Chalupa authored Mar 23, 2021
  29ba86c3
- bse: remove debugging prints · 832f2131
  Marek Chalupa authored Mar 23, 2021
  
  832f2131
- savior · 91b84fd9
  Marek Chalupa authored Mar 23, 2021
  
  91b84fd9
- savior · 9d9bad4a
  Marek Chalupa authored Mar 23, 2021
  
  9d9bad4a
- savior · ecde7406
  Marek Chalupa authored Mar 23, 2021
  
  ecde7406
Mar 22, 2021
- symbolic domain: do not convert bool to bitvec in eq, neq · 39e0cdc5
  Marek Chalupa authored Mar 22, 2021
  
  39e0cdc5
Mar 19, 2021
- se: report 'Error found.' · 39420b02
  Marek Chalupa authored Mar 19, 2021
  39420b02
- tests: add a new test for BSE · f2d44d4c
  Marek Chalupa authored Mar 19, 2021
  
  f2d44d4c
- FIX nondets · eaca58e7
  Marek Chalupa authored Mar 19, 2021
  
  eaca58e7
- Fix BSE · fd59f64a
  Marek Chalupa authored Mar 19, 2021
  
  fd59f64a
- BSE: fix creating values from nondet calls · 24e86759
  Marek Chalupa authored Mar 19, 2021
  
  24e86759
- Allow returning ConcreteVal from substitute · 33a35bd3
  Marek Chalupa authored Mar 19, 2021
  
  33a35bd3
- fix memmodel · 23310455
  Marek Chalupa authored Mar 19, 2021
  
  23310455
- savior · a72b4890
  Marek Chalupa authored Mar 19, 2021
  a72b4890
Mar 18, 2021
- savior · 2b4a44e9
  Marek Chalupa authored Mar 18, 2021
  
  2b4a44e9
Mar 17, 2021
- Rewrite BSE to be actually BSE · 8afe259a
  Marek Chalupa authored Mar 17, 2021
  8afe259a
- se: rename addNondet -> add_nondet · 70959753
  Marek Chalupa authored Mar 17, 2021
  
  70959753
- Make NondetLoad inherit from NondetInstrResult · 830e1aa5
  Marek Chalupa authored Mar 17, 2021
  
  830e1aa5
Mar 16, 2021
- BSE: fix an obsolete comment · 962f2e20
  Marek Chalupa authored Mar 16, 2021
  
  962f2e20
- remove old commented code · aa7efb61
  Marek Chalupa authored Mar 16, 2021
  
  aa7efb61
- BSE: move LoopInfo to its own file · 528acf32
  Marek Chalupa authored Mar 16, 2021
  
  528acf32
- BSE: move InductiveSet to its own file · f15f29e1
  Marek Chalupa authored Mar 16, 2021
  
  f15f29e1
- BSE: remove unused functions · c42ffe6a
  Marek Chalupa authored Mar 16, 2021
  
  c42ffe6a
- --amend · 1c53572e
  Marek Chalupa authored Mar 16, 2021
  
  1c53572e
- BSE: rename executor class · 03ce8972
  Marek Chalupa authored Mar 16, 2021
  
  03ce8972
- BSE: remove unused methods · d2c58470
  Marek Chalupa authored Mar 16, 2021
  
  d2c58470
- BSE: use only simple starting inductive sequences · dfb909d3
  Marek Chalupa authored Mar 16, 2021
  dfb909d3
- Fix rewriting formulas · f363f49a
  Marek Chalupa authored Mar 16, 2021
  
  f363f49a
- refactor arith formula · 1c8c8899
  Marek Chalupa authored Mar 16, 2021
  
  1c8c8899
Mar 15, 2021
- Remove unused functions · d053e87a
  Marek Chalupa authored Mar 15, 2021
  
  d053e87a
- symbolic: fix mk_add and mk_mul · 2f9912ef
  Marek Chalupa authored Mar 15, 2021
  
  2f9912ef
- symbolic: fix creating polynomials · 367c51da
  Marek Chalupa authored Mar 15, 2021
  
  367c51da
- kindse: remove kindse/ subfolder · dd64adfc
  Marek Chalupa authored Mar 15, 2021
  
  dd64adfc
- Copy kindse files to bse and rename · bf73d87c
  Marek Chalupa authored Mar 15, 2021
  bf73d87c
- bself: allow multiple abstractions for the starting inductive set · 24794372
  Marek Chalupa authored Mar 15, 2021
  
  24794372
- symbolic: all more generic poly replacement · 54f7df61
  Marek Chalupa authored Mar 15, 2021
  
  54f7df61
- BVPolynomial: handle extract · cbb9834d
  Marek Chalupa authored Mar 15, 2021
  
  cbb9834d