Commits · 878d279b3f17f90de17d3074c8e89facbd048d4e · Marek Chalupa / slowbeast

Browse files

Apr 12, 2021
- concrete solver: fix is_sat · 878d279b
  Marek Chalupa authored Apr 12, 2021
  
  878d279b
Apr 09, 2021
- bself: do unwinding before loop folding · 94d40653
  Marek Chalupa authored Apr 09, 2021
  
  94d40653
- tests: run in parallel · 25931620
  Marek Chalupa authored Apr 09, 2021
  
  25931620
- relations: use also y = c*x · f7bd5b29
  Marek Chalupa authored Apr 09, 2021
  
  f7bd5b29
- remove debugging message · 2db709a2
  Marek Chalupa authored Apr 09, 2021
  
  2db709a2
- add a test · 54c6365d
  Marek Chalupa authored Apr 09, 2021
  
  54c6365d
- Ignore pointers in inferring relations · 3f810e88
  Marek Chalupa authored Apr 09, 2021
  
  3f810e88
Apr 08, 2021
- tests: add a new regression test · 44e4d810
  Marek Chalupa authored Apr 08, 2021
  
  44e4d810
- tests: tweak parameters · e456f9d6
  Marek Chalupa authored Apr 08, 2021
  
  e456f9d6
- tests: run with timeout · e1535e89
  Marek Chalupa authored Apr 08, 2021
  e1535e89
- tests: add tests for regressions · 78410f3c
  Marek Chalupa authored Apr 08, 2021
  
  78410f3c
- relations: fix getting relations from previous state · 61aea140
  Marek Chalupa authored Apr 08, 2021
  61aea140
- tests: add a test for the previous commit · 3091f713
  Marek Chalupa authored Apr 08, 2021
  
  3091f713
- blackify · e68089c3
  Marek Chalupa authored Apr 08, 2021
  
  e68089c3
- overapprox: fix overapproximating set · 867abc52
  Marek Chalupa authored Apr 08, 2021
  867abc52
- relations: fix relations to previous state · 2e2312e6
  Marek Chalupa authored Apr 08, 2021
  2e2312e6
- blackify the code · 5a927ded
  Marek Chalupa authored Apr 08, 2021
  
  5a927ded
- overapprox: improve assertion message · b9a597c9
  Marek Chalupa authored Apr 08, 2021
  
  b9a597c9
- statedescription: add new methods to evaluate inputs · 259bde29
  Marek Chalupa authored Apr 08, 2021
  
  259bde29
- BSEMemory: fix copying · b7edc03d
  Marek Chalupa authored Apr 08, 2021
  
  b7edc03d
- BSE memory: override dump method · 736cc233
  Marek Chalupa authored Apr 08, 2021
  
  736cc233
- rename a function · 5845ed01
  Marek Chalupa authored Apr 08, 2021
  
  5845ed01
- kindse: allow using simple starting sets · 924faa4c
  Marek Chalupa authored Apr 08, 2021
  
  924faa4c
- overapprox: remove unused imports · 73f302f9
  Marek Chalupa authored Apr 08, 2021
  
  73f302f9
- overapprox: execute postimage from the given state · 105b9c33
  Marek Chalupa authored Apr 08, 2021
  105b9c33
Apr 07, 2021
- bself: rename a variable · a2b1263e
  Marek Chalupa authored Apr 07, 2021
  
  a2b1263e
- bself: remove unused method · 039f6564
  Marek Chalupa authored Apr 07, 2021
  
  039f6564
- bself: rename S to goal · 3f8d8de5
  Marek Chalupa authored Apr 07, 2021
  
  3f8d8de5
- BSELF: refactor overapproximating sets · 70d99c50
  Marek Chalupa authored Apr 07, 2021
  
  70d99c50
- statesset: support construction also from states · 4b45f0e9
  Marek Chalupa authored Apr 07, 2021
  
  4b45f0e9
- solver: fix concat in hard solving · 1f9f5aa1
  Marek Chalupa authored Apr 07, 2021
  
  1f9f5aa1
Apr 06, 2021
- Change printing errors · 17f424eb
  Marek Chalupa authored Apr 06, 2021
  
  17f424eb
- Change printing errors · 31d17ad0
  Marek Chalupa authored Apr 06, 2021
  
  31d17ad0
Apr 01, 2021
- domain/concrete: fix SExt · 838cf068
  Marek Chalupa authored Apr 01, 2021
  838cf068
Mar 26, 2021
- overapprox: translate also assumptions if given · a27aa0f1
  Marek Chalupa authored Mar 26, 2021
  
  a27aa0f1
- bself/kindse: fix computing relations for states · d681d2a5
  Marek Chalupa authored Mar 26, 2021
  
  d681d2a5
- BSE: do not flood the log with what we compute · 4ad990c7
  Marek Chalupa authored Mar 26, 2021
  
  4ad990c7
Mar 25, 2021
- BSELF: fix after rewritting to BSE · 3f34b8f1
  Marek Chalupa authored Mar 25, 2021
  
  3f34b8f1
- BSE: remove unused field in memory · 41f81040
  Marek Chalupa authored Mar 25, 2021
  
  41f81040
- bse: add a test · 7cb98806
  Marek Chalupa authored Mar 24, 2021
  
  7cb98806