Prabhat Sachdeva
|
126d45a1f1
Trace stack and memory only when there is change in state (#2982)
|
2 лет назад |
Richard Smith
|
ea60e4f491
Track the file kind on SourceLocation rather than computing it from the file name. (#2999)
|
2 лет назад |
Adrien Leravat
|
d02366f881
Explorer: Prevent copies when initializing a let binding from reference expression (#2946)
|
2 лет назад |
Jon Ross-Perkins
|
b828093c87
Start checking for a few possible resource exhaustion scenarios for explorer (#2793)
|
3 лет назад |
Jon Ross-Perkins
|
39155d34ae
Remove experimental continuation support (#2776)
|
3 лет назад |
Adrien Leravat
|
d0645c6a85
Explorer: rename value categories to expression categories (#2744)
|
3 лет назад |
Prabhat Sachdeva
|
3f1515af55
Change InstantiateType to be an Action (#2660)
|
3 лет назад |
Richard Smith
|
2717dc1097
Decouple `Value` from interpreter-specific representation of continuations. (#2658)
|
3 лет назад |
Adrien Leravat
|
245e4d1ea6
Explorer: drop unused `PrintScopes` method (#2588)
|
3 лет назад |
Adrien Leravat
|
7936bfa019
Explorer: fix case for CleanUpAction enum kind (#2520)
|
3 лет назад |
Richard Smith
|
4daaa4866f
Rename `Type` -> `type`, per #2360. (#2507)
|
3 лет назад |
Richard Smith
|
dfbe35bae5
Remove pattern evaluation from the interpreter. (#2400)
|
3 лет назад |
pmqtt
|
cef93fba5e
Feature call destructor for tuples and bug fixes for the destructor process (#2255)
|
3 лет назад |
Richard Smith
|
8f0f69b65f
Remove RuntimeError / CompilationError. (#2258)
|
3 лет назад |
Richard Smith
|
04d49cebd8
Consistently use a `Witness` rather than an expression to represent a possibly-symbolic witness. (#2245)
|
3 лет назад |
pmqtt
|
cfa295c0af
Feature destructor (#2116)
|
3 лет назад |
Zenong Zhang
|
13f97e09e8
Added back error message on action stack. (#1826)
|
3 лет назад |
Richard Smith
|
93e19649aa
Support for `as` operator and user-defined `As` impls. (#1476)
|
3 лет назад |
SlaterLatiao
|
9106e9239e
Initial implementation of returned var. (#1348)
|
3 лет назад |
Richard Smith
|
392182cee1
Check for a symbolic value only if normal value lookup fails. (#1326)
|
3 лет назад |
Richard Smith
|
b74d3f80f1
Add a new kind of Witness value that carries an expression (#1324)
|
3 лет назад |
Jeremy G. Siek
|
873e78f605
cleanup and docs for tracing output (#1320)
|
3 лет назад |
Jon Meow
|
af694b97cb
Prefix most macro names with CARBON_ (#1232)
|
4 лет назад |
Jon Meow
|
309ec35f95
Rename executable_semantics to explorer (#1188)
|
4 лет назад |