|
|
|
@c0f9efe
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b69233ac
|
6 years |
a3moss |
Port assertion satisfaction to new AST
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@1ae47de
|
6 years |
ajbeach |
Convert now handles attributes on types.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@17a0ede2
|
6 years |
a3moss |
Further resolver porting; finish initial draft of expression handling
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@3fc0f2a
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@c829320
|
6 years |
a3moss |
Hoist attributes back up to Type in new AST
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@5aa4656
|
6 years |
ajbeach |
Filled in SpecCost and PolyCost for the new ast.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@f52ce6e
|
6 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@4487667
|
6 years |
pabuhr |
fix small wording problems in concurrency paper from Section 5 to end
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@73edfe9
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@898ae07
|
6 years |
a3moss |
More resolver porting
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b408364
|
6 years |
a3moss |
Correct over-aggressive assertion pruning
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@a2a85658
|
6 years |
mlbrooks |
Fixed conversion of tuple assignments to reuse the common part …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@c8e4d2f8
|
6 years |
a3moss |
Start porting CastExpr resolution
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@bc92bee
|
6 years |
ajbeach |
Implemented Tuples::maybeImpure while it was fresh in my mind.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@07ca4dd
|
6 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@8220e50
|
6 years |
pabuhr |
fix small wording problems in concurrency paper up to Section 5
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@54b3fde
|
6 years |
pabuhr |
formatting
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@ea05f8d
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@9d5089e
|
6 years |
a3moss |
Port CandidateFinder::makeFunctionCandidates() and deps
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@e6faef4
|
6 years |
ajbeach |
One DeclWithType::asmName conversion was missing.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b910d15
|
6 years |
ajbeach |
Implemented new versions of Tuples/Explode.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6e55240
|
6 years |
mlbrooks |
Fixed tuple expressions crashing on code gen when convert-convert run …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@800bae1
|
6 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@89faa82
|
6 years |
pabuhr |
PDF for first version of concurrency paper
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@bd12159
|
6 years |
pabuhr |
complete draft for second version of concurrency paper
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@aba20d2
|
6 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@8b34df0
|
6 years |
Thierry Delisle |
Removed incorrect copying in InferredParameters conversion
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@120a28c3
|
6 years |
Thierry Delisle |
Added support for address-sanitizer which requires disabling Heap …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b4d34fa
|
6 years |
mlbrooks |
add previously ignored file---goes with Fixed handling of literals.cfa
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@c36298d
|
6 years |
mlbrooks |
Fixed handling of "literals.cfa" string-detail test cases by …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@462a7c7
|
6 years |
Thierry Delisle |
Removed non-moving assignment on ParamEntry to help debugging
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6a1dfda
|
6 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@dc5072f
|
6 years |
pabuhr |
remove const char * input because of error
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6896548
|
6 years |
mlbrooks |
Fixed convert-convert issues with strings, when conversion happens …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@d76f32c
|
6 years |
ajbeach |
ast::UniqueExpr was not having one of its fields initialized.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@d60780c
|
6 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@d7a02ae
|
6 years |
pabuhr |
first complete draft of new concurrency paper
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@21300d7
|
6 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@aaeacf4
|
6 years |
Thierry Delisle |
Removed global look-up table from UniqueId to Decl
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6625727
|
6 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@04396aa
|
6 years |
pabuhr |
formatting, add const char * and char * sin operators, add skip( n ) …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@432ce7a
|
6 years |
a3moss |
Port CandidateFinder::postvisit for UntypedExpr, stub dependencies
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@4b7cce6
|
6 years |
a3moss |
Fill in CandidateFinder boilerplate in resolver port
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@3da7c19
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@d57e349
|
6 years |
a3moss |
More resolver porting
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@8548c35
|
6 years |
pabuhr |
fix 32-bit test
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6ad19fd
|
6 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b326277
|
6 years |
pabuhr |
add cast to prevent infinite type resolution
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@86a8be5
|
6 years |
pabuhr |
not wd with char type, and update test appropriately
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@396037d
|
6 years |
a3moss |
Start stubbing CandidateFinder in
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@5485e101
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@2773ab8
|
6 years |
a3moss |
Add new resolver overload for WaitForStmt
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@558d13b
|
6 years |
mlbrooks |
fix conversion bug in constants; string constants were being mistaken …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6949c45
|
6 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@891b827
|
6 years |
pabuhr |
change type of wd and pc, fix missing scanset initialization
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b117e0c
|
6 years |
pabuhr |
formatting
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@f9a7cf0
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@2d11663
|
6 years |
a3moss |
resolver porting; finish top level of initialization
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@ca8824d
|
6 years |
pabuhr |
add manipulator input and output tests
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6e3e0717
|
6 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6355ba7
|
6 years |
Thierry Delisle |
Removed debugging prints which are no longer useful
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@a62749f
|
6 years |
ajbeach |
Better support for loose labels.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@e7f8119
|
6 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@61c7239
|
6 years |
pabuhr |
first attempt input/output manipulators
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@1e6ea4e1
|
6 years |
pabuhr |
formatting, add builtin_complex
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@46438e4
|
6 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@05d55ff
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@60aaa51d
|
6 years |
a3moss |
More resolver porting; mostly CurrentObject
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@9856ca9
|
6 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@e16e27e1
|
6 years |
Thierry Delisle |
Fix to WithGuards accessory which didn't work
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@be8518f
|
6 years |
ajbeach |
Fixed up AssertAcyclic.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@ef75948
|
6 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@4e5e6cc
|
6 years |
Thierry Delisle |
Fixed indentation and remove too strict abort
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@9151fcb
|
6 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@0b73f0c
|
6 years |
Thierry Delisle |
More progress on the conversion pass
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@866545b
|
6 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@5684736
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@2b59f55
|
6 years |
a3moss |
More resolver porting
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@7cc0344
|
6 years |
ajbeach |
Added a checker that should help debug cycles in new AST.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@1a4323e
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@f46bfd2f
|
6 years |
Thierry Delisle |
Removed extraneous prints
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@8c0d801
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b7d92b96
|
6 years |
a3moss |
More resolver porting
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@d3b2c32a
|
6 years |
a3moss |
Add limit to number of recursive assertions tried at once
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@546e712
|
6 years |
Thierry Delisle |
Fix for 1 bug of N
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@2a54479
|
6 years |
ajbeach |
Convert persevers Validate::SizeType. Removed the inCache checks I'm …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@dd857bb
|
6 years |
pabuhr |
fix expected output
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@c6a1e8a
|
6 years |
pabuhr |
fix conflicit
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@3cd5fdd
|
6 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@99d4584
|
6 years |
a3moss |
Further stubs for resolver port
* also switched order of constructor …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@8568319
|
6 years |
mlbrooks |
fixed string constants getting extra quotes on roundtrip conversion
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@54d4c0e
|
6 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@0ce063b
|
6 years |
Thierry Delisle |
DeclReplacer now returns number of node changed
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@4864a73
|
6 years |
Thierry Delisle |
Added chain mutation and example use in resolver
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@7c608d5
|
6 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@300fbee
|
6 years |
pabuhr |
remove incorrect -n option {fixes #131]
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@2a8f0c1
|
6 years |
a3moss |
Add first ported resolver function
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@d4b6638
|
6 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@4741dfe
|
6 years |
Thierry Delisle |
Better error printing on yesterday's fix
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|