|
|
|
@673cd63
|
7 years |
Thierry Delisle |
Merge branch 'master' into ctxswitch
ADT
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@1bc5975
|
7 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@3fcbdca1
|
7 years |
Thierry Delisle |
Moved compilation to use O3/Og instead of O2/O0 for both cfa-cpp and libcfa
ADT
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@114936a
|
7 years |
Thierry Delisle |
google perftools are now linked in by default if available
ADT
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@bd405fa
|
7 years |
a3moss |
thesis: final edits
ADT
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@98b4b12
|
7 years |
a3moss |
Merge remote-tracking branch 'origin/aaron-thesis'
ADT
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@f343c6b
|
7 years |
a3moss |
Merge remote-tracking branch 'origin/aaron-thesis'
ADT
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@f845e80
|
7 years |
a3moss |
thesis: apply round 2 revisions and strip change bars
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@69c37cc
|
7 years |
a3moss |
thesis: spelling and grammar fixes
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@5d3a952
|
7 years |
a3moss |
thesis: fix overfull hbox warnings
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@ffaedcd
|
7 years |
pabuhr |
clean up
ADT
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@39de1c5
|
7 years |
a3moss |
move formalization paragraph to introduction
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@ec92b48
|
7 years |
a3moss |
thesis: add comments on CFA formalization
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@71a12390
|
7 years |
a3moss |
thesis: address comment about MaxSAT
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@6eed619
|
7 years |
a3moss |
thesis: add reference to concurrent hash tries
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@70eaa80b
|
7 years |
a3moss |
thesis: update discussion of Java type inference
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@3b40801b
|
7 years |
a3moss |
thesis: add changebars
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@c4b5486
|
7 years |
a3moss |
thesis: integrate defence answers as clarifications into thesis
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@ffe2fad
|
7 years |
Thierry Delisle |
Fixed several warnings in libcfa
ADT
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|
|
|
|
@cf01d0b
|
7 years |
a3moss |
thesis: typo-fixing revisions from Werner, Ondrej
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
stuck-waitfor-destruct
|