|
|
|
@63bde81
|
5 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@12a1013
|
5 years |
caparson |
fixed wait counter
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@fcaa1e4
|
5 years |
ajbeach |
Andrew MMath: Updated the introduction/background section.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@d2278e9
|
5 years |
ajbeach |
Some resumption benchmarks were actually testing termination.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@e19fadd
|
5 years |
ajbeach |
Fixed an error in exception benchmarks. C++ conditional catch was reversed.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@63e3ed8
|
5 years |
ajbeach |
Added Python versions of the exception benchmarks.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@9f77301
|
5 years |
pabuhr |
formatting
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@fcd1a469
|
5 years |
pabuhr |
formatting, add short form for -XCFA options
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@e7a63e3
|
5 years |
pabuhr |
formatting
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@93bbbc4
|
5 years |
pabuhr |
update parser for vtable declarations
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@b16e15e
|
5 years |
Thierry Delisle |
fix mutex_test to not user $thread
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@cc64be1d
|
5 years |
ajbeach |
Added VTableType to the conversion passes.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@ccb6fd8
|
5 years |
Thierry Delisle |
Fix CodeLocation boiler-plate for vtable
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@3945abe
|
5 years |
Thierry Delisle |
New-AST boilerplate for vtable
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@b238618
|
5 years |
ajbeach |
Added VTableType to the new ast.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@7ff35e0e
|
5 years |
Thierry Delisle |
Implemented old ast boiler-plate for vtabletype.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@ca69a8a
|
5 years |
ajbeach |
Quickly added VTableType node to the old ast.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@801978b
|
5 years |
mlbrooks |
GenPoly field-number selection for dynamic layouts uses uniqueId to …
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|