| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Update the make file | Yann Herklotz | 19 months | |
| Age | Commit message | Author | Files | Lines |
| 2022-10-04 | Update the make filemain | Yann Herklotz | 1 | -2/+4 |
| 2022-07-31 | Final changes | Yann Herklotz | 2 | -14/+387 |
| 2022-07-30 | Add more text | Yann Herklotz | 2 | -20/+590 |
| 2022-07-30 | Add coq files to .gitignore | Yann Herklotz | 1 | -0/+10 |
| 2022-07-30 | Add tangling support to Makefile | Yann Herklotz | 1 | -3/+8 |
| 2022-07-30 | Remove _CoqProject | Yann Herklotz | 1 | -1/+0 |
| 2022-07-30 | Add a Makefile | Yann Herklotz | 4 | -13/+41 |
| 2022-07-29 | Add plenty of text | Yann Herklotz | 3 | -64/+135 |
| 2022-07-28 | Remove NonEmpty.v | Yann Herklotz | 2 | -96/+26 |
| 2022-07-28 | Update _CoqProject | Yann Herklotz | 1 | -10/+10 |
| [...] | ||||
| Clone | ||||
| https://git.ymhg.org/private/pred-aware-ai | ||||
| ssh://git@git.ymhg.org:private/pred-aware-ai | ||||
 |
index : pred-aware-ai | |
| [no description] |
| summaryrefslogtreecommitdiffstats |