Commits · 2bee4a3fc39e34921ad558176cc36ee75980b9a7 · Marek Chalupa / slowbeast

Browse files

Apr 24, 2021
- 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
- tests: adjust timeout · 51cfb188
  Marek Chalupa authored Apr 23, 2021
  
  51cfb188
- tests: add a regression test · 487f0918
  Marek Chalupa authored Apr 23, 2021
  
  487f0918
- bself: fix initial relations · fc1a965c
  Marek Chalupa authored Apr 23, 2021
  fc1a965c
- tests: add new tests · c091a35c
  Marek Chalupa authored Apr 23, 2021
  c091a35c
- tests: make ptr-overwrite supported by SE for now · 091f883d
  Marek Chalupa authored Apr 23, 2021
  091f883d
- relations: do not filter relations multiple times and yield disjuncts · d71eb223
  Marek Chalupa authored Apr 23, 2021
  
  d71eb223
- bse: fix creating memory constraints · 84bf76b7
  Marek Chalupa authored Apr 23, 2021
  84bf76b7
- tests: add a new test · bfde1513
  Marek Chalupa authored Apr 23, 2021
  
  bfde1513
- tests: add a new regression test · 825f78a0
  Marek Chalupa authored Apr 23, 2021
  825f78a0
- blackify · 34f036d3
  Marek Chalupa authored Apr 23, 2021
  
  34f036d3
- bse: comment debugging output · bf1bcec8
  Marek Chalupa authored Apr 23, 2021
  
  bf1bcec8
- BSE: fix matching input values · c4866539
  Marek Chalupa authored Apr 23, 2021
  c4866539
- FIXUP change debug · 7aab619e
  Marek Chalupa authored Apr 23, 2021
  
  7aab619e
- bse state: change debugging output · e6867175
  Marek Chalupa authored Apr 23, 2021
  
  e6867175
- bse mem: remove + from loads in dump() · d62a15ba
  Marek Chalupa authored Apr 23, 2021
  
  d62a15ba
- bse: simplify naming of variables · 5b70239a
  Marek Chalupa authored Apr 23, 2021
  5b70239a
- bsestate: adjust __repr__ · 9d94dccd
  Marek Chalupa authored Apr 23, 2021
  
  9d94dccd
Apr 22, 2021
- bse: call isfeasible() only once · 5e227925
  Marek Chalupa authored Apr 22, 2021
  
  5e227925