Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Conditions now propagated by CSE3 | David Monniaux | 2021-01-20 | 1 | -1/+26 |
|\ | | | | | | | Merge remote-tracking branch 'origin/kvx-better2-cse3' into kvx-work | ||||
| * | totally switch off conditions in cse3 | David Monniaux | 2020-12-09 | 1 | -16/+19 |
| | | |||||
| * | not yet the transfer functions that record predicates | David Monniaux | 2020-11-26 | 1 | -1/+23 |
| | | |||||
* | | -fcse3-trivial-ops | David Monniaux | 2021-01-07 | 1 | -1/+2 |
|/ | |||||
* | reinstated old version | David Monniaux | 2020-10-30 | 1 | -1/+1 |
| | |||||
* | CSE3 trivial_ops flag | David Monniaux | 2020-10-29 | 1 | -1/+1 |
| | |||||
* | Adding copyrights | Cyril SIX | 2020-05-04 | 1 | -0/+12 |
| | |||||
* | forward moves through CSE3 store | David Monniaux | 2020-04-21 | 1 | -1/+1 |
| | |||||
* | fix Icond now has a extra argument | David Monniaux | 2020-04-08 | 1 | -2/+2 |
| | |||||
* | CSE3 alias analysis | David Monniaux | 2020-03-14 | 1 | -1/+1 |
| | |||||
* | proof sketch for CSE3 steps | David Monniaux | 2020-03-12 | 1 | -1/+8 |
| | |||||
* | CSE3 analysis | David Monniaux | 2020-03-12 | 1 | -1/+1 |
| | |||||
* | inductiveness test in CSE3 | David Monniaux | 2020-03-12 | 1 | -2/+5 |
| | |||||
* | removed second analysis phase | David Monniaux | 2020-03-12 | 1 | -23/+10 |
| | |||||
* | typing and store stuff | David Monniaux | 2020-03-12 | 1 | -16/+18 |
| | |||||
* | CSE3 ready to run? | David Monniaux | 2020-03-11 | 1 | -2/+69 |
| | |||||
* | progress on CSE3 | David Monniaux | 2020-03-10 | 1 | -2/+2 |
| | |||||
* | starts compiling but still fake | David Monniaux | 2020-03-10 | 1 | -0/+27 |
| | |||||
* | just the analysis | David Monniaux | 2020-03-05 | 1 | -78/+0 |
| | |||||
* | more about extraction and linking | David Monniaux | 2020-03-05 | 1 | -0/+2 |
| | |||||
* | begin CSE3 | David Monniaux | 2020-03-05 | 1 | -0/+76 |