Commits · dd49d560b9dc03b6d11643fb7453787085af75fe · Marek Chalupa / slowbeast · GitLab

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

Oct 12, 2020
- 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
Oct 09, 2020
- kindse: rename files · 8b6cd0b8
  Marek Chalupa authored Oct 09, 2020
  
  8b6cd0b8
- kindse: move on in invariant generation · f8a5da72
  Marek Chalupa authored Oct 09, 2020
  
  f8a5da72
- Annotate properly CFG after an invariant is generated · 33e05ade
  Marek Chalupa authored Oct 09, 2020
  
  33e05ade
- autopep the code · ab5ef889
  Marek Chalupa authored Oct 09, 2020
  
  ab5ef889
- kindse: change the way the abstraction works · c99ab0f6
  Marek Chalupa authored Oct 09, 2020
  
  c99ab0f6
- kindse: split off utils.py file · 091e3460
  Marek Chalupa authored Oct 09, 2020
  
  091e3460
- [WIP] inferring invariants · 5b1efb37
  Marek Chalupa authored Oct 09, 2020
  
  5b1efb37
Oct 05, 2020
- [WIP] kindse: work on inferring invariants · 1df1d31e
  Marek Chalupa authored Oct 05, 2020
  
  1df1d31e
- kindse annotations: fix pre/post conditions · 52438640
  Marek Chalupa authored Oct 05, 2020
  
  52438640
Oct 02, 2020
- kindse: start implementing loops execution · 6339f40e
  Marek Chalupa authored Oct 02, 2020
  
  6339f40e
- kindse: re-design the main loop · e61dac65
  Marek Chalupa authored Oct 02, 2020
  e61dac65
Oct 01, 2020
- start implementing executing loops · 42aeff8f
  Marek Chalupa authored Oct 01, 2020
  
  42aeff8f
- Implement pre/postconditions for paths · 4b2ea60a
  Marek Chalupa authored Oct 01, 2020
  
  4b2ea60a
Sep 30, 2020
- ExprManager: simplify the equals method · c745f6d5
  Marek Chalupa authored Sep 30, 2020
  
  c745f6d5
- pathexecutor: add methods for computing preimage of states · 34fa10ec
  Marek Chalupa authored Sep 30, 2020
  34fa10ec