Skip to content

Commit

Permalink
build(deps): bump bedrock2 from b36804f to f5b29c5
Browse files Browse the repository at this point in the history 
Bumps [bedrock2](https://github.com/mit-plv/bedrock2) from `b36804f` to `f5b29c5`.
- [Release notes](https://github.com/mit-plv/bedrock2/releases)
- [Commits](mit-plv/bedrock2@b36804f...f5b29c5)

---
updated-dependencies:
- dependency-name: bedrock2
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot
dependabot[bot] authored Oct 4, 2023
1 parent 6d4f40c commit df9f064
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bedrock2
Submodule bedrock2 updated 15 files
+5 −0 LiveVerif/src/LiveVerif/LiveExpr.v
+11 −1 LiveVerif/src/LiveVerif/LiveParsing.v
+62 −33 LiveVerif/src/LiveVerif/LiveProgramLogic.v
+128 −2 LiveVerif/src/LiveVerif/LiveRules.v
+1 −1 LiveVerif/src/LiveVerif/PackageContext.v
+165 −0 LiveVerif/src/LiveVerifExamples/nt_string.v
+91 −0 LiveVerif/src/LiveVerifExamples/nt_uint8_string.v
+14 −1 LiveVerif/src/LiveVerifExamples/onesize_malloc.v
+108 −21 LiveVerif/src/LiveVerifExamples/tree_set.v
+49 −39 bedrock2/src/bedrock2/HeapletwiseAutoSplitMerge.v
+16 −4 bedrock2/src/bedrock2/HeapletwiseHyps.v
+7 −2 bedrock2/src/bedrock2/SepLib.v
+23 −3 bedrock2/src/bedrock2/bottom_up_simpl.v
+17 −1 bedrock2/src/bedrock2/safe_implication.v
+1 −1 deps/coqutil

0 comments on commit df9f064

Please sign in to comment.