Skip to content
Snippets Groups Projects
Select Git revision
  • ascii-sections
  • basic-dune
  • bi_pure_scopes
  • doc-equalities
  • explicit-vdash
  • fix-497-hint-immediate
  • fix-notation
  • fupd-commutes
  • inv_exc_0_ipm
  • later-credits-drop
  • later_impl_experiments
  • later_impl_test
  • master default
  • more-convenient-fupd_proper
  • no-bi-canonical
  • notations
  • paolo/tc-strict-resolution-backport
  • periscopes
  • periscopes-v2
  • seal_ires
  • iris-4.3.0
  • iris-4.2.0
  • iris-4.1.0
  • iris-4.0.0
  • iris-3.6.0
  • iris-3.5.0
  • iris-3.4.0
  • iris-3.3.0
  • iris-3.2.0
  • iris-3.1.0
  • iris-3.0.0
  • iris-2.0
  • iris-2.0-rc2
  • iris-2.0-rc1
  • iris-1.1
  • iris-1.0
  • hope-2015-coq-1
  • appendix-1.0.0
  • appendix-1
39 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.020Feb1615141312119654211Jan26Dec21181512109220Nov171411106130Oct2423212017161514131211987654329Sep27262114118130Aug29281110984327Jul252423222130Jun291412965432131May3019141110985432130Apr292827252419181211626Mar252319201918171097543117Feb161514138432127Jan179813Dec8765430Nov29272624update test-normalizer: remove old cruft, add Ltac2 printing changeMerge branch 'ci/better_frame_exist' into 'master'Update CHANGELOG.mdUpdate CHANGELOG.mdRemove `FrameExists` class.Fewer `Hint Extern`.More tweaks.Remove the frame lemma that contains too many ∃ and ∧.Tweaks, mostly style. Also make record primitive.Add stronger frame instance, get iris to buildBreak some long lines.Fix indentation.Merge branch 'ralf/frame-quick' into 'master'changelogclass_instances_frame: use QuickAffine and QuickAbsorbingMerge branch 'robbert/clean_test_ipm_paper' into 'master'Clean up `tests/ipm_paper`.Tweak CHANGELOG.Merge branch 'ralf/token' into 'master'changelogtoken: support iCombine ... givesuse token in spin_lockadd token ghost libraryCoq 8.20 has different output from 8.19 for some error messagesupdate dependenciesMerge branch 'coq_18224' into 'master'Get rid of future-coercion-class-field warningsMerge branch 'ralf/old-coq' into 'master'fix typo in appendixdrop support for Coq 8.16, 8.17Merge branch 'ralf/coq' into 'master'switch printing tests to 8.19update dependenciesMerge branch 'ralf/coq-8.19' into 'master'test with Coq 8.19remove some long-dead filesallow testing with Coq 8.20iris-bot: support testing against different Coq versionsMerge branch 'later-laws' into 'master'Add comments explaining intricate later shenanigans
Loading