Skip to content

Commit

Permalink
Bump coqutil
Browse files Browse the repository at this point in the history
  • Loading branch information
@jadephilipoom
jadephilipoom committed Jan 4, 2025
1 parent dad4d1e commit 43a4a87
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/coqutil
Submodule coqutil updated 6 files
+40 −0 .github/workflows/coq-docker.yml
+0 −3 .github/workflows/coq.yml
+21 −0 etc/ci/github-actions-docker-make.sh
+28 −0 src/coqutil/Lift1Prop.v
+24 −0 src/coqutil/Map/Separation.v
+892 −0 src/coqutil/Map/SeparationLogic.v

0 comments on commit 43a4a87

Please sign in to comment.