summaryrefslogtreecommitdiff
path: root/.gitignore (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-29had some fun writing an IsabelleHOL backendstuebinm1-0/+3
2024-05-24Add simple test runnerNadrieril1-1/+1
2024-05-14Ensure `./charon` points to a valid charon cloneNadrieril1-0/+3
2024-04-18Update charon pinNadrieril1-1/+0
2023-06-04Update the HOL4 proofs for the last *release* version of HOL4Son Ho1-0/+4
2023-06-04Make minor modificationsSon Ho1-0/+5
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-22 11:20:03 +0000