Commits · 39a733c067ce961ff638c492f6ff10cd0bce9cd5 · Marek Chalupa / slowbeast · GitLab

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

Sep 28, 2020
- kindse: slightly rework generating invariants · 39a733c0
  Marek Chalupa authored Sep 28, 2020
  
  39a733c0
- kindse: remove commented code · 945a385a
  Marek Chalupa authored Sep 28, 2020
  
  945a385a
- executor: fix executing assert expression · 015b9721
  Marek Chalupa authored Sep 28, 2020
  015b9721
- kindse: allow comparing annotations · 1dd59cbe
  Marek Chalupa authored Sep 28, 2020
  
  1dd59cbe
- kindse: refactor generating relations a bit · 78e8c664
  Marek Chalupa authored Sep 28, 2020
  78e8c664
Sep 27, 2020
- kindse: rework generating invariants and annotations · 4f3744fd
  Marek Chalupa authored Sep 27, 2020
  4f3744fd
- Add a class wrapping expressions from uninitialized reads · 9f10e132
  Marek Chalupa authored Sep 27, 2020
  9f10e132
Sep 26, 2020
- kindse: refactor executing annotations · 49fd99bf
  Marek Chalupa authored Sep 26, 2020
  49fd99bf
- kindse: rework instruction-annotations · f0b30483
  Marek Chalupa authored Sep 26, 2020
  f0b30483
- kindse: fix using path executor in kindse · 4c826b49
  Marek Chalupa authored Sep 26, 2020
  
  4c826b49
- executor: fix executePath() · 3575b6c6
  Marek Chalupa authored Sep 26, 2020
  3575b6c6
- PathExecutionResult: add the 'add' method · 8862cfeb
  Marek Chalupa authored Sep 26, 2020
  8862cfeb
- make: add a target for running only kind tests · c1088bac
  Marek Chalupa authored Sep 26, 2020
  
  c1088bac
- kindse: use path executor · 1e482191
  Marek Chalupa authored Sep 26, 2020
  1e482191
- 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