summaryrefslogtreecommitdiff
path: root/.gitignore (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-04New directory structure and corresponding extraction, + misc fixes, for LeanJonathan Protzenko1-0/+1
2022-11-14Make good progress on the Coq backendSon Ho1-0/+11
2022-11-14Reorganize the project to prepare for new backendsSon Ho1-5/+5
2022-11-11Update the .gitignoreSon Ho1-0/+6
2022-11-10Implement the generation of stateful backward functions (controlled by an opt...Son Ho1-0/+1
2022-10-27Reorganize a bit the projectSon Ho1-1/+1
2022-10-26Add meta data with code locations to the various definitionsSon Ho1-1/+0
2022-10-20Update the .gitignoreSon Ho1-0/+4
2022-06-20Update the .gitignore fileSon Ho1-0/+4
2022-05-23correct previous commit typoSidney Congard1-1/+1
2022-05-23added .vscode folder to .gitignoreSidney Congard1-1/+2
2022-02-03Update the .gitignoreSon Ho1-1/+3
2022-01-26Update the .gitignoreSon Ho1-1/+2
2022-01-19Update the .gitignoreSon Ho1-0/+3
2022-01-19Update the .gitignoreSon Ho1-1/+2
2021-12-07Update the .gitignoreSon Ho1-1/+3
2021-11-19Start working on pretty-printingSon Ho1-1/+2
2021-11-17Make progress on deserializing modulesSon Ho1-0/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 18:04:44 +0000