source: src/AST @ 2890212

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Name Size Rev Age Author Last Change
../
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 b69233a   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
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.