aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
dev/schedulingFinish load proofYann Herklotz6 months
debug/unhashedAdd benchmarking of unhashed commandsYann Herklotz8 months
dev/asplosAnnonimize submissionYann Herklotz9 months
dev/mac-opAdd dune-project fileYann Herklotz20 months
masterAdd dune-project fileYann Herklotz20 months
dev/full-nix-buildUpdate default.nix fileYann Herklotz2 years
dev/michalisMerge branch 'master' into dev/michalisYann Herklotz3 years
stableFix citation file and READMEYann Herklotz3 years
dev-michalisFix infinite loop in proofYann Herklotz3 years
dev/divAdd the dividerYann Herklotz3 years
[...]
 
TagDownloadAuthorAge
v1.2.2vericert-1.2.2.tar.gz  vericert-1.2.2.zip  Yann Herklotz3 years
v1.2.1vericert-1.2.1.tar.gz  vericert-1.2.1.zip  Yann Herklotz3 years
v1.2.0vericert-1.2.0.tar.gz  vericert-1.2.0.zip  Yann Herklotz3 years
v1.1.0vericert-1.1.0.tar.gz  vericert-1.1.0.zip  Yann Herklotz3 years
v1.0.1vericert-1.0.1.tar.gz  vericert-1.0.1.zip  Yann Herklotz4 years
v1.0.0vericert-1.0.0.tar.gz  vericert-1.0.0.zip  Yann Herklotz4 years
v0.1.0vericert-0.1.0.tar.gz  vericert-0.1.0.zip  Yann Herklotz4 years
 
AgeCommit messageAuthorFilesLines
2021-07-07Add the dividerdev/divYann Herklotz1-0/+545
2021-05-03Add dividerYann Herklotz3-50/+202
2021-04-07Clean up Memorygen fileYann Herklotz1-219/+1
2021-04-07Remove Admitted in the highest of top-levelsv1.2.0Yann Herklotz1-5/+10
2021-04-07No admitted theorems in Memorygen proof (~‾▿‾)~Yann Herklotz1-76/+99
2021-04-07Basically done with proofYann Herklotz6-18/+62
2021-04-06Let everything compile againYann Herklotz1-7/+18
2021-04-06Finish load and store proof, but broke top-levelYann Herklotz7-289/+317
2021-04-04Finish Veriloggenproof completelyYann Herklotz4-57/+339
2021-04-04Prove all admit in load but oneYann Herklotz1-162/+183
[...]
 
Clone
https://git.ymhg.org/vericert
ssh://git@git.ymhg.org:vericert
generated by cgit (git 2.34.1) at 2024-05-14 13:14:59 +0000