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.028Mar24212011109876512Feb11109754231Jan282723201512109863230Dec172Nov124Sep131221Aug916Jul1214Jun1329May282725241610986542130Apr29272625232218171615141211543123Mar2219181413115419Feb1716151430Jan29261195422Dec212019181514131187654130Nov2924232220161514131298632131Oct28262523171693127Sep191814131243131Aug1Sep24Aug12Junfix orderlennard/loop-en…lennard/loop-encodingfixmove shims into stdlibgenerate inclusion proofsPartially refactor trait linking assumptionsdifferent encodingmore testsadd default_spec optionadd GenericScopeInsttrait dep fixescoq fixestrait assumptions for implsbasic iterator setupallow mentioning assoc types in trait decl speciterator specsstart with refactoring loopsbump lifetime-logicmainmainuse consistent versionsdon't automatically put stuff into Propremove unnecessary clearremove unnecessary assumptionsfix some things(fix) pin the right versionschore: Bump to Iris 4.3.0chore(nix): Bump to 24.11move to frontend-generated testfix todocontractiveness proofsmove instances + fix admitchore(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 maskworkaround for lithium notation buggenerate more creditsfeat(solve_ndisj): Add union mask solvers