Skip to content
Snippets Groups Projects
Select Git revision
  • ci/lafeychine/inline_fptr
  • ci/pldi24-submission
  • lafeychine/iris-4.3
  • lennard/borrow
  • lennard/information-flow
  • lennard/iterators
  • lennard/loop-encoding
  • lennard/rectypes
  • lennard/rectypesv2
  • lennard/trait-attrs
  • lennard/traits-old
  • main default protected
  • pldi24-aec
13 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.020Feb191817141211109754231Jan282723201512109863230Dec172Nov124Sep131221Aug916Jul1214Jun1329May282725241610986542130Apr29272625232218171615141211543123Mar2219181413115419Feb1716151430Jan29261195422Dec212019181514131187654130Nov2924232220161514131298632131Oct28262523171693127Sep191814131243131Aug1Sep24Aug12Juntrait assumptions for implsbetter checking for equality of flat typesfix + allow more identifiers in escapesbasic iterator setupallow mentioning assoc types in trait decl speciterator specswork on loopsstart with refactoring loopsadapt docsadd shortcut specs also for closuresfix naming issueallow specs without argsqed time fixesfix existentials to allow vec rectypes againfix rep hook overridefix spinfixes + closure obs annotationsfirst attempt at xtsadd comment about slow qedfix function subtype sidecondfixseal ty_lftsseal ty_wf_Efixtry2close lemmafixlennard/rectype…lennard/rectypesv2fix ghost_dropgenerate rectype defwork on non-expansiveness infrastructure for enumsfrontend: fixes for recursive typesrevert OnceCell changemore work on rectypeswork on existentialswork on lft morphismsmut ref contractivechange argument order for mut_refmake progress on defining fixpointschange argument order of shr_refsplit references.v