| 
              ../
             | 
          
  | 
    Visitor.hpp
   | 
  
    8.7 KB
    
   | 
  
    37cdd97
     
   | 
  
    6 years
   | 
  Thierry Delisle | 
  
    Added a ast node for suspend statements
   | 
  | 
    TypeSubstitution.hpp
   | 
  
    7.2 KB
    
   | 
  
    98e8b3b
     
   | 
  
    5 years
   | 
  ajbeach | 
  
    ast::ReferenceToType is now ast::BaseInstType.
   | 
  | 
    TypeSubstitution.cpp
   | 
  
    6.3 KB
    
   | 
  
    98e8b3b
     
   | 
  
    5 years
   | 
  ajbeach | 
  
    ast::ReferenceToType is now ast::BaseInstType.
   | 
  | 
    TypeEnvironment.hpp
   | 
  
    8.3 KB
    
   | 
  
    07de76b
     
   | 
  
    6 years
   | 
  pabuhr | 
  
    remove file TypeVar.h* and put TypeVar::Kind into TypeDecl, move …
   | 
  | 
    TypeEnvironment.cpp
   | 
  
    13.4 KB
    
   | 
  
    cd6a6ff
     
   | 
  
    5 years
   | 
  Thierry Delisle | 
  
    Improved coverage of deterministic_output to be much finer grain.
   | 
  | 
    Type.hpp
   | 
  
    16.8 KB
    
   | 
  
    cd6a6ff
     
   | 
  
    5 years
   | 
  Thierry Delisle | 
  
    Improved coverage of deterministic_output to be much finer grain.
   | 
  | 
    Type.cpp
   | 
  
    7.0 KB
    
   | 
  
    cd6a6ff
     
   | 
  
    5 years
   | 
  Thierry Delisle | 
  
    Improved coverage of deterministic_output to be much finer grain.
   | 
  | 
    TranslationUnit.hpp
   | 
  
    849 bytes
    
   | 
  
    1be1e5a
     
   | 
  
    5 years
   | 
  ajbeach | 
  
    Added the TranslationUnit class to avoid globals.
   | 
  | 
    SymbolTable.hpp
   | 
  
    8.8 KB
    
   | 
  
    e5c3811
     
   | 
  
    5 years
   | 
  f37yu | 
  
    create dedicated symbol tables for big 3 operators
note: arbitrary …
   | 
  | 
    SymbolTable.cpp
   | 
  
    27.4 KB
    
   | 
  
    e5c3811
     
   | 
  
    5 years
   | 
  f37yu | 
  
    create dedicated symbol tables for big 3 operators
note: arbitrary …
   | 
  | 
    StorageClasses.hpp
   | 
  
    1.2 KB
    
   | 
  
    9e1d485
     
   | 
  
    6 years
   | 
  a3moss | 
  
    First draft of ast::Type with subclasses
   | 
  | 
    Stmt.hpp
   | 
  
    12.8 KB
    
   | 
  
    37cdd97
     
   | 
  
    6 years
   | 
  Thierry Delisle | 
  
    Added a ast node for suspend statements
   | 
  | 
    Stmt.cpp
   | 
  
    2.8 KB
    
   | 
  
    d8938622
     
   | 
  
    6 years
   | 
  a3moss | 
  
    Broken GenericSubstitution version
   | 
  | 
    Print.hpp
   | 
  
    1.0 KB
    
   | 
  
    432ce7a
     
   | 
  
    6 years
   | 
  a3moss | 
  
    Port CandidateFinder::postvisit for UntypedExpr, stub dependencies
   | 
  | 
    Print.cpp
   | 
  
    36.5 KB
    
   | 
  
    cd6a6ff
     
   | 
  
    5 years
   | 
  Thierry Delisle | 
  
    Improved coverage of deterministic_output to be much finer grain.
   | 
  | 
    porting.md
   | 
  
    13.1 KB
    
   | 
  
    3aec25f
     
   | 
  
    5 years
   | 
  ajbeach | 
  
    Some clean-up of new-ast types and the porting document.
   | 
  | 
    Pass.proto.hpp
   | 
  
    15.5 KB
    
   | 
  
    a056f56
     
   | 
  
    5 years
   | 
  Thierry Delisle | 
  
    Fixed forward declaration of TranslationUnit
   | 
  | 
    Pass.impl.hpp
   | 
  
    58.5 KB
    
   | 
  
    e00c22f
     
   | 
  
    5 years
   | 
  f37yu | 
  
    someone liked snake_case
   | 
  | 
    Pass.hpp
   | 
  
    19.2 KB
    
   | 
  
    293dc1c
     
   | 
  
    5 years
   | 
  ajbeach | 
  
    TranslationUnit is now used at the top-level of the new-ast passes.
   | 
  | 
    Pass.cpp
   | 
  
    521 bytes
    
   | 
  
    b0abc8a0
     
   | 
  
    6 years
   | 
  Thierry Delisle | 
  
    Fixed errors in the pass visitor
   | 
  | 
    ParseNode.hpp
   | 
  
    1.2 KB
    
   | 
  
    87701b6
     
   | 
  
    6 years
   | 
  Thierry Delisle | 
  
    Tentative fix for increment/decrement and implented a few more visits
   | 
  | 
    Node.hpp
   | 
  
    8.0 KB
    
   | 
  
    490fb92e
     
   | 
  
    5 years
   | 
  f37yu | 
  
    move FixInit to new ast
   | 
  | 
    Node.cpp
   | 
  
    18.4 KB
    
   | 
  
    98e8b3b
     
   | 
  
    5 years
   | 
  ajbeach | 
  
    ast::ReferenceToType is now ast::BaseInstType.
   | 
  | 
    module.mk
   | 
  
    1.6 KB
    
   | 
  
    5339a87
     
   | 
  
    5 years
   | 
  Thierry Delisle | 
  
    Added headers to Makefile Sources (since they are supposed to be)
   | 
  | 
    LinkageSpec.hpp
   | 
  
    2.1 KB
    
   | 
  
    7f3f63c
     
   | 
  
    6 years
   | 
  Thierry Delisle | 
  
    Unions now correctly use bitfields from previous commit
   | 
  | 
    LinkageSpec.cpp
   | 
  
    1.5 KB
    
   | 
  
    87701b6
     
   | 
  
    6 years
   | 
  Thierry Delisle | 
  
    Tentative fix for increment/decrement and implented a few more visits
   | 
  | 
    Label.hpp
   | 
  
    1.4 KB
    
   | 
  
    94b1f718
     
   | 
  
    6 years
   | 
  a3moss | 
  
    Add some Stmt printers
   | 
  | 
    Init.hpp
   | 
  
    4.2 KB
    
   | 
  
    16ba4a6f
     
   | 
  
    5 years
   | 
  f37yu | 
  
    factor out resolver calls in pre-resolution stage
   | 
  | 
    Init.cpp
   | 
  
    1.3 KB
    
   | 
  
    87701b6
     
   | 
  
    6 years
   | 
  Thierry Delisle | 
  
    Tentative fix for increment/decrement and implented a few more visits
   | 
  | 
    GenericSubstitution.hpp
   | 
  
    665 bytes
    
   | 
  
    60aaa51d
     
   | 
  
    6 years
   | 
  a3moss | 
  
    More resolver porting; mostly CurrentObject
   | 
  | 
    GenericSubstitution.cpp
   | 
  
    1.7 KB
    
   | 
  
    98e8b3b
     
   | 
  
    5 years
   | 
  ajbeach | 
  
    ast::ReferenceToType is now ast::BaseInstType.
   | 
  | 
    Fwd.hpp
   | 
  
    2.8 KB
    
   | 
  
    a056f56
     
   | 
  
    5 years
   | 
  Thierry Delisle | 
  
    Fixed forward declaration of TranslationUnit
   | 
  | 
    FunctionSpec.hpp
   | 
  
    1.0 KB
    
   | 
  
    9e1d485
     
   | 
  
    6 years
   | 
  a3moss | 
  
    First draft of ast::Type with subclasses
   | 
  | 
    ForallSubstitutor.hpp
   | 
  
    1.9 KB
    
   | 
  
    954c954
     
   | 
  
    5 years
   | 
  f37yu | 
  
    Move function argument and return variable declarations from …
   | 
  | 
    ForallSubstitutionTable.hpp
   | 
  
    1.4 KB
    
   | 
  
    e0e9a0b
     
   | 
  
    6 years
   | 
  a3moss | 
  
    Somewhat deeper clone for types with forall qualifiers.
* Added …
   | 
  | 
    ForallSubstitutionTable.cpp
   | 
  
    1.4 KB
    
   | 
  
    4e13e2a
     
   | 
  
    6 years
   | 
  Thierry Delisle | 
  
    Added setting of result in Comma expression.
Added asserts in …
   | 
  | 
    Expr.hpp
   | 
  
    27.2 KB
    
   | 
  
    bb87dd0
     
   | 
  
    5 years
   | 
  mlbrooks | 
  
    Fixing test init1-ERROR on new ast.  Applying equivalent of b81fd95, …
   | 
  | 
    Expr.cpp
   | 
  
    13.9 KB
    
   | 
  
    490fb92e
     
   | 
  
    5 years
   | 
  f37yu | 
  
    move FixInit to new ast
   | 
  | 
    Eval.hpp
   | 
  
    903 bytes
    
   | 
  
    417117e
     
   | 
  
    6 years
   | 
  a3moss | 
  
    Assorted cleanup
   | 
  | 
    DeclReplacer.hpp
   | 
  
    1.3 KB
    
   | 
  
    490fb92e
     
   | 
  
    5 years
   | 
  f37yu | 
  
    move FixInit to new ast
   | 
  | 
    DeclReplacer.cpp
   | 
  
    3.3 KB
    
   | 
  
    490fb92e
     
   | 
  
    5 years
   | 
  f37yu | 
  
    move FixInit to new ast
   | 
  | 
    Decl.hpp
   | 
  
    12.6 KB
    
   | 
  
    0292aa4
     
   | 
  
    5 years
   | 
  ajbeach | 
  
    Fixed some formating/cleanlyness mistakes.
   | 
  | 
    Decl.cpp
   | 
  
    4.6 KB
    
   | 
  
    490fb92e
     
   | 
  
    5 years
   | 
  f37yu | 
  
    move FixInit to new ast
   | 
  | 
    CVQualifiers.hpp
   | 
  
    2.2 KB
    
   | 
  
    8a5530c
     
   | 
  
    6 years
   | 
  Thierry Delisle | 
  
    Fixed FunctionType cast, fixed maybe_accept, implemented statement …
   | 
  | 
    Copy.hpp
   | 
  
    3.2 KB
    
   | 
  
    d3aa64f1
     
   | 
  
    5 years
   | 
  f37yu | 
  
    pure visitor interface for new ast
   | 
  | 
    Convert.hpp
   | 
  
    725 bytes
    
   | 
  
    a056f56
     
   | 
  
    5 years
   | 
  Thierry Delisle | 
  
    Fixed forward declaration of TranslationUnit
   | 
  | 
    Convert.cpp
   | 
  
    77.0 KB
    
   | 
  
    23954b6
     
   | 
  
    5 years
   | 
  ajbeach | 
  
    Convert now fills in the globals of the TranslationUnit.
   | 
  | 
    Chain.hpp
   | 
  
    1.7 KB
    
   | 
  
    4864a73
     
   | 
  
    6 years
   | 
  Thierry Delisle | 
  
    Added chain mutation and example use in resolver
   | 
  | 
    Bitfield.hpp
   | 
  
    2.0 KB
    
   | 
  
    93744b5
     
   | 
  
    6 years
   | 
  ajbeach | 
  
    The bitfield template makes sure it is working on an unsigned val, …
   | 
  | 
    Attribute.hpp
   | 
  
    1.5 KB
    
   | 
  
    99da267
     
   | 
  
    6 years
   | 
  mlbrooks | 
  
    Running a deep-copy on FunctionType at RenameVars time.  This manual …
   | 
  | 
    Attribute.cpp
   | 
  
    1.4 KB
    
   | 
  
    0b57626
     
   | 
  
    6 years
   | 
  ajbeach | 
  
    Silenced a warning and removed trailing whitespace.
   | 
  | 
    AssertAcyclic.hpp
   | 
  
    755 bytes
    
   | 
  
    be8518f
     
   | 
  
    6 years
   | 
  ajbeach | 
  
    Fixed up AssertAcyclic.
   | 
  | 
    AssertAcyclic.cpp
   | 
  
    1.1 KB
    
   | 
  
    be8518f
     
   | 
  
    6 years
   | 
  ajbeach | 
  
    Fixed up AssertAcyclic.
   |