Commits · e6cc7a996759257889ba898867a7ad7ed60fb7db · Marek Chalupa / slowbeast · GitLab

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

Sep 29, 2020
- constraints: fix COW · e6cc7a99
  Marek Chalupa authored Sep 29, 2020
  e6cc7a99
- store also alloc inst in the uninit load value · 3e839920
  Marek Chalupa authored Sep 29, 2020
  
  3e839920
- kindse: refactor generating invariants · 719d1134
  Marek Chalupa authored Sep 29, 2020
  719d1134
- kindse: prepare for better invariant generation · 4806a482
  Marek Chalupa authored Sep 29, 2020
  
  4806a482
- core executor: add __repr__ to PathExecutionResult · e1726fda
  Marek Chalupa authored Sep 29, 2020
  e1726fda
Sep 28, 2020
- WIP · e918a62e
  Marek Chalupa authored Sep 28, 2020
  
  e918a62e
- pathexecutor: fix doing substitutions · 2988a407
  Marek Chalupa authored Sep 28, 2020
  2988a407
- 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