|
|
|
@1ed9cb63
|
4 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@c600df1
|
4 years |
ajbeach |
Added ast::WithConstTranslationUnit to give access to the surrounding …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@148ba7d
|
4 years |
ajbeach |
Added a return value to WithGuards::GuardValue so you can save the old …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@a36eb2d
|
4 years |
ajbeach |
First translation of the Gen Init pass. Passed the tests.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@da6396f
|
4 years |
ajbeach |
Looks like Henry's MakeLibCfa worked this entire time.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@55cbff8
|
4 years |
ajbeach |
Added new ast resolver prototype support. Not exactly the same but …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@efc8f3e
|
4 years |
pabuhr |
change loop default-block for while/do/for to Python style
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@a73c16e
|
4 years |
pabuhr |
parse loop default-block for while/do/for
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@d4d4ac8
|
4 years |
pabuhr |
remove discussion of I/O acquire and replace with mutex statement, add …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@321a1b15
|
4 years |
pabuhr |
change getANL to getANL$ (private), change eof to return bool versus …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@c8371b5
|
4 years |
pabuhr |
change getANL to getANL$ (private)
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@fe8c31e
|
4 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@05c941a
|
4 years |
pabuhr |
change mutex expression syntax from mutex@ to mutex(), add rule to …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@68fe946e
|
4 years |
ajbeach |
Updated DeclStats for the new ast. Also fixed a bug in the old …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@237df76
|
4 years |
pabuhr |
convert from test programs I/O acquire to mutex statement
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@8dcb832
|
4 years |
pabuhr |
remove mutual-exclusion acquire for streams, add EINTR restarts for C …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@e16eb460
|
4 years |
pabuhr |
further restrict locations where @ occurs, remove empty argument list …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@96f01d7f
|
4 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@7ce2483
|
4 years |
pabuhr |
formatting, remove release, and update lock/unlock for use with mutex …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@172a88d
|
4 years |
Thierry Delisle |
Tests now count failures, passes, timeouts and report the number
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
|
@8a039be
|
4 years |
Thierry Delisle |
Fixed options to correctly default to the default.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|