Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | lemma on eqregs? | Léo Gourdin | 2021-06-18 | 1 | -13/+6 |
* | End of main scheduling proof | Léo Gourdin | 2021-06-18 | 1 | -54/+85 |
* | some advance, new section to simplify context from symbolic exec | Léo Gourdin | 2021-06-17 | 1 | -60/+143 |
* | some advance in sched proof | Léo Gourdin | 2021-06-15 | 1 | -24/+92 |
* | Preparation for scheduling proof, main lemmas ok | Léo Gourdin | 2021-06-14 | 1 | -13/+40 |
* | begin scheduler BTL proof | Léo Gourdin | 2021-06-14 | 1 | -5/+141 |
* | stub match_states | Sylvain Boulmé | 2021-06-11 | 1 | -1/+3 |
* | remove dupmap from BTL_Scheduler ! | Sylvain Boulmé | 2021-05-28 | 1 | -0/+2 |
* | archi pour la verif du scheduler | Sylvain Boulmé | 2021-05-28 | 1 | -0/+29 |
* | starting to extend RTLtoBTL with Liveness checking (on BTL side) | Sylvain Boulmé | 2021-05-28 | 1 | -0/+0 |