../
|
AssertAcyclic.cpp
|
1.1 KB
|
be8518f
|
5 years
|
ajbeach |
Fixed up AssertAcyclic?.
|
AssertAcyclic.hpp
|
755 bytes
|
be8518f
|
5 years
|
ajbeach |
Fixed up AssertAcyclic?.
|
Attribute.cpp
|
1.4 KB
|
0b57626
|
5 years
|
ajbeach |
Silenced a warning and removed trailing whitespace.
|
Attribute.hpp
|
1.5 KB
|
99da267
|
5 years
|
mlbrooks |
Running a deep-copy on FunctionType? at RenameVars? time. This manual …
|
Bitfield.hpp
|
2.0 KB
|
93744b5
|
5 years
|
ajbeach |
The bitfield template makes sure it is working on an unsigned val, …
|
Chain.hpp
|
1.7 KB
|
4864a73
|
5 years
|
Thierry Delisle |
Added chain mutation and example use in resolver
|
Convert.cpp
|
72.6 KB
|
f6cc734e
|
5 years
|
mlbrooks |
Fixing new-resolver bug with incorrectly reused FunctionType? pieces in …
|
Convert.hpp
|
766 bytes
|
74dbbf6
|
5 years
|
ajbeach |
ConverterNewToOld? boiler-plate code.
|
Copy.hpp
|
3.3 KB
|
99da267
|
5 years
|
mlbrooks |
Running a deep-copy on FunctionType? at RenameVars? time. This manual …
|
CVQualifiers.hpp
|
2.2 KB
|
8a5530c
|
5 years
|
Thierry Delisle |
Fixed FunctionType? cast, fixed maybe_accept, implemented statement …
|
Decl.cpp
|
3.4 KB
|
e0e9a0b
|
5 years
|
a3moss |
Somewhat deeper clone for types with forall qualifiers.
* Added …
|
Decl.hpp
|
12.0 KB
|
99da267
|
5 years
|
mlbrooks |
Running a deep-copy on FunctionType? at RenameVars? time. This manual …
|
DeclReplacer.cpp
|
2.8 KB
|
e9b44489
|
5 years
|
Thierry Delisle |
Implemented declReplacer
|
DeclReplacer.hpp
|
1.1 KB
|
e9b44489
|
5 years
|
Thierry Delisle |
Implemented declReplacer
|
Eval.hpp
|
903 bytes
|
417117e
|
5 years
|
a3moss |
Assorted cleanup
|
Expr.cpp
|
11.7 KB
|
2890212
|
5 years
|
Thierry Delisle |
Startup.cfa now compiles with new ast
|
Expr.hpp
|
26.0 KB
|
99da267
|
5 years
|
mlbrooks |
Running a deep-copy on FunctionType? at RenameVars? time. This manual …
|
ForallSubstitutionTable.cpp
|
1.4 KB
|
e0e9a0b
|
5 years
|
a3moss |
Somewhat deeper clone for types with forall qualifiers.
* Added …
|
ForallSubstitutionTable.hpp
|
1.4 KB
|
e0e9a0b
|
5 years
|
a3moss |
Somewhat deeper clone for types with forall qualifiers.
* Added …
|
ForallSubstitutor.hpp
|
1.7 KB
|
e0e9a0b
|
5 years
|
a3moss |
Somewhat deeper clone for types with forall qualifiers.
* Added …
|
FunctionSpec.hpp
|
1.0 KB
|
9e1d485
|
5 years
|
a3moss |
First draft of ast::Type with subclasses
|
Fwd.hpp
|
2.4 KB
|
fb2bde4
|
5 years
|
ajbeach |
ConversionCost? has been ported to the new AST.
|
GenericSubstitution.cpp
|
1.7 KB
|
60aaa51d
|
5 years
|
a3moss |
More resolver porting; mostly CurrentObject?
|
GenericSubstitution.hpp
|
665 bytes
|
60aaa51d
|
5 years
|
a3moss |
More resolver porting; mostly CurrentObject?
|
Init.cpp
|
1.3 KB
|
87701b6
|
5 years
|
Thierry Delisle |
Tentative fix for increment/decrement and implented a few more visits
|
Init.hpp
|
4.2 KB
|
99da267
|
5 years
|
mlbrooks |
Running a deep-copy on FunctionType? at RenameVars? time. This manual …
|
Label.hpp
|
1.4 KB
|
94b1f718
|
5 years
|
a3moss |
Add some Stmt printers
|
LinkageSpec.cpp
|
1.5 KB
|
87701b6
|
5 years
|
Thierry Delisle |
Tentative fix for increment/decrement and implented a few more visits
|
LinkageSpec.hpp
|
2.1 KB
|
7f3f63c
|
5 years
|
Thierry Delisle |
Unions now correctly use bitfields from previous commit
|
module.mk
|
969 bytes
|
e0e9a0b
|
5 years
|
a3moss |
Somewhat deeper clone for types with forall qualifiers.
* Added …
|
Node.cpp
|
17.7 KB
|
7d0881c
|
5 years
|
mlbrooks |
Aaron added decrement-without delete option to Node infrastructure
|
Node.hpp
|
7.6 KB
|
2890212
|
5 years
|
Thierry Delisle |
Startup.cfa now compiles with new ast
|
ParseNode.hpp
|
1.2 KB
|
87701b6
|
5 years
|
Thierry Delisle |
Tentative fix for increment/decrement and implented a few more visits
|
Pass.cpp
|
521 bytes
|
b0abc8a0
|
5 years
|
Thierry Delisle |
Fixed errors in the pass visitor
|
Pass.hpp
|
16.9 KB
|
e67991f
|
5 years
|
Thierry Delisle |
WithStmt? is now a Declaration
|
Pass.impl.hpp
|
55.8 KB
|
e67991f
|
5 years
|
Thierry Delisle |
WithStmt? is now a Declaration
|
Pass.proto.hpp
|
14.2 KB
|
e0e9a0b
|
5 years
|
a3moss |
Somewhat deeper clone for types with forall qualifiers.
* Added …
|
porting.md
|
12.4 KB
|
b69233ac
|
5 years
|
a3moss |
Port assertion satisfaction to new AST
|
Print.cpp
|
35.7 KB
|
e67991f
|
5 years
|
Thierry Delisle |
WithStmt? is now a Declaration
|
Print.hpp
|
1.0 KB
|
432ce7a
|
5 years
|
a3moss |
Port CandidateFinder::postvisit for UntypedExpr?, stub dependencies
|
Stmt.cpp
|
2.8 KB
|
d8938622
|
5 years
|
a3moss |
Broken GenericSubstitution? version
|
Stmt.hpp
|
12.3 KB
|
99da267
|
5 years
|
mlbrooks |
Running a deep-copy on FunctionType? at RenameVars? time. This manual …
|
StorageClasses.hpp
|
1.2 KB
|
9e1d485
|
5 years
|
a3moss |
First draft of ast::Type with subclasses
|
SymbolTable.cpp
|
23.1 KB
|
e67991f
|
5 years
|
Thierry Delisle |
WithStmt? is now a Declaration
|
SymbolTable.hpp
|
8.0 KB
|
e67991f
|
5 years
|
Thierry Delisle |
WithStmt? is now a Declaration
|
Type.cpp
|
6.5 KB
|
e0e9a0b
|
5 years
|
a3moss |
Somewhat deeper clone for types with forall qualifiers.
* Added …
|
Type.hpp
|
17.5 KB
|
99da267
|
5 years
|
mlbrooks |
Running a deep-copy on FunctionType? at RenameVars? time. This manual …
|
TypeEnvironment.cpp
|
13.3 KB
|
ee574a2
|
5 years
|
a3moss |
Port CommonType? to new AST
|
TypeEnvironment.hpp
|
8.3 KB
|
2890212
|
5 years
|
Thierry Delisle |
Startup.cfa now compiles with new ast
|
TypeSubstitution.cpp
|
6.2 KB
|
2890212
|
5 years
|
Thierry Delisle |
Startup.cfa now compiles with new ast
|
TypeSubstitution.hpp
|
7.1 KB
|
2890212
|
5 years
|
Thierry Delisle |
Startup.cfa now compiles with new ast
|
TypeVar.hpp
|
705 bytes
|
9e1d485
|
5 years
|
a3moss |
First draft of ast::Type with subclasses
|
Visitor.hpp
|
8.6 KB
|
e67991f
|
5 years
|
Thierry Delisle |
WithStmt? is now a Declaration
|