| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | BTLroadmap: combinaison liveness et invariants ? | Sylvain Boulmé | 2021-06-25 | 1 | -9/+47 |
| * | update BTLroadmap | Sylvain Boulmé | 2021-06-24 | 1 | -5/+6 |
| * | Roadmap: precision sur le cout de verification des superblocks | Sylvain Boulmé | 2021-06-11 | 1 | -2/+9 |
| * | m | Sylvain Boulmé | 2021-06-06 | 1 | -1/+3 |
| * | IDEE pour la STRENGTH-REDUCTION | Sylvain Boulmé | 2021-06-06 | 1 | -1/+43 |
| * | BTLroadmap: jumptable | Sylvain Boulmé | 2021-05-29 | 1 | -1/+1 |
| * | maj roadmap | Sylvain Boulmé | 2021-05-28 | 1 | -36/+32 |
| * | end of BTL_SEtheory w.r.t fsem | Sylvain Boulmé | 2021-05-27 | 1 | -18/+18 |
| * | avancement roadmap | Sylvain Boulmé | 2021-05-26 | 1 | -11/+28 |
| * | update roadmap | Sylvain Boulmé | 2021-05-20 | 1 | -3/+10 |
| * | correction de l'idee de la Functional semantics | Sylvain Boulmé | 2021-05-20 | 1 | -26/+17 |
| * | status update | Léo Gourdin | 2021-05-18 | 1 | -2/+6 |
| * | fix roadmap on "Simulation modulo liveness" | Sylvain Boulmé | 2021-05-12 | 1 | -24/+61 |
| * | pointeur Justus -> roadmap | Sylvain Boulmé | 2021-05-11 | 1 | -1/+1 |
| * | précision du roadmap | Sylvain Boulmé | 2021-05-10 | 1 | -4/+230 |
| * | more implem notes in BTLroadmap | Sylvain Boulmé | 2021-05-02 | 1 | -1/+8 |
| * | BTL roadmap | Sylvain Boulmé | 2021-05-02 | 1 | -0/+79 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |