Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [sched] Add combination of equivalent expressions | Yann Herklotz | 2021-10-14 | 1 | -10/+40 |
* | [sched] Finish det proofs of basic Abstr semantics | Yann Herklotz | 2021-10-13 | 1 | -27/+44 |
* | [sched] Add more proof to sem_pred_det | Yann Herklotz | 2021-10-13 | 1 | -1/+6 |
* | [sched] Add proofs of sem_pred_det | Yann Herklotz | 2021-10-13 | 1 | -8/+44 |
* | [sched] Add start to proof of sem_value_det | Yann Herklotz | 2021-10-12 | 1 | -0/+12 |
* | [sched] Add more lemmas into HashTree | Yann Herklotz | 2021-10-12 | 1 | -10/+1 |
* | [sched] Update Abstr.v to use HashTree | Yann Herklotz | 2021-10-12 | 1 | -29/+97 |
* | [sched] Small changes to definitions | Yann Herklotz | 2021-10-12 | 1 | -5/+5 |
* | End section in Abstr.v | Yann Herklotz | 2021-10-08 | 1 | -0/+2 |
* | Add proof of beq_check_correctness | Yann Herklotz | 2021-10-08 | 1 | -57/+120 |
* | Add Abstr intermediate language | Yann Herklotz | 2021-10-07 | 1 | -0/+749 |