Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.024Apr2317168729Mar26222019171615141376543128Feb27262524232221201816137653130Jan29282726252423221918171514131110225Dec22212019181514131210876330Nov292827262220161211986131Oct2927262524222119181311754330Sep2618121031Aug2413112131Jul24231713976543230Jun29282625232221201918171615141312111098654131May30292825242320181715141198Make use of new `SetUnfoldElemOf`.bump std++Update example in ProofMode.mdSketch proofLabel new ruleExplain why the rule looks differentAdd missing preconditionDocument `iAccu`.Documentation for #237Merge branch 'ralf/soundness' into 'master'Merge branch 'changelog_upd' into 'master'Mentioned big_sepL2/sepM2 in the changelog.Change the level of `ref` so it's the same as application.Avoid use of `firstorder`.Fix compilation with Coq 8.7.Merge branch 'robbert/big_sepM2' into 'master'big_sepM2 and associated lemmasmove comment into appropriate sectionmore consistent namingmake fupd_plain_soundness more like soundness_bupd_plainadd derived soundness_bupd matching soundness_laterfupd_plain_soundness works for all masksMerge branch 'robbert/base_logic_soundness' into 'master'Nicer soundness statements for the base_logic.Add `big_sepL2_later_1`.Merge branch 'prophecy_list' into 'master'Style updates suggested by @robbertkrebbersMerge branch 'resolve_proph_fix' into 'master'Generalization suggested by @dfruminRemove unnecessary arguments from `ResolveProphS`.Merge branch 'very_important_renaming' into 'master'Rename bi/lib/counter_examples to bi/lib/counterexamples.Apply changes requested by @jungtweaksProphecy variables with lists.emphasize picking the right job nameBump stdpp.tweak COQTEST outputmake NO_TEST=1 skips the testsBump stdpp.