Commits · 48678e80c2360342401cad6b0b841111e393aeef · Marek Chalupa / slowbeast

Apr 26, 2021
- tests: add a new test · 48678e80
  Marek Chalupa authored Apr 26, 2021
  
  48678e80
- sestate: fix try_is_sat · 2be037ae
  Marek Chalupa authored Apr 26, 2021
  
  2be037ae
- sestate: re-implement is_feasible · c50bfaa4
  Marek Chalupa authored Apr 26, 2021
  c50bfaa4
- sestate: refactor is_sat · d9327e49
  Marek Chalupa authored Apr 26, 2021
  d9327e49
- Revert "improve hard solving" · 7748a719
  Marek Chalupa authored Apr 26, 2021
  7748a719
- relations: constrain the time on some harder relations · 276fc210
  Marek Chalupa authored Apr 26, 2021
  276fc210
- bself: add unwind_iteration method · 2892ab47
  Marek Chalupa authored Apr 26, 2021
  2892ab47
- statesset: improve methods · fd081e9b
  Marek Chalupa authored Apr 26, 2021
  fd081e9b
- bse: allow initialize bse path from annotated cfa path · df791299
  Marek Chalupa authored Apr 26, 2021
  
  df791299
- bself: refactor obtainin SIS from loop exits · 12d4a61e
  Marek Chalupa authored Apr 26, 2021
  
  12d4a61e
- improve hard solving · 38d5a278
  Marek Chalupa authored Apr 26, 2021
  
  38d5a278
- rename a few methods to snake case · 1f2b3f2e
  Marek Chalupa authored Apr 26, 2021
  
  1f2b3f2e
- bself: fix adding assumptions · 7c16d18f
  Marek Chalupa authored Apr 26, 2021
  7c16d18f
- overapproxs: drop unsat disjuncts · d76db7ad
  Marek Chalupa authored Apr 26, 2021
  d76db7ad
- blackify · e7696dd1
  Marek Chalupa authored Apr 26, 2021
  
  e7696dd1
- rename isfeasible to is_feasible · 1ce10393
  Marek Chalupa authored Apr 26, 2021
  1ce10393
- sestate: add try_is_sat method · 4766346f
  Marek Chalupa authored Apr 26, 2021
  
  4766346f
Apr 24, 2021
- bself: add a method to obtain paths of last k iterations of a loop · b8d62b4b
  Marek Chalupa authored Apr 24, 2021
  b8d62b4b
- bself: use included sets if we have any when matching inductive · 2bee4a3f
  Marek Chalupa authored Apr 24, 2021
  2bee4a3f
- bself: comment unused code · f6e28032
  Marek Chalupa authored Apr 24, 2021
  
  f6e28032
- Revert "relations: constraint the time spent in sat checks" · 1a2f3d2a
  Marek Chalupa authored Apr 24, 2021
  1a2f3d2a
- add a comment · fa9fae0f
  Marek Chalupa authored Apr 24, 2021
  
  fa9fae0f
- bse: allow adding invariants from unwinding · 14d6ae21
  Marek Chalupa authored Apr 24, 2021
  
  14d6ae21
- relations: constraint the time spent in sat checks · 82fd5ac7
  Marek Chalupa authored Apr 24, 2021
  82fd5ac7
- bself: adjust maximal sequences length · 9c5ca5cb
  Marek Chalupa authored Apr 24, 2021
  
  9c5ca5cb
- rels: do not yield unsat parts of disjunctions · fd07e4ca
  Marek Chalupa authored Apr 24, 2021
  
  fd07e4ca
- tests: add a new regression test · a0c27592
  Marek Chalupa authored Apr 24, 2021
  
  a0c27592
- blackify · 32273486
  Marek Chalupa authored Apr 24, 2021
  
  32273486
- add a note · 7804cc5b
  Marek Chalupa authored Apr 24, 2021
  
  7804cc5b
- bself: allow making the union of extensions based on their count · e297e7bf
  Marek Chalupa authored Apr 24, 2021
  e297e7bf
- bself: do not remove the inductive sequences · caf4aa02
  Marek Chalupa authored Apr 24, 2021
  caf4aa02
- bself: fix unwinding · 9cedb79f
  Marek Chalupa authored Apr 24, 2021
  
  9cedb79f
- bself: unroll loop instead of bounded BSE · 19e0f445
  Marek Chalupa authored Apr 24, 2021
  19e0f445
- bself: adjust debugging fun · 6ff9a11d
  Marek Chalupa authored Apr 24, 2021
  6ff9a11d
- bself: remove old comment · a6e20a87
  Marek Chalupa authored Apr 24, 2021
  
  a6e20a87
- BSELF: fix returning union of matched sequences · 55611daf
  Marek Chalupa authored Apr 24, 2021
  
  55611daf
- bself: union the matches sis by default · 5b7e450d
  Marek Chalupa authored Apr 24, 2021
  
  5b7e450d
- bself: improve generating memory constraints · 1dac28e1
  Marek Chalupa authored Apr 24, 2021
  1dac28e1
Apr 23, 2021
- bself: fix union_matched · dde48d7b
  Marek Chalupa authored Apr 23, 2021
  
  dde48d7b
- bself: add union_matched option to BSELF · 48347d86
  Marek Chalupa authored Apr 23, 2021
  
  48347d86