Commits · 7444e0c37b95f37eb8274e4b3da4f9284d79ac16 · Marek Chalupa / slowbeast

Browse files

Mar 25, 2021
- BSE: coerce float to bitvec when necessary · 7444e0c3
  Marek Chalupa authored Mar 24, 2021
  
  7444e0c3
- BSE: fix gathering symbols · 5ce206f7
  Marek Chalupa authored Mar 24, 2021
  
  5ce206f7
- bself: fix checks for inductivity · 58de2634
  Marek Chalupa authored Mar 24, 2021
  
  58de2634
- Fix creating extract instruction · a08ec822
  Marek Chalupa authored Mar 24, 2021
  a08ec822
- expr mgr: refactor Bool() · e4a92bc0
  Marek Chalupa authored Mar 24, 2021
  e4a92bc0
- Fix createing the null pointer · ff246ff0
  Marek Chalupa authored Mar 24, 2021
  ff246ff0
- Do not create default offset · 68c3eb7f
  Marek Chalupa authored Mar 24, 2021
  68c3eb7f
- symexe: fix setting the width of a pointer · bd6d25fd
  Marek Chalupa authored Mar 24, 2021
  
  bd6d25fd
- BSE: catch abnormally terminated paths · 989aa9c0
  Marek Chalupa authored Mar 24, 2021
  
  989aa9c0
- Setup BSE testing · b5a0527e
  Marek Chalupa authored Mar 23, 2021
  
  b5a0527e
- Allow running KindSE too · bdafe435
  Marek Chalupa authored Mar 23, 2021
  bdafe435
- Fix code after feractoring · e38d13d3
  Marek Chalupa authored Mar 23, 2021
  e38d13d3
- bse: remove debugging prints · 056595f8
  Marek Chalupa authored Mar 23, 2021
  
  056595f8
- BSE: fix computing the precondition · e2e0f918
  Marek Chalupa authored Mar 23, 2021
  e2e0f918
- symbolic domain: do not convert bool to bitvec in eq, neq · da535583
  Marek Chalupa authored Mar 22, 2021
  
  da535583
- se: report 'Error found.' · 29ef93ba
  Marek Chalupa authored Mar 19, 2021
  29ef93ba
- tests: add a new test for BSE · a9d9350b
  Marek Chalupa authored Mar 19, 2021
  
  a9d9350b
- BSE: fix creating values from nondet calls · 4830a604
  Marek Chalupa authored Mar 19, 2021
  
  4830a604
- Allow returning ConcreteVal from substitute · 885020bd
  Marek Chalupa authored Mar 19, 2021
  
  885020bd
- Rewrite BSE to be actually BSE · d6afd1f8
  Marek Chalupa authored Mar 17, 2021
  d6afd1f8
- se: rename addNondet -> add_nondet · b1ffcbd5
  Marek Chalupa authored Mar 17, 2021
  
  b1ffcbd5
- Make NondetLoad inherit from NondetInstrResult · d141dc37
  Marek Chalupa authored Mar 17, 2021
  
  d141dc37
- BSE: fix an obsolete comment · 62941b5a
  Marek Chalupa authored Mar 16, 2021
  
  62941b5a
- remove old commented code · d4de6e4e
  Marek Chalupa authored Mar 16, 2021
  
  d4de6e4e
- BSE: move LoopInfo to its own file · 36cb39a9
  Marek Chalupa authored Mar 16, 2021
  
  36cb39a9
- BSE: move InductiveSet to its own file · 76116a30
  Marek Chalupa authored Mar 16, 2021
  
  76116a30
- BSE: remove unused functions · bf02733d
  Marek Chalupa authored Mar 16, 2021
  
  bf02733d
- BSE: rename executor class · f203b942
  Marek Chalupa authored Mar 16, 2021
  
  f203b942
Mar 16, 2021
- 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