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.020Jan1512109863230Dec172Nov124Sep131221Aug916Jul1214Jun1329May282725241610986542130Apr29272625232218171615141211543123Mar2219181413115419Feb1716151430Jan29261195422Dec212019181514131187654130Nov2924232220161514131298632131Oct28262523171693127Sep191814131243131Aug1Sep24Aug12Junmake sure that local lifetimes are always constrainedimprove lifetime inclusion solver to backtrack on external inclusionsHandle trait attributes and associated type escapes in more placesmake process_coq_literal a methodexperiment: remove type opaquenesslennard/trait-a…lennard/trait-attrsfix 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 inclusionsHandle trait attributes and associated type escapes in more placesmake process_coq_literal a methodremove unused importssplit up function_bodymove region management for calls and compositesrefactor init and assignment constraintsfix fmtpartial refactor of function_bodyremove unused importsclean up utilsrefactor shimsrefactor traitsfix some unused importsrefactor type translatorRefactor handling of trait requirementsiterator specslennard/iteratorslennard/iteratorschore(coq): Add missing documentationfeat(coq::radium): Add bindersfeat(coq::radium): Sunset old representationchore(radium::coq): Create subcategory commandfeat(coq::radium): Replace module crateUse specific version of Coq (8.20) for documentationchore(fix): Remove unused argumentfeat: Add 'Hello world' examplefeat(coq): Split attempt into submodulesfeat(coq): Define a permissive syntax with explanationsfeat(derive_more): Use Deref instead of manually implement itchore(coq::term): Add internal type VariantList