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.017Dec2Nov124Sep131221Aug916Jul1214Jun1329May282725241610986542130Apr29272625232218171615141211543123Mar2219181413115419Feb1716151430Jan29261195422Dec212019181514131187654130Nov2924232220161514131298632131Oct28262523171693127Sep191814131243131Aug1Sep24Aug12Junchore(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 VariantListchore(radium): Split coq crate (command, term)chore(radium): Split coq crate (module)chore(coq/assertions): Simplificationchore(coq): Structure visibility + simplificationclippy testsdocumentationbug fixes in automationadd support for processing trait specsrefactor param handlingNew trait encoding scheme and add support for more specific trait implsRefactor type parameter handlingInitial support for traitsFixes + frontend support for castsAdd support for calling const evaluationFix regression with building dependenciesEvenint case studytests(rrconfig): Add config read + write simple testsfix(config): Use RefCell + thread_local! instead of RwLock + lazy_static!chore(config): Use only TOML feature for config cratefix(shim): Remove deprecated syntax cratechore(import): Remove renamed importschore(rr_rustc_interface): Remove crate own importchore(imports): Use absolute pathsclippy: Fix string_lit_as_bytesclippy: Fix useless_formatclippy: Fix let_unit_valueclippy: Fix let_underscore_untypedclippy: Fix ignored_unit_patterns