Richard Smith
|
93e19649aa
Support for `as` operator and user-defined `As` impls. (#1476)
|
3 anni fa |
SlaterLatiao
|
9106e9239e
Initial implementation of returned var. (#1348)
|
3 anni fa |
Richard Smith
|
392182cee1
Check for a symbolic value only if normal value lookup fails. (#1326)
|
3 anni fa |
Richard Smith
|
b74d3f80f1
Add a new kind of Witness value that carries an expression (#1324)
|
3 anni fa |
Jeremy G. Siek
|
873e78f605
cleanup and docs for tracing output (#1320)
|
3 anni fa |
Jon Meow
|
af694b97cb
Prefix most macro names with CARBON_ (#1232)
|
4 anni fa |
Jon Meow
|
309ec35f95
Rename executable_semantics to explorer (#1188)
|
4 anni fa |