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.012Feb11109754231Jan282723201512109863230Dec172Nov124Sep131221Aug916Jul1214Jun1329May282725241610986542130Apr29272625232218171615141211543123Mar2219181413115419Feb1716151430Jan29261195422Dec212019181514131187654130Nov2924232220161514131298632131Oct28262523171693127Sep191814131243131Aug1Sep24Aug12Junadd 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.vadd basic fixpoint typeport type_dist from rustbeltfix ciimprove solversimprove lft_incl solverremove sidecondition proof that now gets solved automaticallyimprove lft_alive solvermake sure that local lifetimes are always constrainedimprove lifetime inclusion solver to backtrack on external inclusions