Skip to content

Commit

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

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

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot
dependabot[bot] authored Jan 29, 2024
1 parent 90a9655 commit e40d353
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bedrock2
Submodule bedrock2 updated 37 files
+25 −0 LiveVerif/src/LiveVerif/LiveParsing.v
+75 −3 LiveVerif/src/LiveVerif/LiveProgramLogic.v
+8 −1 LiveVerif/src/LiveVerif/LiveVerif.v
+1 −2 LiveVerif/src/LiveVerif/LiveVerifLib.v
+19 −0 LiveVerif/src/LiveVerifExamples/ErrorTests/find_superrange_hyp_errors.v
+1 −0 LiveVerif/src/LiveVerifExamples/LiveVerifBitwidth.v
+99 −33 LiveVerif/src/LiveVerifExamples/Tests/SampleSideconds.v
+40 −0 LiveVerif/src/LiveVerifExamples/Tests/test_sepapps_safe_to_cancel.v
+112 −0 LiveVerif/src/LiveVerifExamples/Tutorial/wp_fwd.v
+2,737 −1,547 LiveVerif/src/LiveVerifExamples/critbit.v
+4 −4 LiveVerif/src/LiveVerifExamples/fibonacci.v
+3 −3 LiveVerif/src/LiveVerifExamples/insertion_sort.v
+0 −8 LiveVerif/src/LiveVerifExamples/memset.v
+7 −7 LiveVerif/src/LiveVerifExamples/onesize_malloc.v
+79 −19 LiveVerif/src/LiveVerifExamples/ring_buffer.v
+68 −22 LiveVerif/src/LiveVerifExamples/tree_set.v
+0 −0 LiveVerif/src/LiveVerifExamples/tree_set_test.c_inactive
+66 −0 LiveVerifEx64/Makefile
+1 −0 LiveVerifEx64/src/LiveVerifExamples/LiveVerifBitwidth.v
+1 −0 LiveVerifEx64/src/LiveVerifExamples/onesize_malloc.v
+1 −0 LiveVerifEx64/src/LiveVerifExamples/tree_set.v
+13 −4 Makefile
+14 −1 bedrock2/src/bedrock2/HeapletwiseAutoSplitMerge.v
+24 −11 bedrock2/src/bedrock2/HeapletwiseHyps.v
+9 −2 bedrock2/src/bedrock2/PurifyHeapletwise.v
+1 −8 bedrock2/src/bedrock2/RecordPredicates.v
+10 −0 bedrock2/src/bedrock2/SepLib.v
+9 −0 bedrock2/src/bedrock2/SepappBulletPoints.v
+7 −0 bedrock2/src/bedrock2/WordPushDownLemmas.v
+18 −0 bedrock2/src/bedrock2/bottom_up_simpl.v
+15 −2 bedrock2/src/bedrock2/sepapp.v
+54 −0 bedrock2/src/bedrock2/to_from_anybytes.v
+6 −0 bedrock2/src/bedrock2/unzify.v
+6 −1 bedrock2/src/bedrock2Examples/indirect_add_heapletwise.v
+1 −1 compiler/src/compiler/FlatToRiscvFunctions.v
+1 −1 compiler/src/compiler/LowerPipeline.v
+1 −1 deps/riscv-coq

0 comments on commit e40d353

Please sign in to comment.