Commits · fbc4f23b83bd6852adfb3c134563a9e2338af977 · Marek Chalupa / slowbeast

Browse files

Feb 25, 2021
- drop clauses: do not add same formulas twice · fbc4f23b
  Marek Chalupa authored Feb 25, 2021
  
  fbc4f23b
- overapprox: refactor checking overapproximation · 994e0637
  Marek Chalupa authored Feb 25, 2021
  
  994e0637
- fix creating the initial set from the last iteration · 7892b45b
  Marek Chalupa authored Feb 25, 2021
  
  7892b45b
- remove unused methods · 9b46e3f8
  Marek Chalupa authored Feb 25, 2021
  
  9b46e3f8
- fix the initial sequences · f91824b1
  Marek Chalupa authored Feb 23, 2021
  
  f91824b1
- kindse: redesign creating initial sequences · 27cfe12f
  Marek Chalupa authored Feb 23, 2021
  
  27cfe12f
- Do not extend sequence with same (or included) frames. · f01991a8
  Marek Chalupa authored Feb 25, 2021
  
  f01991a8
- fix creating cannonical variables · 5c9b2326
  Marek Chalupa authored Feb 25, 2021
  
  5c9b2326
- Revert "Add also other instructions into state description" · 108c2792
  Marek Chalupa authored Feb 25, 2021
  108c2792
Feb 24, 2021
- remove unused import · a48fd99f
  Marek Chalupa authored Feb 24, 2021
  
  a48fd99f
- add an assertion · 76c6024a
  Marek Chalupa authored Feb 24, 2021
  
  76c6024a
- symbolic: handle Bool Var · cbb28e8c
  Marek Chalupa authored Feb 24, 2021
  
  cbb28e8c
- Add type to arguments · 0d148af1
  Marek Chalupa authored Feb 24, 2021
  
  0d148af1
- kindse: fix values collision · 5daddd1f
  Marek Chalupa authored Feb 24, 2021
  
  5daddd1f
- Add also other instructions into state description · 399139de
  Marek Chalupa authored Feb 24, 2021
  
  399139de
- rename a method · 3ee9c36f
  Marek Chalupa authored Feb 24, 2021
  
  3ee9c36f
- reduce the use of . a bit · e174346e
  Marek Chalupa authored Feb 24, 2021
  
  e174346e
- remove some uses of . · ca1f821e
  Marek Chalupa authored Feb 24, 2021
  
  ca1f821e
- remove commented code · 83e74d65
  Marek Chalupa authored Feb 24, 2021
  
  83e74d65
- Do not support multiple nondets of the same allocation · 8935f1c6
  Marek Chalupa authored Feb 24, 2021
  
  8935f1c6
- remove unused strengthening methods · ca5db5ce
  Marek Chalupa authored Feb 24, 2021
  
  ca5db5ce
- misc · 1d161a04
  Marek Chalupa authored Feb 24, 2021
  
  1d161a04
- catch empty sets · 264333a2
  Marek Chalupa authored Feb 23, 2021
  
  264333a2
- Add new methods · 241beed3
  Marek Chalupa authored Feb 23, 2021
  
  241beed3
- symexe mem: havoc also nondet loads · fa90f4a4
  Marek Chalupa authored Feb 23, 2021
  
  fa90f4a4
Feb 23, 2021
- concrete: fix conversion from float to bv · ac2e94b9
  Marek Chalupa authored Feb 23, 2021
  
  ac2e94b9
Feb 22, 2021
- kindse: cut off the sequences dynamically · b20596ab
  Marek Chalupa authored Feb 22, 2021
  
  b20596ab
- add a method · e4ac3b54
  Marek Chalupa authored Feb 22, 2021
  
  e4ac3b54
- add new relations · 29b1adf3
  Marek Chalupa authored Feb 22, 2021
  
  29b1adf3
- add new methods · 39daa85e
  Marek Chalupa authored Feb 22, 2021
  
  39daa85e
- kindse: add new relations · e2672f5d
  Marek Chalupa authored Feb 22, 2021
  e2672f5d
- Fix comparision of pointers · 672907c9
  Marek Chalupa authored Feb 22, 2021
  
  672907c9
- kindse: add also trivial relations between three loads · c2ef05c4
  Marek Chalupa authored Feb 22, 2021
  c2ef05c4
- kidse: try unwinding the loop before folding it · f8281e46
  Marek Chalupa authored Feb 22, 2021
  f8281e46
- A small refactoring · ff35500e
  Marek Chalupa authored Feb 22, 2021
  
  ff35500e
- comment unused code · c15cda35
  Marek Chalupa authored Feb 22, 2021
  
  c15cda35
- 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