|
|
@8a97248
|
3 years |
pabuhr |
switch from old trait syntax to new trait syntax using forall clause
ADT
ast-experimental
|
|
|
@ef1da0e2
|
3 years |
f37yu |
try to make parameter qualifier conversion work for assertions
ADT
ast-experimental
pthread-emulation
|
|
|
@c18bf9e
|
3 years |
Thierry Delisle |
Visibility concurrency
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@a1574e2
|
4 years |
Thierry Delisle |
Forgot this was needed for the non-VLA commit.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@af67ee1
|
4 years |
caparson |
Added support for locks as parameters to mutex stmt
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
|
|
@6cebfef
|
4 years |
caparson |
added mutex stmt monitor
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@e84ab3d
|
4 years |
Thierry Delisle |
Step 1 of changing $thread to thread$
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@e0b8d66d
|
5 years |
Thierry Delisle |
Fix bug in delete for mutexed pointer.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@fd54fef
|
5 years |
mlbrooks |
Converting the project to use the new syntax for otype, dtype and …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@1f58c62
|
5 years |
Thierry Delisle |
Added signal_all function.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@77a2994
|
5 years |
Thierry Delisle |
Implemented joining of threads.
It behaves very similarly to monitor …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@ac2b598
|
6 years |
Thierry Delisle |
Changed descriptors for concurrency to use $ prefix instead of …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@50b8885
|
6 years |
Thierry Delisle |
Removed owner reason from monitors which was only for debug and did …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@3381ed7
|
6 years |
Thierry Delisle |
Added park/unpark primitives thread and removed BlockInternal. …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@121be3e
|
6 years |
pabuhr |
change NULL to 0p
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6c3a5ac1
|
6 years |
Thierry Delisle |
Added better check to guarantee proper includes are present when using …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@58b6d1b
|
7 years |
Thierry Delisle |
Fixed tests after headers change
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
deferred_resn
demangler
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
no_list
persistent-indexer
pthread-emulation
qualifiedEnum
|
|
|
@73abe95
|
7 years |
Thierry Delisle |
Replace extension-less headers with .hfa
ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
deferred_resn
demangler
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
no_list
persistent-indexer
pthread-emulation
qualifiedEnum
|