Commits · 8c3831be54e77a90c77fad45066129de9c0c88c5 · Marek Chalupa / slowbeast · GitLab

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

Oct 13, 2020
- kindse relations: remove unused code · 8c3831be
  Marek Chalupa authored Oct 13, 2020
  
  8c3831be
- autopep the code · 0e4614f8
  Marek Chalupa authored Oct 13, 2020
  
  0e4614f8
- Refactor annotations · c30a0a69
  Marek Chalupa authored Oct 13, 2020
  
  c30a0a69
- Implement add_annotations · da25624e
  Marek Chalupa authored Oct 13, 2020
  
  da25624e
- solver: retrive model values also for expressions for which z3 model has · da50942a
  Marek Chalupa authored Oct 13, 2020
  da50942a
- kindse: dump debugging files · f9da2d4e
  Marek Chalupa authored Oct 13, 2020
  f9da2d4e
- kindse: run only on reachable functions · ffb4333f
  Marek Chalupa authored Oct 13, 2020
  
  ffb4333f
- Adjust dumping program elements · 67339b94
  Marek Chalupa authored Oct 13, 2020
  
  67339b94
- Replace testgen by output handler · c63fc48b
  Marek Chalupa authored Oct 13, 2020
  c63fc48b
- add a missing import · e98baaa1
  Marek Chalupa authored Oct 13, 2020
  
  e98baaa1
Oct 12, 2020
- kindse: fix for termination in Symbiotic · ce7f3f3d
  Marek Chalupa authored Oct 12, 2020
  ce7f3f3d
- Allow splitting calls around calls · 37b9ecf7
  Marek Chalupa authored Oct 12, 2020
  37b9ecf7
- Start implementing interprocedural analysis · 4ed5d9f9
  Marek Chalupa authored Oct 12, 2020
  4ed5d9f9
- llvmparser: add a missing import · ad4fa993
  Marek Chalupa authored Oct 12, 2020
  
  ad4fa993
- llvm parser: move helper functions into utils.py · 28e16727
  Marek Chalupa authored Oct 12, 2020
  
  28e16727
- llvm: refactor handling special functions · dd49d560
  Marek Chalupa authored Oct 12, 2020
  dd49d560
- Move the LLVM parser into a subdirectory · 374b40cb
  Marek Chalupa authored Oct 12, 2020
  
  374b40cb
- Fix several typos · 8682b5bc
  Marek Chalupa authored Oct 12, 2020
  
  8682b5bc
Oct 11, 2020
- kindse: report killed states on initial paths · 750fce6a
  Marek Chalupa authored Oct 11, 2020
  
  750fce6a
- kindse: aestetics changes · 8e169a41
  Marek Chalupa authored Oct 11, 2020
  
  8e169a41
- kindse: fall-back to unwinding on a problem · 80403cd5
  Marek Chalupa authored Oct 11, 2020
  
  80403cd5
- kindse: implement a kind of strengthening · 0b2ab128
  Marek Chalupa authored Oct 11, 2020
  0b2ab128
- Add some comments to abstractions · 7a954824
  Marek Chalupa authored Oct 11, 2020
  
  7a954824
- annotations: change the way the cannonical expr is created · 7a2e20eb
  Marek Chalupa authored Oct 11, 2020
  7a2e20eb
- kindse: allow annotating the cfg with inductive sets · 85732480
  Marek Chalupa authored Oct 11, 2020
  
  85732480
- kindse: rework getting the initial sequence · 259b0874
  Marek Chalupa authored Oct 11, 2020
  
  259b0874
- kindse: fix creating the initial sequence · 8e2b0041
  Marek Chalupa authored Oct 11, 2020
  
  8e2b0041
- remove a debugging message · 14b63c36
  Marek Chalupa authored Oct 11, 2020
  
  14b63c36
- kindse: rewrite to a new structure of the algorithm · 1b742f29
  Marek Chalupa authored Oct 11, 2020
  
  1b742f29
- kindse: allow to turn off summarizing loops at runtime · 3386fd61
  Marek Chalupa authored Oct 11, 2020
  3386fd61
- Fix unify_annotations · 597a2d37
  Marek Chalupa authored Oct 11, 2020
  597a2d37
- pathexecutor: fix a bug in substituing in annotations · 857f3c68
  Marek Chalupa authored Oct 11, 2020
  857f3c68
- pathexecutor: refactor unifying annotations · 79208517
  Marek Chalupa authored Oct 11, 2020
  
  79208517
- symbolic domain: correctly lift boolean values · 11a6f9a4
  Marek Chalupa authored Oct 11, 2020
  11a6f9a4
- inductiveseq: a few cosmetic changes · 7766f6a6
  Marek Chalupa authored Oct 11, 2020
  
  7766f6a6
- expressions: add conjunction() method · f45a8816
  Marek Chalupa authored Oct 11, 2020
  f45a8816
- se state: add model() method · 95d93775
  Marek Chalupa authored Oct 11, 2020
  95d93775
- value: Print type at constants · 34a90191
  Marek Chalupa authored Oct 11, 2020
  34a90191
Oct 10, 2020
- improve generation · 780cb23a
  Marek Chalupa authored Oct 10, 2020
  
  780cb23a
- kindse: start reworking invariants inference · 2b5499ab
  Marek Chalupa authored Oct 10, 2020
  
  2b5499ab