Jon Ross-Perkins
|
4d522c8e90
Finish making clang-tidy (mostly) work (again) and run -fix (#2312)
|
il y a 3 ans |
Richard Smith
|
561e45033e
Remove `TypeOf*Type` for types whose type-of-type can just be `Type` (#2302)
|
il y a 3 ans |
Richard Smith
|
4b679510e7
Check equality constraints when checking whether a constraint is satisfied (#2294)
|
il y a 3 ans |
Richard Smith
|
a3329cf004
Diagnose uses of declarations that are too early. (#2288)
|
il y a 3 ans |
Richard Smith
|
b1c50bd6a7
Revert "Fix: Issue #1394 (#2266)" (#2285)
|
il y a 3 ans |
pmqtt
|
6cf2272bbe
Fix: Issue #1394 (#2266)
|
il y a 3 ans |
Richard Smith
|
7f7b9a4086
Implement support for `extends` and `impl as` declarations in interfaces (#2279)
|
il y a 3 ans |
Richard Smith
|
9f534ae004
Implement support for rewrite constraints (#2276)
|
il y a 3 ans |
Richard Smith
|
9feff92f22
Track witnesses wherever possible (#2263)
|
il y a 3 ans |
Richard Smith
|
8f0f69b65f
Remove RuntimeError / CompilationError. (#2258)
|
il y a 3 ans |
Richard Smith
|
2340cb6703
Build value representations for all kinds of witness (#2250)
|
il y a 3 ans |
Richard Smith
|
04d49cebd8
Consistently use a `Witness` rather than an expression to represent a possibly-symbolic witness. (#2245)
|
il y a 3 ans |
pmqtt
|
cfa295c0af
Feature destructor (#2116)
|
il y a 3 ans |
Junhee Cho
|
69d4363ea5
Adds division to multiplicative expression. (#2091)
|
il y a 3 ans |
pmqtt
|
82f8556890
Implementation of __intrinsic_assert (#2155)
|
il y a 3 ans |
pmqtt
|
5ef6e9b6a0
Feature not equal (#2146)
|
il y a 3 ans |
Darshal Shetty
|
037c99e2fb
Explorer: Mixin phase 1 (#2069)
|
il y a 3 ans |
pmqtt
|
f957d4d87d
Feature generic choice (#2042)
|
il y a 3 ans |
Zenong Zhang
|
e6651836df
Fix source code location for dynamic unformed use in `ReturnVar`. (#2035)
|
il y a 3 ans |
pmqtt
|
f754373786
For loop for arrays (#1753)
|
il y a 3 ans |
Geoff Romer
|
4ed8180bc7
Make `Rand` deterministic (#1910)
|
il y a 3 ans |
pmqtt
|
63da070671
add operator to comparsion (#1883)
|
il y a 3 ans |
Richard Smith
|
e26bc32343
Change remaining uses of `Bool` to `bool`, following #750. (#1901)
|
il y a 3 ans |
Richard Smith
|
ef96f60425
Add support for bitwise operators. (#1809)
|
il y a 3 ans |
Thejaswi Kadur
|
5665f32bf7
Support for user-defined Eq impls (#1730)
|
il y a 3 ans |
Adrien Leravat
|
cbd4b8d82d
Add explorer support for short-circuit evaluation for 'and' and 'or' (#1789)
|
il y a 3 ans |
pmqtt
|
df93623741
Extends carbon to generate random number to make samples more interesting (#1643)
|
il y a 3 ans |
pmqtt
|
9f89c63503
Add operator modulo (#1681)
|
il y a 3 ans |
Thejaswi Kadur
|
790e075986
Convert first Print argument to String before evaluating (#1548)
|
il y a 3 ans |
Zenong Zhang
|
075b3aba1b
Implementation of unformed state for global variables. (#1571)
|
il y a 3 ans |