Skip to content
Snippets Groups Projects
Select Git revision
  • ci/lafeychine/inline_fptr
  • ci/pldi24-submission
  • 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
12 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.06Mar512Feb11109754231Jan282723201512109863230Dec172Nov124Sep131221Aug916Jul1214Jun1329May282725241610986542130Apr29272625232218171615141211543123Mar2219181413115419Feb1716151430Jan29261195422Dec212019181514131187654130Nov2924232220161514131298632131Oct28262523171693127Sep191814131243131Aug1Sep24Aug12Junchore(na): Cpre/Cpost takes rt_cur instead of rt_fullchore(na): Add MagicLTy(pe) + na token pass throughchore(na): Complete ty_share sideconditionfeat(na): na_inv_P not Timeless and Persistant anymorefeat(na): Add simple typing rule for shared nachore(na): Remaining proofs of the simple shared lemmafeat(na): Add simple shared lemmachore(na): Add examples + owned definitionfeat(na): First definitioncell stuff from meetingcell impl to play withadapt 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_ref