summaryrefslogtreecommitdiff
path: root/backends/coq/Primitives.v (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-25Update the backend and ExtractBuiltin.mlSon Ho1-0/+7
2024-04-25Update the tests for ExternalSon Ho1-0/+75
2024-04-04Rename Result.ret as Result.ok in the backendsSon Ho1-23/+23
2023-12-22Fix minor issuesSon Ho1-0/+21
2023-12-22Fix the models for core::mem::replaceSon Ho1-1/+1
2023-12-22Update the library for CoqSon Ho1-74/+42
2023-12-13Update the extraction to handle casts between integers/boolsSon Ho1-0/+4
2023-11-29Add support for more bitwise operations and update the extractionSon Ho1-0/+76
2023-11-21Update more namesSon Ho1-16/+16
2023-11-21Update the standard librariesSon Ho1-24/+32
2023-10-27Regenerate the Coq test filesSon Ho1-1/+1
2023-10-27Update Primitives.vSon Ho1-60/+342
2023-10-13Add supSon Ho1-0/+3
2023-09-07Fix some issuesSon Ho1-0/+14
2023-08-04Update the Makefile and regenerate the test filesSon Ho1-1/+0
2023-08-04Fix issues with the extraction and extend the primitive libraries for Coq and F*Son Ho1-6/+50
2022-11-16Make minor modifications to the extractionSon Ho1-2/+0
2022-11-14Make [Result::Failure] type an [Error] parameterSon Ho1-19/+23
2022-11-14Make good progress on the Coq backendSon Ho1-0/+478
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 18:44:22 +0000