Commits · 701d75e2f4634f7494923a220a8c777a5090ae13 · Marek Chalupa / slowbeast

Browse files

Mar 04, 2021
- Implement timeout to solver · 701d75e2
  Marek Chalupa authored Mar 04, 2021
  
  701d75e2
- Fix bit-reduction procedure · 6de20dae
  Marek Chalupa authored Mar 04, 2021
  6de20dae
- solver: improve filtering of concrete values · d59ca224
  Marek Chalupa authored Mar 04, 2021
  
  d59ca224
- Add method for reducing the bitwidth of expressions · 249ce113
  Marek Chalupa authored Mar 04, 2021
  
  249ce113
Mar 03, 2021
- bself: do not execute paths in induction check while overapproximating · 94c2c490
  Marek Chalupa authored Mar 03, 2021
  94c2c490
- Fix an assertion · 1af9858b
  Marek Chalupa authored Mar 03, 2021
  
  1af9858b
- Do more efficient induction check in drop_clauses · b92a7c17
  Marek Chalupa authored Mar 03, 2021
  
  b92a7c17
- Implement more efficient check for inductivity · b8206d04
  Marek Chalupa authored Mar 03, 2021
  
  b8206d04
- kindse: wrap loop into new class · 813263da
  Marek Chalupa authored Mar 03, 2021
  813263da
- bself tail: return all re-usable sequences · 2ee0e948
  Marek Chalupa authored Mar 03, 2021
  
  2ee0e948
- bself: use multiple overapproximations · 56728e5f
  Marek Chalupa authored Mar 03, 2021
  
  56728e5f
- bself: move adding relations out from overapprox_set · 7f37826b
  Marek Chalupa authored Mar 03, 2021
  
  7f37826b
- bself: put back an assertion · 76d9ff71
  Marek Chalupa authored Mar 03, 2021
  
  76d9ff71
- bself: fix empty SIS · 51b2fa46
  Marek Chalupa authored Mar 03, 2021
  
  51b2fa46
- Do not abort when an exit path is infeasible · 15e92b3b
  Marek Chalupa authored Mar 03, 2021
  15e92b3b
- bself: fix simple sis with inductive complement · 172793fa
  Marek Chalupa authored Mar 03, 2021
  
  172793fa
Mar 02, 2021
- bself: return multiple simple starting sis · 128bd487
  Marek Chalupa authored Mar 02, 2021
  
  128bd487
- use uninitializedRead only if the pointer is resolvable · ba7d90bf
  Marek Chalupa authored Mar 02, 2021
  ba7d90bf
- conj/disj: work as identity if only one argument is passed · 214cb007
  Marek Chalupa authored Mar 02, 2021
  
  214cb007
- rename executePath -> execute_path · 369d672c
  Marek Chalupa authored Mar 02, 2021
  
  369d672c
- bself: do not inherit from Kind · ed81deef
  Marek Chalupa authored Mar 02, 2021
  ed81deef
- bself: do not pass toplevel executor to BSELFChecker · ee16d90f
  Marek Chalupa authored Mar 02, 2021
  ee16d90f
- kindse: rename to BSELF · fcb1a0a7
  Marek Chalupa authored Mar 02, 2021
  
  fcb1a0a7
- rename KindSEChecker -> BSELFChecker · a5d1ed2e
  Marek Chalupa authored Mar 02, 2021
  
  a5d1ed2e
- Adjust tests · e1b5652d
  Marek Chalupa authored Feb 24, 2021
  
  e1b5652d
Mar 01, 2021
- kindse: use new options · abc4269b
  Marek Chalupa authored Mar 01, 2021
  
  abc4269b
- Extend options · a237d150
  Marek Chalupa authored Mar 01, 2021
  
  a237d150
- Use BSELFOptions instead of KindSEOptions · 39f03c07
  Marek Chalupa authored Mar 01, 2021
  
  39f03c07
- kindse: Add BSELFOptions · 3b31ca50
  Marek Chalupa authored Mar 01, 2021
  
  3b31ca50
- kindse: move KindSEOptions to __init__ · 0937a437
  Marek Chalupa authored Mar 01, 2021
  
  0937a437
- kindse: remove unused imports · 8d997a19
  Marek Chalupa authored Mar 01, 2021
  
  8d997a19
- Allow simple computation of starting ind seq · c83e8f13
  Marek Chalupa authored Mar 01, 2021
  
  c83e8f13
- Add two new methods · 8b6d3c53
  Marek Chalupa authored Mar 01, 2021
  
  8b6d3c53
Feb 26, 2021
- remove redundant intersection · a4fb6075
  Marek Chalupa authored Feb 26, 2021
  a4fb6075
Feb 25, 2021
- Avoid name collisions · 4b1f4f2a
  Marek Chalupa authored Feb 25, 2021
  
  4b1f4f2a
- Fix a crash on concrete vals · b5db4676
  Marek Chalupa authored Feb 25, 2021
  
  b5db4676
- kindse: pass inductive sets around · 77ed935b
  Marek Chalupa authored Feb 25, 2021
  
  77ed935b
- fix creating sequences · 56698e60
  Marek Chalupa authored Feb 25, 2021
  
  56698e60
- Revert "Fix creating an initial sequence" · 29acb527
  Marek Chalupa authored Feb 25, 2021
  29acb527
- Do not support memmove atm · fbbce357
  Marek Chalupa authored Feb 25, 2021
  
  fbbce357