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.06Nov130Oct2423212017161514131211987654329Sep27262114118130Aug29281110984327Jul252423222130Jun29141296542131May3019141110985432130Apr292827252419181211626Mar252319201918171097543117Feb161514138432127Jan179813Dec8765430Nov29272624231817161514139231Oct2827729Sep2521206226Aug252220171615141312rename 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'add commentFollowup for https://gitlab.mpi-sws.org/iris/iris/-/merge_requests/1011Use markdown in CHANGELOG.changelog: use markdown syntaxMerge branch 'ralf/Z_local_update' into 'master'changelogadd comment to nat_local_updateMerge branch 'ralf/noref' into 'master'add back the ability to skip reference file checks on some Coq versionsmake Z_local_update statement more intuitiveadd missing changelogMerge branch 'ralf/iso_cmra' into 'master'changelog; tweak lemma name; comment tweaksapply review feedbackBreak some lines, tweak proof.generalize iso_cmra_mixin_restrict to a lemma that can also restrict the domainMerge branch 'ralf/solve-proper-subrelation' into 'master'changelog