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.020Nov171411106130Oct2423212017161514131211987654329Sep27262114118130Aug29281110984327Jul252423222130Jun29141296542131May3019141110985432130Apr292827252419181211626Mar252319201918171097543117Feb161514138432127Jan179813Dec8765430Nov29272624231817161514139231Oct2827729Sep2521206226Aug252220also exclude Coq 8.20 from testingmastermasterMerge branch 'steps-lb-init' into 'master'Generalize wp_lb_init to steps_lb_0.update dependenciesMerge branch 'egrep' into 'master'egrep -> grep -EMerge branch 'undiscard-laws' into 'master'Merge branch 'robbert/total_adequacy_later' into 'master'Remove needless later in total adequacy.Add CHANGELOG for un-persisting lawsMake dyn_reservation_map follow style for updatePAdd separation logic unpersist update lawsAdd unpersist law for gmap_view fragmentsAdd unpersist laws for authorative parts of fragAdd general/missing lemmas about updatePAdd law for undiscarding dfracsfix typo in changelogMerge branch 'ralf/base_step' into 'master'rename head_step → base_stepMerge branch 'ralf/pointsto' into 'master'rename mapsto → pointstoimprove comments in logatom exampleMerge branch 'robbert/cmra_update_discrete' into 'master'CHANGELOG.Rename `cmra_discrete_update` → `cmra_discrete_total_update` andadd comment in total_adequacyMerge branch 'ike/frame_evar∨∧' into 'master'Update CHANGELOG.mdAddress commentsAdd comment on MaybeFrame'Make MaybeFrame shorthand notation for TCNoBackTrack MaybeFrame'Wrap last MaybeFrame in TCNoBackTrack for benchmarkbackticks, simpl, lambdaApply 4 suggestion(s) to 1 file(s)Update ref file of tests/proofmodeAdded missing spaceAdded bunch of commentsFixed iFrame under ∧ and ∨ taking forever to fail in the presence of evarsMerge branch 'coq_14928' into 'master'Merge branch 're_1011' into 'master'