Commits · c33d29c6f550692b4452f104fd37582081bc13c6 · Marek Chalupa / slowbeast

Browse files

Apr 16, 2021
- rename addConstraint -> add_constraint · c33d29c6
  Marek Chalupa authored Apr 16, 2021
  
  c33d29c6
- bself: disable inductive sets for now · cbd46114
  Marek Chalupa authored Apr 16, 2021
  cbd46114
- bself: fix counting the number of visits of loops in nested BSELF · cbd8e706
  Marek Chalupa authored Apr 16, 2021
  
  cbd8e706
- tests: rename tests · 92db7966
  Marek Chalupa authored Apr 16, 2021
  92db7966
- tests: add a test for sequential loops · fb92443d
  Marek Chalupa authored Apr 16, 2021
  
  fb92443d
- bself: change debugging messages · f828224a
  Marek Chalupa authored Apr 16, 2021
  
  f828224a
- bself: refactor a bit · 19f216f1
  Marek Chalupa authored Apr 16, 2021
  
  19f216f1
- bself: pick only the "biggest" overapproximations · 5b3fdd9f
  Marek Chalupa authored Apr 16, 2021
  5b3fdd9f
- bself: constrain the number of visits to loops in nested BSELF · 13ba923b
  Marek Chalupa authored Apr 16, 2021
  
  13ba923b
- bse: improve rporting problem states · bb16bf72
  Marek Chalupa authored Apr 16, 2021
  
  bb16bf72
- bself: store invariants as assumes · 77d0d88d
  Marek Chalupa authored Apr 16, 2021
  
  77d0d88d
- bseexecutor: add an assertion · 7c091ca7
  Marek Chalupa authored Apr 16, 2021
  7c091ca7
Apr 15, 2021
- bself: subsume overapproximations · c0b5b821
  Marek Chalupa authored Apr 15, 2021
  c0b5b821
- bself: filter starting sets · 57884629
  Marek Chalupa authored Apr 15, 2021
  57884629
Apr 14, 2021
- sd: add assertions · 0a3aec53
  Marek Chalupa authored Apr 14, 2021
  
  0a3aec53
- bsestate: support equality of pointers to null · 71d3c1d9
  Marek Chalupa authored Apr 14, 2021
  71d3c1d9
- tests: add interprocedural tests · e9e5c6a6
  Marek Chalupa authored Apr 14, 2021
  
  e9e5c6a6
- BSE: fix extending to calls · fcea7583
  Marek Chalupa authored Apr 14, 2021
  fcea7583
- BSE: extend search also into called procedures · 11941b4b
  Marek Chalupa authored Apr 14, 2021
  
  11941b4b
- PS: gather also return instructions · 166db564
  Marek Chalupa authored Apr 14, 2021
  
  166db564
- CFA: add return edges · d947a883
  Marek Chalupa authored Apr 14, 2021
  d947a883
- BSE: allow search in callers · 5732f2d6
  Marek Chalupa authored Apr 14, 2021
  5732f2d6
- bsestate: remove unused parameter · 1f18025b
  Marek Chalupa authored Apr 14, 2021
  1f18025b
- exprmgr: make creating fresh values more efficient · cfb6f2b0
  Marek Chalupa authored Apr 14, 2021
  cfb6f2b0
- fun: rename getReturnType -> return_type · 67bef1e1
  Marek Chalupa authored Apr 14, 2021
  
  67bef1e1
- fun: rename addBBlock -> add_bblock · c4b740d1
  Marek Chalupa authored Apr 14, 2021
  
  c4b740d1
- fun: rename isUndefined -> is_undefined · 3904e681
  Marek Chalupa authored Apr 14, 2021
  
  3904e681
- Fun: rename getArgument -> argument · 264fdc31
  Marek Chalupa authored Apr 14, 2021
  
  264fdc31
Apr 13, 2021
- Add a new method · 8d8730fb
  Marek Chalupa authored Apr 13, 2021
  
  8d8730fb
Apr 12, 2021
- Fix raising an exception · 02cfa0dd
  Marek Chalupa authored Apr 12, 2021
  
  02cfa0dd
- overapproximations: add a timeout to solving · 0384f6cf
  Marek Chalupa authored Apr 12, 2021
  0384f6cf
- solver: add a check · a3d8726a
  Marek Chalupa authored Apr 12, 2021
  
  a3d8726a
- 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