aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
dev/schedulingFinish load proofYann Herklotz5 months
debug/unhashedAdd benchmarking of unhashed commandsYann Herklotz6 months
dev/asplosAnnonimize submissionYann Herklotz8 months
dev/mac-opAdd dune-project fileYann Herklotz18 months
masterAdd dune-project fileYann Herklotz18 months
dev/full-nix-buildUpdate default.nix fileYann Herklotz2 years
dev/michalisMerge branch 'master' into dev/michalisYann Herklotz2 years
stableFix citation file and READMEYann Herklotz2 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 Herklotz2 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
2022-09-29Add dune-project fileHEADmasterdev/mac-opYann Herklotz2-1/+2
2022-09-29Fix CI runs using flakeYann Herklotz1-5/+3
2022-09-29Remove dependency on man page for installYann Herklotz1-1/+1
2022-09-29Add build flag for BSD architectureYann Herklotz1-0/+3
2022-09-29Add proof using to ifconversionproofYann Herklotz3-171/+30
2022-09-26Add global monad notation using InstancesYann Herklotz10-104/+169
2022-09-24Add more monadsYann Herklotz3-1/+63
2022-08-05Update and fix the transformationYann Herklotz5-273/+314
2022-08-04Add back changes to AbstrYann Herklotz3-248/+364
2022-08-01Add forest typeYann Herklotz1-3/+8
[...]
 
Clone
https://git.ymhg.org/vericert
ssh://git@git.ymhg.org:vericert