Historique des commits

Auteur SHA1 Message Date
  kshokhin b6d660b4d9 Add nested array size deduction from tuple (#2909) il y a 2 ans
  Jon Ross-Perkins f63834c71d Move PrintAsID into explorer. (#3163) il y a 2 ans
  Jon Ross-Perkins 605763d62d Add lint fixes to the buildifier setup. (#3109) il y a 2 ans
  Jon Ross-Perkins 357baaeef8 Rename //explorer/common to base (#3103) il y a 2 ans
  kshokhin d34b3e02c2 Add type_utils file (#2926) il y a 2 ans
  Prabhat Sachdeva b783197ec6 Explorer: add trace for unformed variable resolution (#3015) il y a 2 ans
  Prabhat Sachdeva 459cfc3587 Explorer: add trace for control flow resolution (#3014) il y a 2 ans
  Prabhat Sachdeva 126d45a1f1 Trace stack and memory only when there is change in state (#2982) il y a 2 ans
  Prabhat Sachdeva 418bad939a Add name resolution information to trace stream (#2986) il y a 2 ans
  Adrien Leravat d02366f881 Explorer: Prevent copies when initializing a let binding from reference expression (#2946) il y a 2 ans
  Adrien Leravat 19c74ead49 Explorer: Add initial initializing expression support for variable declaration (#2907) il y a 2 ans
  Prabhat Sachdeva 04d9a7b533 Improved trace output selection using program phase filtering (#2851) il y a 2 ans
  Richard Smith 81e53886a8 Fix crash on use of uninitialized array element, and improve unformed checking (#2862) il y a 2 ans
  Jon Ross-Perkins 38538ff97f Start handling stack depth issues in explorer (#2799) il y a 2 ans
  Jon Ross-Perkins b1ee45c1e4 Extract ParseAndExecute as its own library. (#2813) il y a 3 ans
  Jon Ross-Perkins 39155d34ae Remove experimental continuation support (#2776) il y a 3 ans
  Richard Smith 28946d4b87 Order impl matching by type structure (#2691) il y a 3 ans
  Jon Ross-Perkins 9e1a5cfaee Reuse EnumBase for interpreter's Builtin enum (#2688) il y a 3 ans
  Richard Smith bfe5c36bfc Move `Value`, `Address`, and `ElementPath` to ast/. (#2659) il y a 3 ans
  Richard Smith 2717dc1097 Decouple `Value` from interpreter-specific representation of continuations. (#2658) il y a 3 ans
  Jon Ross-Perkins 9df70fb115 Disable most tracing in the prelude. (#2616) il y a 3 ans
  Richard Smith 0e41c569b1 Implement the termination algorithm for impl selection described in #2458 (#2602) il y a 3 ans
  Adrien Leravat 026c4b9dc3 Explorer: move subtyping logic to TypeChecker (#2484) il y a 3 ans
  Richard Smith 43283cb516 Add `Value` decomposition and use it to implement `Substitute` (#2389) il y a 3 ans
  Adrien Leravat e37a69a6d5 Destroy class hierarchy when destroying class with a `base` (#2378) il y a 3 ans
  Adrien Leravat 563768c6d3 Explorer: split `Member` into dedicated classes (#2421) il y a 3 ans
  Adrien Leravat 46f4887cf7 Explorer: support `.base` to initialize parent class from struct (#2361) il y a 3 ans
  Richard Smith 9feff92f22 Track witnesses wherever possible (#2263) il y a 3 ans
  pmqtt cfa295c0af Feature destructor (#2116) il y a 3 ans
  Richard Smith 0191e2e41e implement checking for pattern match exhaustiveness and for unreachable cases (#2164) il y a 3 ans