Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 12, 2024

• Exclude Charon from workspace (#3580)

  Show description for 373af49
  zhassan-aws

  authored
  373af49

Commits on Oct 8, 2024

• Add an LLBC backend (#3514)

  Show description for e7ab090
  zhassan-aws

  authored
  e7ab090

Commits on Sep 24, 2024

• Update toolchain to 2024-09-23 (#3544)

  Show description for 9dc09e7
  tautschnig

  authored
  9dc09e7

Commits on Apr 5, 2024

• Remove bookrunner (#3123)

  Show description for 36bf7c8
  tautschnig

  authored
  36bf7c8

Commits on Aug 10, 2022

• Add missing test folders to fmt script (#1459)

  celinval

  authored
  d9ec642

Commits on Aug 8, 2022

• Create Coding Conventions page (#1422)

  Show description for ef7639e
  

  celinval

  and

  adpaco-aws

  authored
  ef7639e

Commits on Jul 28, 2022

• Enable 2021 edition globally for rustfmt (#1417)

  fzaiser

  authored
  4a7f298

Commits on May 2, 2022

• Update copyright blob (#1144)

  Show description for 41462e3
  celinval

  authored
  41462e3

Commits on Apr 27, 2022

• Truncated history.

  Show description for ec08e43
  tedinski

  committed
  ec08e43

Commits on Mar 23, 2022

• Restore copyright check (#975)

  Show description for 2934527
  

  adpaco-aws

  authored and

  tedinski

  committed
  2934527

Commits on Jan 18, 2022

• Renaming RMC project to Kani (#757)

  Show description for 6c316fb
  

  celinval

  authored and

  tedinski

  committed
  6c316fb

Commits on Jan 12, 2022

• Merge rustc into rmc - 2022 week 02

  Show description for 6740895
  

  celinval

  authored and

  tedinski

  committed
  6740895

Commits on Nov 16, 2021

• Merge rustc into rmc - 2021 week 45 (#634)

  Show description for fc272e8
  

  celinval

  authored and

  tedinski

  committed
  fc272e8

Commits on Oct 6, 2021

• Merge rustc into rmc - 2021 week 39 (#502)

  Show description for 4643e33
  

  celinval

  authored and

  tedinski

  committed
  4643e33

Commits on Sep 28, 2021

• Rename cbmc test suite (now rmc) (#526)

  

  adpaco-aws

  authored and

  tedinski

  committed
  5cde272

Commits on Aug 4, 2021

• Regression test for codegen'ing Firecracker (#264)

  Show description for 8677759
  

  nchong-at-aws

  authored and

  tedinski

  committed
  8677759

Commits on Jun 23, 2021

• Enforce formatting of RMC tests. (#258)

  Show description for 0642530
  

  bdalrhm

  authored and

  tedinski

  committed
  0642530

Loading