Skip to content

Commit

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

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

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot
dependabot[bot] authored Nov 1, 2023
1 parent e6daa5e commit 5d8e2f1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bedrock2
Submodule bedrock2 updated 42 files
+1 −0 AUTHORS
+9 −0 LiveVerif/src/LiveVerif/LiveParsing.v
+109 −24 LiveVerif/src/LiveVerif/LiveProgramLogic.v
+62 −17 LiveVerif/src/LiveVerif/LiveRules.v
+4 −0 LiveVerif/src/LiveVerif/LiveSnippet.v
+2 −1 LiveVerif/src/LiveVerif/PackageContext.v
+4 −3 LiveVerif/src/LiveVerifExamples/ErrorTests/find_superrange_hyp_errors.v
+1 −2 LiveVerif/src/LiveVerifExamples/ErrorTests/safe_f_equal_errors.v
+2 −2 LiveVerif/src/LiveVerifExamples/Tests/SampleSideconds.v
+100 −0 LiveVerif/src/LiveVerifExamples/Tests/split_conclusion.v
+1 −1 LiveVerif/src/LiveVerifExamples/Tests/test_PredicateSize_not_found.v
+3 −15 LiveVerif/src/LiveVerifExamples/insertion_sort.v
+17 −19 LiveVerif/src/LiveVerifExamples/linked_list.v
+1 −10 LiveVerif/src/LiveVerifExamples/memset.v
+243 −35 LiveVerif/src/LiveVerifExamples/nt_uint8_string.v
+7 −12 LiveVerif/src/LiveVerifExamples/tree_set.v
+2 −11 Makefile
+0 −55 PyLevelLang/Makefile
+0 −336 PyLevelLang/src/PyLevelLang/Compile.v
+0 −693 PyLevelLang/src/PyLevelLang/Elaborate.v
+0 −168 PyLevelLang/src/PyLevelLang/Examples.v
+0 −160 PyLevelLang/src/PyLevelLang/Interpret.v
+0 −168 PyLevelLang/src/PyLevelLang/Language.v
+0 −228 PyLevelLang/src/PyLevelLang/Notations.v
+0 −802 PyLevelLang/src/PyLevelLang/Optimize.v
+0 −244 PyLevelLang/src/PyLevelLang/Queries.v
+0 −982 PyLevelLang/src/PyLevelLang/SamplePrograms.v
+0 −62 PyLevelLang/src/PyLevelLang/SearchCommandDemo.v
+66 −10 bedrock2/src/bedrock2/HeapletwiseAutoSplitMerge.v
+29 −1 bedrock2/src/bedrock2/HeapletwiseHyps.v
+18 −12 bedrock2/src/bedrock2/PurifyHeapletwise.v
+37 −4 bedrock2/src/bedrock2/SepLib.v
+4 −2 bedrock2/src/bedrock2/ToCString.v
+34 −0 bedrock2/src/bedrock2/WordPushDownLemmas.v
+93 −0 bedrock2/src/bedrock2/ZListEqProver.v
+1,120 −130 bedrock2/src/bedrock2/bottom_up_simpl.v
+62 −0 bedrock2/src/bedrock2/bottom_up_simpl_perf.v
+31 −4 bedrock2/src/bedrock2/safe_implication.v
+101 −9 bedrock2/src/bedrock2/unzify.v
+4 −3 compiler/src/compilerExamples/Softmul.v
+1 −1 deps/coqutil
+1 −1 deps/kami

0 comments on commit 5d8e2f1

Please sign in to comment.