| Last change
 on this file since 3df4cd9 was             372b6d3, checked in by Peter A. Buhr <pabuhr@…>, 3 years ago | 
        
          | 
add -invariant/--invariant flag to enable invariant checking during AST passes
 | 
        
          | 
              
Property                 mode
 set to                 100644 | 
        
          | File size:
            1018 bytes | 
      
      
| Rev | Line |  | 
|---|
| [7f38b67a] | 1 | // | 
|---|
|  | 2 | // Cforall Version 1.0.0 Copyright (C) 2018 University of Waterloo | 
|---|
|  | 3 | // | 
|---|
|  | 4 | // The contents of this file are covered under the licence agreement in the | 
|---|
|  | 5 | // file "LICENCE" distributed with Cforall. | 
|---|
|  | 6 | // | 
|---|
|  | 7 | // CompilationState.h -- | 
|---|
|  | 8 | // | 
|---|
|  | 9 | // Author           : Rob Schluntz | 
|---|
|  | 10 | // Created On       : Mon Ju1 30 10:47:01 2018 | 
|---|
| [372b6d3] | 11 | // Last Modified By : Peter A. Buhr | 
|---|
|  | 12 | // Last Modified On : Mon Apr 10 19:12:53 2023 | 
|---|
|  | 13 | // Update Count     : 6 | 
|---|
| [7f38b67a] | 14 | // | 
|---|
|  | 15 |  | 
|---|
|  | 16 | extern int yydebug;                   // set for -g flag (Grammar) | 
|---|
| [3e96559] | 17 | extern int | 
|---|
| [7f38b67a] | 18 | astp, | 
|---|
|  | 19 | bresolvep, | 
|---|
|  | 20 | bboxp, | 
|---|
|  | 21 | bcodegenp, | 
|---|
|  | 22 | ctorinitp, | 
|---|
|  | 23 | declstatsp, | 
|---|
| [00da199] | 24 | exdeclp, | 
|---|
| [7f38b67a] | 25 | exprp, | 
|---|
|  | 26 | expraltp, | 
|---|
|  | 27 | genericsp, | 
|---|
| [372b6d3] | 28 | invariant, | 
|---|
| [7f38b67a] | 29 | libcfap, | 
|---|
|  | 30 | nopreludep, | 
|---|
| [62ce290] | 31 | genproto, | 
|---|
| [7215000] | 32 | deterministic_output, | 
|---|
| [a77257be] | 33 | useNewAST, | 
|---|
| [7f38b67a] | 34 | nomainp, | 
|---|
|  | 35 | resolvep, | 
|---|
| [3b3491b6] | 36 | resolvprotop, | 
|---|
| [7f38b67a] | 37 | symtabp, | 
|---|
|  | 38 | treep, | 
|---|
|  | 39 | tuplep, | 
|---|
|  | 40 | validp, | 
|---|
|  | 41 | errorp, | 
|---|
|  | 42 | codegenp, | 
|---|
|  | 43 | prettycodegenp, | 
|---|
| [1bb9a9a] | 44 | linemarks; | 
|---|
| [7f38b67a] | 45 |  | 
|---|
| [05e6eb5] | 46 | // is the compiler building prelude or libcfa? | 
|---|
|  | 47 | inline bool buildingLibrary() { | 
|---|
|  | 48 | return libcfap | treep; | 
|---|
|  | 49 | } | 
|---|
| [7f38b67a] | 50 |  | 
|---|
|  | 51 | // Local Variables: // | 
|---|
|  | 52 | // tab-width: 4 // | 
|---|
|  | 53 | // mode: c++ // | 
|---|
|  | 54 | // compile-command: "make install" // | 
|---|
|  | 55 | // End:  // | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.