| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | update from BTL dev branch | Léo Gourdin | 2022-01-05 | 1 | -1/+3 |
| * | add LCTES paper in README | Sylvain Boulmé | 2022-01-04 | 1 | -0/+1 |
| * | install link | Léo Gourdin | 2021-12-06 | 1 | -1/+1 |
| * | update the README and INSTALL documents | Léo Gourdin | 2021-12-06 | 1 | -6/+21 |
| * | update info on authors/papers | Sylvain Boulmé | 2021-12-06 | 1 | -1/+13 |
| * | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8 | David Monniaux | 2020-11-18 | 1 | -4/+4 |
| |\ | |||||
| | * | Update README | Xavier Leroy | 2020-11-09 | 1 | -4/+4 |
| * | | youtube link | Sylvain Boulmé | 2020-11-04 | 1 | -1/+2 |
| * | | Revert "Embed the short video with subtitles..." | Sylvain Boulmé | 2020-11-04 | 1 | -10/+2 |
| * | | Embed the short video with subtitles... | Sylvain Boulmé | 2020-11-04 | 1 | -2/+10 |
| * | | restore URL on the coqdoc | Sylvain Boulmé | 2020-10-28 | 1 | -2/+3 |
| * | | link on Cyril's short video | Sylvain Boulmé | 2020-10-19 | 1 | -8/+12 |
| * | | fix markdown | Sylvain Boulmé | 2020-05-28 | 1 | -1/+3 |
| * | | readme | David Monniaux | 2020-05-27 | 1 | -0/+15 |
| |/ | |||||
| * | Mention the RISC-V port as well | Xavier Leroy | 2018-01-13 | 1 | -2/+2 |
| * | Update copyright section | Xavier Leroy | 2018-01-11 | 1 | -3/+4 |
| * | Update http to https | Michael Schmidt | 2016-10-28 | 1 | -1/+1 |
| * | Further updates to README.md | Xavier Leroy | 2015-04-04 | 1 | -9/+18 |
| * | README in MarkDown | Guillaume Claret | 2015-04-02 | 1 | -0/+29 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |