Commits · 79208517e6a71fff0d87cf7c1cdd790dd92fb612 · Marek Chalupa / slowbeast · GitLab

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

Oct 11, 2020
- 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
Sep 29, 2020
- [WIP] kindse: generate partial invariants · 1c4c8d94
  Marek Chalupa authored Sep 29, 2020
  
  1c4c8d94
- symexe: recycle names of nondets for uninitialized reads · dd7e2d38
  Marek Chalupa authored Sep 29, 2020
  
  dd7e2d38
- Fix ProgramElement.__eq__ and add a handy method · 189d28fc
  Marek Chalupa authored Sep 29, 2020
  189d28fc
- symexe: fix COW of constraints in states · ba70081f
  Marek Chalupa authored Sep 29, 2020
  ba70081f
- symexe: add several assertions · 7f8881e9
  Marek Chalupa authored Sep 29, 2020
  7f8881e9
- 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