Skip to content

Commit

Permalink
bump bedrock2
Browse files Browse the repository at this point in the history
  • Loading branch information
@andres-erbsen
andres-erbsen committed Mar 31, 2023
1 parent 7b25025 commit 3f59b3d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bedrock2
Submodule bedrock2 updated 37 files
+127 −112 LiveVerif/src/LiveVerif/LiveProgramLogic.v
+2 −0 LiveVerif/src/LiveVerif/LiveVerifLib.v
+4 −2 LiveVerif/src/LiveVerif/PackageContext.v
+10 −6 LiveVerif/src/LiveVerifExamples/ErrorTests/find_superrange_hyp_errors.v
+26 −0 LiveVerif/src/LiveVerifExamples/ErrorTests/safe_f_equal_errors.v
+27 −15 LiveVerif/src/LiveVerifExamples/convert_bytes_to_record.v
+21 −4 LiveVerif/src/LiveVerifExamples/fibonacci.v
+18 −27 LiveVerif/src/LiveVerifExamples/insertion_sort.v
+42 −38 LiveVerif/src/LiveVerifExamples/linked_list.v
+11 −21 LiveVerif/src/LiveVerifExamples/memset.v
+1 −8 LiveVerif/src/LiveVerifExamples/min.v
+34 −16 LiveVerif/src/LiveVerifExamples/ring_buffer.v
+1 −4 LiveVerif/src/LiveVerifExamples/sort3.v
+11 −1 LiveVerif/src/LiveVerifExamples/sort3_separate_args.v
+1 −2 LiveVerif/src/LiveVerifExamples/swap.v
+15 −8 LiveVerif/src/LiveVerifExamples/swap_record_fields.v
+11 −8 LiveVerif/src/LiveVerifExamples/swap_subarrays.v
+40 −11 PyLevelLang/src/PyLevelLang/Elaborate.v
+4 −0 PyLevelLang/src/PyLevelLang/Examples.v
+5 −2 PyLevelLang/src/PyLevelLang/Interpret.v
+10 −3 PyLevelLang/src/PyLevelLang/Language.v
+2 −1 PyLevelLang/src/PyLevelLang/Notations.v
+510 −0 PyLevelLang/src/PyLevelLang/Optimize.v
+10 −0 PyLevelLang/src/PyLevelLang/SamplePrograms.v
+46 −28 bedrock2/src/bedrock2/HeapletwiseHyps.v
+73 −25 bedrock2/src/bedrock2/PurifyHeapletwise.v
+152 −159 bedrock2/src/bedrock2/RecordPredicates.v
+0 −8 bedrock2/src/bedrock2/SepLib.v
+488 −95 bedrock2/src/bedrock2/bottom_up_simpl_ltac1.v
+72 −0 bedrock2/src/bedrock2/safe_f_equal.v
+50 −0 bedrock2/src/bedrock2/sepapp.v
+313 −78 bedrock2/src/bedrock2/unzify.v
+27 −17 compiler/src/compilerExamples/SoftmulCompile.v
+0 −2 compiler/src/compilerExamples/immediateExample.v
+1 −1 deps/coqutil
+1 −1 deps/riscv-coq
+0 −1 end2end/src/end2end/End2EndLightbulb.v

0 comments on commit 3f59b3d

Please sign in to comment.