Merge pull request #92 from mit-plv/dependabot/submodules/bedrock2-f5… · mit-plv/rupicola@e6daa5e

Commit

Merge pull request #92 from mit-plv/dependabot/submodules/bedrock2-f5…

…b29c5

build(deps): bump bedrock2 from `b36804f` to `f5b29c5`

samuelgruetter authored Oct 4, 2023

2 parents 6d4f40c + df9f064 commit e6daa5e

+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