Commits · caf4705d42f508d0ddb261b293f7db0cf0658bd9 · Marek Chalupa / slowbeast

Browse files

Feb 22, 2021
- kindse: get rid of subsumption and re-using inductive set · caf4705d
  Marek Chalupa authored Feb 22, 2021
  caf4705d
- Add a function · 1f8d8858
  Marek Chalupa authored Feb 22, 2021
  
  1f8d8858
- kindse: do not drop safe clauses · f20cef07
  Marek Chalupa authored Feb 22, 2021
  f20cef07
- Revert "Allow non-inductive starting sequences" · 4b47932d
  Marek Chalupa authored Feb 22, 2021
  4b47932d
Feb 21, 2021
- Allow non-inductive starting sequences · d5e30523
  Marek Chalupa authored Feb 21, 2021
  
  d5e30523
- Fix comparing two loads · f0076608
  Marek Chalupa authored Feb 21, 2021
  
  f0076608
- fix parsing logical ops · 161ce057
  Marek Chalupa authored Feb 21, 2021
  
  161ce057
- Fix getting the last constraint · 4112e4c9
  Marek Chalupa authored Feb 21, 2021
  
  4112e4c9
- fix an assertion · 0c8412ec
  Marek Chalupa authored Feb 21, 2021
  
  0c8412ec
- Try adding more relations · 390c62b8
  Marek Chalupa authored Feb 21, 2021
  
  390c62b8
- kindse: change initial sequence derivation · 9af3ae7c
  Marek Chalupa authored Feb 21, 2021
  
  9af3ae7c
Feb 20, 2021
- Refactor the code a bit · 602f213e
  Marek Chalupa authored Feb 20, 2021
  
  602f213e
- overapprox: break all equalities · 957d6c09
  Marek Chalupa authored Feb 20, 2021
  
  957d6c09
- Add several assertions and dbg messages · b9541d5d
  Marek Chalupa authored Feb 20, 2021
  
  b9541d5d
- overapprox: fix creating the set without a given clause · 74ae54d2
  Marek Chalupa authored Feb 20, 2021
  74ae54d2
- kindse: change dbg output · 4b4fc751
  Marek Chalupa authored Feb 20, 2021
  
  4b4fc751
Feb 19, 2021
- Fix the previous commit · 88e2b60d
  Marek Chalupa authored Feb 19, 2021
  
  88e2b60d
- Fix kindse · 122a1d84
  Marek Chalupa authored Feb 19, 2021
  
  122a1d84
- kindse: do not drop var-var equalities when dropping for the first time · f818a40e
  Marek Chalupa authored Feb 19, 2021
  f818a40e
- Drop clauses also after overapproximations · e1a5072b
  Marek Chalupa authored Feb 19, 2021
  
  e1a5072b
- kindse memory: overapprox cases when the pointer is unknown · a7617245
  Marek Chalupa authored Feb 19, 2021
  
  a7617245
- kindse: fix prolonging a sequence · bead6801
  Marek Chalupa authored Feb 19, 2021
  bead6801
- symbolic: fix cast of i1 to bool · 31595744
  Marek Chalupa authored Feb 19, 2021
  
  31595744
- Do not require the initial sequence to be inductive · 6147e7eb
  Marek Chalupa authored Feb 19, 2021
  
  6147e7eb
- kindse: refactor extending sequences · fc69649f
  Marek Chalupa authored Feb 19, 2021
  
  fc69649f
- kindse: refactor getting the initial sequence · aaad6ca9
  Marek Chalupa authored Feb 19, 2021
  
  aaad6ca9
- overapprox: refactor passing data to literal extensions · 13d19a31
  Marek Chalupa authored Feb 19, 2021
  
  13d19a31
- overapprox: refactor passing arguments · cf8dee14
  Marek Chalupa authored Feb 19, 2021
  
  cf8dee14
- remove unused method · 584ef581
  Marek Chalupa authored Feb 19, 2021
  
  584ef581
- blackify · d5fe8086
  Marek Chalupa authored Feb 19, 2021
  
  d5fe8086
- rename a method · 2ca9f60c
  Marek Chalupa authored Feb 19, 2021
  
  2ca9f60c
- Fix a test · e3789400
  Marek Chalupa authored Feb 19, 2021
  
  e3789400
- kindse: use computed invariants during execution · ddfe7379
  Marek Chalupa authored Feb 19, 2021
  
  ddfe7379
- Kindse: pass inferred invariants between checkers · beef9003
  Marek Chalupa authored Feb 19, 2021
  beef9003
- overapprox more a bit · 501b6278
  Marek Chalupa authored Feb 19, 2021
  
  501b6278
- lazy MM: override allocate · e080684e
  Marek Chalupa authored Feb 19, 2021
  e080684e
- Start implementing interproc stuff · e73fd797
  Marek Chalupa authored Feb 19, 2021
  
  e73fd797
- blackify code · d282d133
  Marek Chalupa authored Feb 19, 2021
  
  d282d133
- llvm parser: return bitvector of len 1 for false/true · 1a5e65bd
  Marek Chalupa authored Feb 19, 2021
  
  1a5e65bd
Feb 18, 2021
- adjust adding relations · 80aea72f
  Marek Chalupa authored Feb 18, 2021
  
  80aea72f