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.06Oct54329Sep27262114118130Aug29281110984327Jul252423222130Jun29141296542131May3019141110985432130Apr292827252419181211626Mar252319201918171097543117Feb161514138432127Jan179813Dec8765430Nov29272624231817161514139231Oct2827729Sep2521206226Aug25222017161514131211109854Merge branch 'robbert/option_list_Forall2' into 'master'Lemmas and instances for `∪` on `gmap`.CHANGELOG.`Inj`/`Forall` results for `list`/`option` similar to std++.Merge branch 'ralf/fmap_dist_inj' into 'master'Merge branch 'robbert/gmap_ne_rename' into 'master'Merge branch 'robbert/later_map_Next' into 'master'Merge branch 'robbert/cons_dist_inj' into 'master'Rename instances `union_with_proper` → `union_with_ne`,Add lemma `later_map_Next`.Add instance `cons_dist_inj`.Bump std++.Merge branch 'robbert/big_op_plain' into 'master'Remove useless `BiAffine` conditions for big op `Plain` instances.Merge branch 'robbert/string_ident_tweaks' into 'master'Add some types to Ltac2 for string_ident.Avoid duplicating Ltac2 `Option.get`.update dependenciesadd 'iris-bot timing all'frame_and commentMerge branch 'robbert/naming_as' into 'master'Document convention to use `f_as_g` in naming.sed script for logatom changeMerge branch 'ralf/atomic-private-post' into 'master'changelogadjust logatom notation to avoid a conflict with Autosubstatomic: make no-private-post notation consistent with private-post notationatomic: add support for private postconditionawp_apply: dont leave behind ugly goalsMerge branch 'robbert/naming_order' into 'master'Naming convention about lookup/elem_of.Merge branch 'ralf/8.15-dropped' into 'master'Bump Iris.remove some Coq 8.15 support hacksupdate opam file to reflect that we require 8.16Merge branch 'ralf/coq-8.18' into 'master'fix Coq 8.18 deprecation warningsMerge branch 'ralf/drop-8.15' into 'master'drop support for Coq 8.15test Coq 8.17.1