Commits · e98baaa1305a038585d2ebd7d924660652f0accc · Marek Chalupa / slowbeast · GitLab

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

Oct 13, 2020
- 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
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