Commits · 4f40a6e420d58662549d6e793493aa3b675a178d · Marek Chalupa / slowbeast · GitLab

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

Sep 25, 2020
- 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
Sep 23, 2020
- kindse: support only load annotations for now · 9f2c200f
  Marek Chalupa authored Sep 23, 2020
  
  9f2c200f
Sep 22, 2020
- [WIP] kindse: evaluate annotations · f5f19164
  Marek Chalupa authored Sep 22, 2020
  
  f5f19164
- kindse: start annotating paths · 8079bb71
  Marek Chalupa authored Sep 22, 2020
  
  8079bb71
- kindse: refactor getting relations · 0843a6f7
  Marek Chalupa authored Sep 22, 2020
  
  0843a6f7
- kindse: split into multiple files · 6a8a929f
  Marek Chalupa authored Sep 22, 2020
  6a8a929f
- kindse: move different KindSe versions into subdirectories · 12961c03
  Marek Chalupa authored Sep 22, 2020
  12961c03
- kindse: make 'run' method more flexible · d60c6475
  Marek Chalupa authored Sep 22, 2020
  d60c6475
- kindse: refactor checking initial states · 348049e8
  Marek Chalupa authored Sep 22, 2020
  
  348049e8
- kindse: rename newcfgpath -> newwithcfgpath · f780e6b3
  Marek Chalupa authored Sep 22, 2020
  
  f780e6b3
- autopep the code · 2e62efa4
  Marek Chalupa authored Sep 22, 2020
  
  2e62efa4
- kindse: use a wrapper for path · 52ba23c8
  Marek Chalupa authored Sep 22, 2020
  52ba23c8
- kindse: generate annotations on loop headers · 8f1eef25
  Marek Chalupa authored Sep 22, 2020
  8f1eef25
- Add DFSVisitor · 11327332
  Marek Chalupa authored Sep 22, 2020
  11327332
Sep 21, 2020
- WIP: gather relations · ac7fd795
  Marek Chalupa authored Sep 21, 2020
  
  ac7fd795
- kindse: reformat a docstring · 3a965b62
  Marek Chalupa authored Sep 21, 2020
  
  3a965b62
- autopep the code · b762e297
  Marek Chalupa authored Sep 21, 2020
  
  b762e297
- kindse: fix executing paths from init · c6f7664a
  Marek Chalupa authored Sep 21, 2020
  c6f7664a
- kindse: add skeleton for annotating CFG · 8ba07ba1
  Marek Chalupa authored Sep 21, 2020
  
  8ba07ba1
- kindse: get also safe states after executing a path · 9e5383df
  Marek Chalupa authored Sep 21, 2020
  9e5383df
Sep 10, 2020
- kindse: rename ready -> safe · 9ff002ba
  Marek Chalupa authored Sep 10, 2020
  
  9ff002ba
- kindse.py: refactor a line · 0e2a6ed5
  Marek Chalupa authored Sep 10, 2020
  
  0e2a6ed5
Sep 04, 2020
- symexe: fix a wrong syntax of isinstance · 8184e658
  Marek Chalupa authored Sep 04, 2020
  8184e658
- exprs: lower symbolic constants to python constants · e965c68c
  Marek Chalupa authored Sep 04, 2020
  e965c68c
- expressions: optimize symbolic expressions · 2d8a020c
  Marek Chalupa authored Sep 04, 2020
  2d8a020c
- symexe: fix putting assumptions into states · 2f48790b
  Marek Chalupa authored Sep 04, 2020
  2f48790b