Commits · a6326ef95d56791f1ff50a7bc2dc70d3181c1857 · Marek Chalupa / slowbeast · GitLab

This project is archived. Its data is read-only.

Sep 26, 2020
- Add path executor · a6326ef9
  Marek Chalupa authored Sep 26, 2020
  a6326ef9
Sep 25, 2020
- kindse: fix annotating safe paths · 14aa9af8
  Marek Chalupa authored Sep 25, 2020
  
  14aa9af8
- kindse: fix accessing None · 37c048eb
  Marek Chalupa authored Sep 25, 2020
  
  37c048eb
- Fix generating safe invariants · c1b2b23a
  Marek Chalupa authored Sep 25, 2020
  
  c1b2b23a
- kindse: fix generating possible unsafe invariants · 57fdd598
  Marek Chalupa authored Sep 25, 2020
  
  57fdd598
- kindse: execute whole paths instead of prefixes · 9656f79f
  Marek Chalupa authored Sep 25, 2020
  9656f79f
- kindse: fix reporting killed states · c582b049
  Marek Chalupa authored Sep 25, 2020
  
  c582b049
- llvm parser: do not build the special functions if present · c51213d6
  Marek Chalupa authored Sep 25, 2020
  c51213d6
- kindse: fix reporting errors · 45743401
  Marek Chalupa authored Sep 25, 2020
  
  45743401
- sb: allow running opt · daf5231d
  Marek Chalupa authored Sep 25, 2020
  
  daf5231d
- kindse: partition states into more categories · ab6b5638
  Marek Chalupa authored Sep 25, 2020
  ab6b5638
- kindse: fix dumping the messages about executed paths · 9f822911
  Marek Chalupa authored Sep 25, 2020
  9f822911
- executor: improve debugging messages · eca1b85e
  Marek Chalupa authored Sep 25, 2020
  
  eca1b85e
- kindse: do not check for the same invariant relation multiple times · a2eb0e62
  Marek Chalupa authored Sep 25, 2020
  
  a2eb0e62
- kindse: improve output · 8d43531e
  Marek Chalupa authored Sep 25, 2020
  8d43531e
- kindse: improve the message about the path being executed · 3ba72889
  Marek Chalupa authored Sep 25, 2020
  3ba72889
- remove some trailing ws · b36b4b88
  Marek Chalupa authored Sep 25, 2020
  
  b36b4b88
- dbg: allow specifying verbose mode · 4c624703
  Marek Chalupa authored Sep 25, 2020
  4c624703
- kindse: Fix dumping annotated paths · bd9a45c6
  Marek Chalupa authored Sep 25, 2020
  
  bd9a45c6
- kindse: get rid of kindcfgpath · 044ca249
  Marek Chalupa authored Sep 25, 2020
  044ca249
- kindse: generate possible invariants also from unsafe states · e2e07e7b
  Marek Chalupa authored Sep 25, 2020
  e2e07e7b
- tests: add a missing annotation · 377368f8
  Marek Chalupa authored Sep 25, 2020
  
  377368f8
- kindse: fix extending to invariant points · ada6b82f
  Marek Chalupa authored Sep 25, 2020
  ada6b82f
- kindse: use generator fun to generate invariants · a6994c8c
  Marek Chalupa authored Sep 25, 2020
  
  a6994c8c
- Fix max-recursion-depth error · fd2c47bd
  Marek Chalupa authored Sep 25, 2020
  fd2c47bd
- memoryobj: give a better error message · 4f40a6e4
  Marek Chalupa authored Sep 25, 2020
  
  4f40a6e4
- benchexec: catch only assertions · 36403beb
  Marek Chalupa authored Sep 25, 2020
  
  36403beb
- add benchexec files · 685a3453
  Marek Chalupa authored Sep 25, 2020
  
  685a3453
Sep 24, 2020
- tests: add a simple interprocedural test · 461d8c58
  Marek Chalupa authored Sep 24, 2020
  
  461d8c58
- Support a simple interprocedural algorithm · 9a9a296f
  Marek Chalupa authored Sep 24, 2020
  
  9a9a296f
- autopep the code · b904c99b
  Marek Chalupa authored Sep 24, 2020
  
  b904c99b
- kindse: dump the found invariants · ef7c6e10
  Marek Chalupa authored Sep 24, 2020
  
  ef7c6e10
- tests: do not run all configurations with 'make check' · 0a1f10a2
  Marek Chalupa authored Sep 24, 2020
  0a1f10a2
- tests: do not run unbounded/huge tests for kind-naive · 1da1cf73
  Marek Chalupa authored Sep 24, 2020
  1da1cf73
- kindse: fix on array3 test · de47820a
  Marek Chalupa authored Sep 24, 2020
  
  de47820a
- tests: add tests for the new kind method · 9ec1a95b
  Marek Chalupa authored Sep 24, 2020
  
  9ec1a95b
- kindse: implement a simple invariant generation · 03f11a60
  Marek Chalupa authored Sep 24, 2020
  03f11a60
- executor: fix evaluating assertions with constants · e2733073
  Marek Chalupa authored Sep 24, 2020
  
  e2733073
- dbg: allow increasing/decreasing debugging indentation · fa2c79a1
  Marek Chalupa authored Sep 24, 2020
  
  fa2c79a1
- WIP: execute paths with annotations · f38d7150
  Marek Chalupa authored Sep 24, 2020
  
  f38d7150