Lịch sử commit

Tác giả SHA1 Thông báo Ngày
  Richard Smith b74d3f80f1 Add a new kind of Witness value that carries an expression (#1324) 3 năm trước cách đây
  Jon Meow 20728dbd3a CARBON_ header guards (#1261) 4 năm trước cách đây
  Jon Meow 309ec35f95 Rename executable_semantics to explorer (#1188) 4 năm trước cách đây