Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add more operation-specific proofs | 2018-08-21 | |
* | Do most of abs-int interp proofs | 2018-08-21 | |
* | Factor through is_tighter_than_bool, add is_bounded_by_bool_Proper_if_sumbool... | 2018-08-13 | |
* | Don't fuse annotations | 2018-08-09 | |
* | Push back admits in interp lemmas | 2018-08-08 | |
* | 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 |