Commits · d141dc3719beed9dc2b190396d89039e6a9769f3 · Marek Chalupa / slowbeast

Browse files

Mar 25, 2021
- 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
- symbolic: fix comparing coefficients · 60dc740a
  Marek Chalupa authored Mar 15, 2021
  
  60dc740a
- symbolic: fix unimplemented comparision · 45ab36b4
  Marek Chalupa authored Mar 15, 2021
  
  45ab36b4
- symbolic: fix div ops · 0112d4b0
  Marek Chalupa authored Mar 15, 2021
  
  0112d4b0
- Improve rewriting formulas · 1a1e64bd
  Marek Chalupa authored Mar 15, 2021
  
  1a1e64bd
- add a missing return value · 09027264
  Marek Chalupa authored Mar 15, 2021
  
  09027264
- symbolic: fix polynomials with urem · 05243174
  Marek Chalupa authored Mar 15, 2021
  
  05243174
- symbolic: do not wrap singletons to And/Or · 2e02f07e
  Marek Chalupa authored Mar 15, 2021
  
  2e02f07e
- a small fix · 256d4121
  Marek Chalupa authored Mar 15, 2021
  
  256d4121
- Use new Polynomail class to rewrite expressions · 230a34aa
  Marek Chalupa authored Mar 10, 2021
  230a34aa
- Rewrite expressions to eliminate multiplication if possible · 3af7f2e6
  Marek Chalupa authored Mar 10, 2021
  
  3af7f2e6
Mar 08, 2021
- Fix creating fresh symbols · 96dc6f0d
  Marek Chalupa authored Mar 08, 2021
  
  96dc6f0d
Mar 05, 2021
- Improve abstract solving · 33ba009c
  Marek Chalupa authored Mar 05, 2021
  
  33ba009c
- solvers: use abstraction of multiplication while solving hard formulas · aa71d1a3
  Marek Chalupa authored Mar 05, 2021
  
  aa71d1a3
- Fix reducing equality bitwidth · e850dac0
  Marek Chalupa authored Mar 05, 2021
  
  e850dac0
Mar 04, 2021
- fix is_sat · a9ece260
  Marek Chalupa authored Mar 04, 2021
  
  a9ece260
- Fix missing attribute · 284ec51c
  Marek Chalupa authored Mar 04, 2021
  
  284ec51c
- Fix setting a timeout · e895cfa4
  Marek Chalupa authored Mar 04, 2021
  
  e895cfa4
- Use staged solving · b52ffc2d
  Marek Chalupa authored Mar 04, 2021
  b52ffc2d
- rename method · 06743847
  Marek Chalupa authored Mar 04, 2021
  
  06743847
- Implement timeout to solver · 701d75e2
  Marek Chalupa authored Mar 04, 2021
  
  701d75e2
- Fix bit-reduction procedure · 6de20dae
  Marek Chalupa authored Mar 04, 2021
  6de20dae