Commits · 259bde2902bb9409f6b9b5c03c0cff7ebaf2996e · Marek Chalupa / slowbeast

Browse files

Apr 08, 2021
- 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
- BSE: encode also symbolic pointers · a81ecf90
  Marek Chalupa authored Mar 24, 2021
  a81ecf90
- BSE: coerce float to bitvec when necessary · 7444e0c3
  Marek Chalupa authored Mar 24, 2021
  
  7444e0c3
- BSE: fix gathering symbols · 5ce206f7
  Marek Chalupa authored Mar 24, 2021
  
  5ce206f7
- bself: fix checks for inductivity · 58de2634
  Marek Chalupa authored Mar 24, 2021
  
  58de2634
- Fix creating extract instruction · a08ec822
  Marek Chalupa authored Mar 24, 2021
  a08ec822
- expr mgr: refactor Bool() · e4a92bc0
  Marek Chalupa authored Mar 24, 2021
  e4a92bc0
- Fix createing the null pointer · ff246ff0
  Marek Chalupa authored Mar 24, 2021
  ff246ff0
- Do not create default offset · 68c3eb7f
  Marek Chalupa authored Mar 24, 2021
  68c3eb7f
- symexe: fix setting the width of a pointer · bd6d25fd
  Marek Chalupa authored Mar 24, 2021
  
  bd6d25fd
- BSE: catch abnormally terminated paths · 989aa9c0
  Marek Chalupa authored Mar 24, 2021
  
  989aa9c0
- Setup BSE testing · b5a0527e
  Marek Chalupa authored Mar 23, 2021
  
  b5a0527e
- Allow running KindSE too · bdafe435
  Marek Chalupa authored Mar 23, 2021
  bdafe435
- Fix code after feractoring · e38d13d3
  Marek Chalupa authored Mar 23, 2021
  e38d13d3
- bse: remove debugging prints · 056595f8
  Marek Chalupa authored Mar 23, 2021
  
  056595f8
- BSE: fix computing the precondition · e2e0f918
  Marek Chalupa authored Mar 23, 2021
  e2e0f918
- symbolic domain: do not convert bool to bitvec in eq, neq · da535583
  Marek Chalupa authored Mar 22, 2021
  
  da535583
- se: report 'Error found.' · 29ef93ba
  Marek Chalupa authored Mar 19, 2021
  29ef93ba
- tests: add a new test for BSE · a9d9350b
  Marek Chalupa authored Mar 19, 2021
  
  a9d9350b