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.011Mar109876543227Feb24232120191817141211109754231Jan282723201512109863230Dec172Nov124Sep131221Aug916Jul1214Jun1329May282725241610986542130Apr29272625232218171615141211543123Mar2219181413115419Feb1716151430Jan29261195422Dec212019181514131187654130Nov2924232220161514131298632131Oct28262523171693127Sep191814131243131Aug1Sep24Aug12Junmove to frontend-generated testmainmainfix todocontractiveness proofsmove instances + fix admitfixlennard/loop-en…lennard/loop-encodinggenerate inclusion proofschore(na): Move test examples into own filefeat(na): Add typeclass instancesfeat(automation): Solve mask side conditionchore(OpenedNa): Rename from Magicfeat(AliasType): Add stratify on shared casefix(lithium): Extra now-unsued arguments removedfeat(na): Finish stratify proof for MagicLTypechore(na): Add shrE maskwipworkaround for lithium notation buggenerate more creditsfeat(solve_ndisj): Add union mask solversfeat(FindNaOwn): Add an Option versionchore(type): Remove na_own from copy_shr_accchore(MagicLType): Remove full typechore(na): Add fully-proved MagicType's typing ruletry to fix things for thread_id changechore(na_own): Remove π from unused placesfeat(na): Remove framing na tokenchore(na): Remove na_own in typed_placechore(na): Add MagicType typing rules based on OpenedLTypechore(na): Proof shared of Shadowed(Alias)feat(na): Add Shared case of AliasType + Modify Owned case of MagicTypechore(ex_plain_t): Use the new MagicType definitionPartially refactor trait linking assumptionschore(MagicType): Transform into a &na-specific OpenedTypefeat(na): Use AliasLtype - move out ownership in new context itemchore(ex_plain_t): Add UnsafeCell/Cell interaction examplechore(ex_plain_t): Use ShadowedType + OpenedType instead of MagicTypechore(MagicType): Mask is no longer passed throughchore(MagicType): core is no longer recursivechore(na): Cpre/Cpost takes rt_cur instead of rt_fullchore(na): Add MagicLTy(pe) + na token pass throughchore(na): Complete ty_share sidecondition