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.019May1817131211975230Apr292220191514131211827Mar2524232218171514131210986543124Feb232217161514131211105432129Jan282726252320191715141312875424Dec231918161110976432127Nov2623181312111096543231Oct302927222120151413121098765432130Sep29add credit in changelogfix testsRemove useless scopes. Thanks to !674.Merge branch 'ralf/scopes' into 'master'Add test case for Xchgremove unboxed assumptionslittle fixesApply 1 suggestion(s) to 1 file(s)Apply 1 suggestion(s) to 1 file(s)add atomic exchange operationMerge branch 'append_list' into 'master'Append-only list RAMerge branch 'monotone' into 'master'Merge branch 'ralf/gmap-view' into 'master'test bi Lemma scopesBetter setoid-rewriting for updates.make cmra_update a rewritable relationadd big_op lemmas to gmap_view and use them in ghost_mapMerge branch 'patch-dist-functional-notations' into 'master'Merge branch 'ralf/wp_frame_wand' into 'master'add twp_frame_wandchangeloguse wp_frame_wand in awp_apply; get rid of _l/_r variantsuse wp_frame_wand where suitableadd wp_frame_wand lemmafix typo (thanks Paolo)further extend commentextend logical atomicity commentsScopes for bi_car, and Remove some now implied %IApply 1 suggestion(s) to 1 file(s)Apply 1 suggestion(s) to 1 file(s)Add monotone resource algebra to iris_stagingimprove 'unqualified' error messageRemove %I which is impliedupdate dependenciesre-enable coq.dev CIAdd functional notations for `dist`update std++disable Coq master test while Coq master is brokenMerge branch 'dfrumin-master-patch-71378' into 'master'