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 Herklotz19 months
masterAdd dune-project fileYann Herklotz19 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-10-18Merge branch 'master' into dev/michalisdev/michalisYann Herklotz43-811/+4239
2021-10-17Check: only main uses ainstack, no calls to mainMichalis Pardalos1-20/+66
2021-10-14[sched] Fix passes with new predicatesYann Herklotz2-1/+3
2021-10-14[sched] Add combination of equivalent expressionsYann Herklotz1-10/+40
2021-10-14[sched] Add true and false predicates to typeYann Herklotz1-1/+23
2021-10-13[sched] Finish det proofs of basic Abstr semanticsYann Herklotz1-27/+44
2021-10-13[sched] Add more proof to sem_pred_detYann Herklotz2-1/+6
2021-10-13[sched] Add proofs of sem_pred_detYann Herklotz1-8/+44
2021-10-12[sched] Add start to proof of sem_value_detYann Herklotz1-0/+12
2021-10-12[sched] Remove unnecessary importsYann Herklotz1-11/+0
[...]
 
Clone
https://git.ymhg.org/vericert
ssh://git@git.ymhg.org:vericert
generated by cgit (git 2.34.1) at 2024-05-13 21:15:16 +0000