Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add some partial interp proofs for abs-int | 2018-08-08 | |
* | Finish relax interp proofs | 2018-08-07 | |
* | Add another GeneralizeVar pass to add support for using Wf3 | 2018-08-07 | |
* | Start setting up abs-int interp proofs | 2018-08-06 | |
* | Remove fastpath for Zcast in absint | 2018-08-06 | |
* | Remove thunking from abstract interpretation | 2018-08-06 | |
* | Finish AbsInt Wf proofs | 2018-08-04 | |
* | Generalize type.eqv a bit | 2018-07-30 | |
* | Integrate Wf and Interp proofs | 2018-07-30 | |
* | New pipeline, split among files | 2018-06-17 |