Commits · master · Marek Chalupa / slowbeast

Apr 05, 2023
- Merge branch 'xchalup4-master-patch-64576' into 'master' · ad8e1d8d
  Marek Chalupa authored Apr 05, 2023
  ad8e1d8d
- Update README.md · 0cc456f1
  Marek Chalupa authored Apr 05, 2023
  
  0cc456f1
May 12, 2021
- move programstructure.py to analysis/ · 1e83cc3d
  Marek Chalupa authored May 12, 2021
  1e83cc3d
May 04, 2021
- bself: check for loop-hit limit after handling loop · d4b05d23
  Marek Chalupa authored May 04, 2021
  d4b05d23
- bself: allow empty inductive sets · d4eac599
  Marek Chalupa authored May 04, 2021
  d4eac599
- overapprox: fix return values · acebfe21
  Marek Chalupa authored May 04, 2021
  acebfe21
- inductiveset: fix includes_any · 22354683
  Marek Chalupa authored May 04, 2021
  22354683
- blackify · 90843ca3
  Marek Chalupa authored May 04, 2021
  
  90843ca3
- Fix creating 1st-hit sis · ebbe77d8
  Marek Chalupa authored May 04, 2021
  ebbe77d8
- bself: always use whole seq when removing inducive sets · 47dc54be
  Marek Chalupa authored May 04, 2021
  47dc54be
- remove some assertions · 324240ae
  Marek Chalupa authored May 04, 2021
  324240ae
May 03, 2021
- kindse: fix after API change · 8f5aa5cd
  Marek Chalupa authored May 03, 2021
  
  8f5aa5cd
- bself: do not convert sets to sequences where not needed · c52d1f94
  Marek Chalupa authored May 03, 2021
  
  c52d1f94
- refactor inductive sequences · c526f427
  Marek Chalupa authored May 03, 2021
  c526f427
- bself: on the first hit, unwind only twice · 795220a8
  Marek Chalupa authored May 03, 2021
  
  795220a8
- relations: use incremental solving · aee9109a
  Marek Chalupa authored May 03, 2021
  
  aee9109a
- Revert "union sets from exits" · a6da382a
  Marek Chalupa authored May 03, 2021
  a6da382a
- bself: store inductive sets once we have them · af5a7dab
  Marek Chalupa authored May 03, 2021
  af5a7dab
Apr 30, 2021
- union sets from exits · 4cb07686
  Marek Chalupa authored Apr 30, 2021
  
  4cb07686
- unwind loop only when hit for the first time · 7156b92a
  Marek Chalupa authored Apr 30, 2021
  
  7156b92a
- add scc condensation · 74a7d81b
  Marek Chalupa authored Apr 30, 2021
  
  74a7d81b
- bself: do not do lookahead in overapprox · b512582e
  Marek Chalupa authored Apr 30, 2021
  
  b512582e
Apr 29, 2021
- Revert "bse: remember the order of writes to memory" · 1ae1147a
  Marek Chalupa authored Apr 29, 2021
  1ae1147a
Apr 28, 2021
- tests: add a new test · 3a4826fd
  Marek Chalupa authored Apr 28, 2021
  
  3a4826fd
- bself: fix creating initial sets · 9f6325a6
  Marek Chalupa authored Apr 28, 2021
  
  9f6325a6
- BSELF: prune inductive sets · 6ab77610
  Marek Chalupa authored Apr 28, 2021
  6ab77610
- overapprox: fix a crash · ebff7b09
  Marek Chalupa authored Apr 28, 2021
  ebff7b09
- symexe mem: fix a check for uninit bytes · c2c60557
  Marek Chalupa authored Apr 28, 2021
  c2c60557
- bse: remember the order of writes to memory · 62d66147
  Marek Chalupa authored Apr 28, 2021
  62d66147
- solver: fix obtaining clauses · a994dd6f
  Marek Chalupa authored Apr 28, 2021
  
  a994dd6f
- solver: fix accessing non-symbolic value as symbolic · 19313569
  Marek Chalupa authored Apr 28, 2021
  
  19313569
- solver: remove implied clauses multiple times · a254a90f
  Marek Chalupa authored Apr 28, 2021
  
  a254a90f
- add a note · 1911f325
  Marek Chalupa authored Apr 28, 2021
  
  1911f325
- solver: do not solve reduced formulas · fb806c12
  Marek Chalupa authored Apr 28, 2021
  
  fb806c12
- solver: fix using inferred equalities · b9e5decd
  Marek Chalupa authored Apr 28, 2021
  b9e5decd
- solver: fix solving with reduced bitwith · 1e071937
  Marek Chalupa authored Apr 28, 2021
  1e071937
Apr 27, 2021
- enable solving with reduced bitwidth · 839f12d0
  Marek Chalupa authored Apr 27, 2021
  
  839f12d0
- fix rewriting polynomials · af49bfa1
  Marek Chalupa authored Apr 27, 2021
  af49bfa1
- Revert "symbolic: fix simplifying arith formula" · b4313396
  Marek Chalupa authored Apr 27, 2021
  b4313396
- solver: remove is_sat function · cfcc2057
  Marek Chalupa authored Apr 27, 2021
  
  cfcc2057