source: src @ 3d60c08

Name Size Rev Age Author Last Change
CodeGen d7312ac   6 years pabuhr make directives work and use them to remove warnings
Common b6d7f44   6 years pabuhr adjust compiler specific #if
Docs 843054c2   9 years pabuhr licencing: seventh groups of files
driver af39199d   6 years pabuhr add and use search routine
examples af0c8da   7 years pabuhr move polymorphic sum to tests directory
libcfa 01ff4e1   6 years pabuhr remove unused file
prelude b91e8c1   6 years pabuhr formatting
SymTab 6926a6d   6 years pabuhr fixes for gcc-7/8
Concurrency 9a705dc8   6 years Rob Schluntz Implement concurrency keyword casts
ControlStruct 7862059   6 years Rob Schluntz Change VarExprReplacer? to DeclReplacer? and implement TypeInstType?
GenPoly 57acae0   6 years Rob Schluntz Update condition for adding cast to address-of-reference, update debug …
include be151bf   7 years Rob Schluntz Minor cleanup in InsertImplicitCalls? and augment assert in …
InitTweak a0c7d5cc   6 years Rob Schluntz Fix self assignment warning for non-standard assignment operators
Parser cc32d83   6 years Rob Schluntz Push pragma directives through the translator
ResolvExpr 6f326b1   6 years Rob Schluntz Add type variables from function alternative to the type environment …
SynTree cc32d83   6 years Rob Schluntz Push pragma directives through the translator
Tuples 938dd75   6 years Rob Schluntz Fix a missing type binding problem in tuple assignment
benchmark 9d32bc8   6 years Thierry Delisle Fixed benchmarks for non-cforall code
CodeTools a16764a6   6 years Thierry Delisle Changed warning system to prepare for toggling warnings
tests b68fc85   6 years Thierry Delisle Added more checks to preempt test to make sure preemption stays enabled
Virtual 08fc48f   7 years Thierry Delisle Big header cleaning pass - commit 1 19.5 KB c5e5109   6 years pabuhr give -w flag highest priority
MakeLibCfa.h 686 bytes 6b0b624   7 years pabuhr change #ifndef to #pragma once 300.2 KB c9d5c4f   6 years Rob Schluntz fix missing compile for 5.0 KB ba3706f   7 years Rob Schluntz Remove label lists from various Statement constructors 1.5 KB 4e9c7c1   7 years Thierry Delisle Update lex.ll to no longer require, since it has name …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.