Commits · 0d1fe6d8142c98691d794e7a239a8e88b2fcf3e6 · Marek Chalupa / slowbeast

Browse files

Apr 21, 2021
- bse: replace values based also on input reads · 0d1fe6d8
  Marek Chalupa authored Apr 21, 2021
  
  0d1fe6d8
- BSE: fix joining states · 12cb7044
  Marek Chalupa authored Apr 21, 2021
  12cb7044
- FIXUP fix bse · 28b7ec5c
  Marek Chalupa authored Apr 21, 2021
  
  28b7ec5c
- bse: enable some assertions · 2aa08977
  Marek Chalupa authored Apr 21, 2021
  
  2aa08977
- Add a new method and blackify · ea89d45e
  Marek Chalupa authored Apr 21, 2021
  
  ea89d45e
- lazy sestate: remove unused code · 8741c2cf
  Marek Chalupa authored Apr 21, 2021
  
  8741c2cf
- BSE: fix backward substitution · cb4f3cb3
  Marek Chalupa authored Apr 21, 2021
  cb4f3cb3
- sestate: re-design copying of states · bd1e2e26
  Marek Chalupa authored Apr 21, 2021
  bd1e2e26
- se: rename copyTo -> _copy_to · 6e64315f
  Marek Chalupa authored Apr 21, 2021
  
  6e64315f
- bse: simplify memory model · 119ba182
  Marek Chalupa authored Apr 21, 2021
  119ba182
- tests: add a new regression test · 75ccf4f2
  Marek Chalupa authored Apr 21, 2021
  75ccf4f2
Apr 20, 2021
- sestate: fix isfeasible() · d61415de
  Marek Chalupa authored Apr 20, 2021
  d61415de
- bself: match created sequences if possible · 2569588e
  Marek Chalupa authored Apr 20, 2021
  
  2569588e
- Do not allow None sequences · cda5b4b8
  Marek Chalupa authored Apr 20, 2021
  cda5b4b8
- Fix tests · b798c877
  Marek Chalupa authored Apr 20, 2021
  
  b798c877
- bself: change creating sis · 6045916b
  Marek Chalupa authored Apr 20, 2021
  
  6045916b
- blackify · 223f464e
  Marek Chalupa authored Apr 20, 2021
  
  223f464e
- bself: print output indented according to BSELF nesting · 8a44d17c
  Marek Chalupa authored Apr 20, 2021
  
  8a44d17c
- bself: update debugging messages · 2070e8ba
  Marek Chalupa authored Apr 20, 2021
  
  2070e8ba
- bself: propagate the number of hitting a loop into fold_loop · dac59f09
  Marek Chalupa authored Apr 20, 2021
  
  dac59f09
- bself: count the number of hits of a loop per context · b0a55d2b
  Marek Chalupa authored Apr 20, 2021
  b0a55d2b
- BSE: refactor quing new contexts · 8abbdc06
  Marek Chalupa authored Apr 20, 2021
  
  8abbdc06
- bse: count how many times we hit a location · 6ff9cc81
  Marek Chalupa authored Apr 20, 2021
  
  6ff9cc81
- blackify · 21f48f58
  Marek Chalupa authored Apr 20, 2021
  
  21f48f58
- bself: filter yielded relations based on semantics · 523e1525
  Marek Chalupa authored Apr 20, 2021
  523e1525
- overapprox: fix overapproximating inequalities · bcc33b8f
  Marek Chalupa authored Apr 20, 2021
  bcc33b8f
Apr 19, 2021
- bself: add option to union extensions · a0d1a1af
  Marek Chalupa authored Apr 19, 2021
  
  a0d1a1af
- bself: allow merging extensions of a sequence · 43923d7c
  Marek Chalupa authored Apr 19, 2021
  
  43923d7c
- tests: add a new regression test · b80a5cd1
  Marek Chalupa authored Apr 19, 2021
  
  b80a5cd1
- tests: add two new regression tests · dea8cf08
  Marek Chalupa authored Apr 19, 2021
  
  dea8cf08
- adjust tests · e53548f4
  Marek Chalupa authored Apr 19, 2021
  
  e53548f4
- tests: add a new test · 6cc0e9b8
  Marek Chalupa authored Apr 19, 2021
  
  6cc0e9b8
- tests: add a test for th previous commit · c4a12fb5
  Marek Chalupa authored Apr 19, 2021
  
  c4a12fb5
- rels: yield also non-eq relations · 7f6e2611
  Marek Chalupa authored Apr 19, 2021
  7f6e2611
Apr 18, 2021
- tests: fix bself tests · ca64cdae
  Marek Chalupa authored Apr 18, 2021
  
  ca64cdae
- var relations: do not yield multiple equalities · 4763ff13
  Marek Chalupa authored Apr 18, 2021
  
  4763ff13
- tests: add a new test · 5ac40baa
  Marek Chalupa authored Apr 18, 2021
  
  5ac40baa
- relations: add relations derived from path conditions · 626eb3d0
  Marek Chalupa authored Apr 18, 2021
  626eb3d0
- overapprox: do not break eqs if they are not overapproximated · 2bbc79b2
  Marek Chalupa authored Apr 18, 2021
  
  2bbc79b2
- relations: rename a variable · 57d1fd1b
  Marek Chalupa authored Apr 18, 2021
  
  57d1fd1b