Skip to content

Commit

Permalink
Adapt to coq/coq#17836 (sort poly) (update bedrock2)
Browse files Browse the repository at this point in the history
  • Loading branch information
@SkySkimmer
SkySkimmer committed Oct 20, 2023
1 parent e6daa5e commit 98e77f8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bedrock2
Submodule bedrock2 updated 19 files
+35 −0 LiveVerif/src/LiveVerif/LiveProgramLogic.v
+16 −8 LiveVerif/src/LiveVerif/LiveRules.v
+2 −1 LiveVerif/src/LiveVerif/PackageContext.v
+4 −3 LiveVerif/src/LiveVerifExamples/ErrorTests/find_superrange_hyp_errors.v
+100 −0 LiveVerif/src/LiveVerifExamples/Tests/split_conclusion.v
+1 −1 LiveVerif/src/LiveVerifExamples/Tests/test_PredicateSize_not_found.v
+2 −1 LiveVerif/src/LiveVerifExamples/insertion_sort.v
+3 −5 LiveVerif/src/LiveVerifExamples/linked_list.v
+243 −12 LiveVerif/src/LiveVerifExamples/nt_uint8_string.v
+7 −12 LiveVerif/src/LiveVerifExamples/tree_set.v
+66 −10 bedrock2/src/bedrock2/HeapletwiseAutoSplitMerge.v
+29 −1 bedrock2/src/bedrock2/HeapletwiseHyps.v
+33 −0 bedrock2/src/bedrock2/SepLib.v
+62 −0 bedrock2/src/bedrock2/ZListEqProver.v
+662 −63 bedrock2/src/bedrock2/bottom_up_simpl.v
+27 −0 bedrock2/src/bedrock2/safe_implication.v
+62 −0 bedrock2/src/bedrock2/unzify.v
+1 −1 deps/coqutil
+1 −1 deps/kami

0 comments on commit 98e77f8

Please sign in to comment.