|
|
@e3d4fd1
|
2 years |
pabuhr |
more cleanup of the make-help option
ADT
ast-experimental
|
|
|
@8cb06b6
|
2 years |
caparson |
added waituntil timeout test and added waituntil test that uses …
ADT
ast-experimental
|
|
|
@b3ce76f
|
2 years |
caparson |
resolved merge conflict in makefile changes
ADT
ast-experimental
|
|
|
@386fb57
|
2 years |
caparson |
added invariant flag to test makefile
ADT
ast-experimental
|
|
|
@e2887a9
|
2 years |
pabuhr |
add make-help option and change parenthesis to braces for variables
ADT
ast-experimental
|
|
|
@01de470
|
2 years |
caparson |
added back initially failing test and cleaned up other test
ADT
ast-experimental
|
|
|
@7c2c37a
|
2 years |
caparson |
removed tests made during deadlock debugging
ADT
ast-experimental
|
|
|
@0922716
|
2 years |
caparson |
changed dist-hook rule to use curly braces to access shell vars where …
ADT
ast-experimental
|
|
|
@94672ba
|
2 years |
caparson |
changed variable name in makefile to try and avoid shell command with …
ADT
ast-experimental
|
|
|
@7b53bfd
|
2 years |
caparson |
Eliminating the busy wait spin at the end seems to resolve deadlock. …
ADT
ast-experimental
|
|
|
@c34a1a4
|
2 years |
caparson |
removed uneeded busy wait
ADT
ast-experimental
|
|
|
@e50fce1
|
2 years |
caparson |
added some instrumentation to attempt to glean some insight into …
ADT
ast-experimental
|
|
|
@253a78f
|
2 years |
caparson |
removed some redundant tests and added some instrumentation to help …
ADT
ast-experimental
|
|
|
@330b856
|
2 years |
caparson |
removed tests that are redundant
ADT
ast-experimental
|
|
|
@b5513f1
|
2 years |
caparson |
refactored tests to refine failure case to minimal repro
ADT
ast-experimental
|
|
|
@02fa55e
|
2 years |
caparson |
added zero size channel waituntil test case
ADT
ast-experimental
|
|
|
@a32a887
|
2 years |
caparson |
removed uneeded tests
ADT
ast-experimental
|
|
|
@85e49a6
|
2 years |
caparson |
added and removed some tests in pursuit of a more minimal repro of the …
ADT
ast-experimental
|
|
|
@dd7a8ce
|
2 years |
caparson |
added some variations on failing channel test to try and narrow down …
ADT
ast-experimental
|
|
|
@a882b68
|
2 years |
caparson |
added a test change to help locate the deadlock on next test failure
ADT
ast-experimental
|
|
|
@c083c3d
|
2 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@4daf79f
|
2 years |
pabuhr |
formatting, adjust target names for Makefiles
ADT
ast-experimental
|
|
|
@6e1e2d0
|
2 years |
caparson |
resolved merge conflicts
ADT
ast-experimental
|
|
|
@a50fdfb
|
2 years |
caparson |
added waituntil test expect files
ADT
ast-experimental
|
|
|
@63d5ac5f
|
2 years |
caparson |
removed TODO since it is now done
ADT
ast-experimental
|
|
|
@6c3c51d
|
2 years |
caparson |
removed scoped lock
ADT
ast-experimental
|
|
|
@b9cd3b5
|
2 years |
caparson |
removed clh lock
ADT
ast-experimental
|
|
|
@a33a5e2
|
2 years |
caparson |
added tests for the waituntil stmt
ADT
ast-experimental
|
|
|
@e6d8d11
|
2 years |
pabuhr |
update comment about locale problem with leaked storage
ADT
ast-experimental
|
|
|
@a5ea261
|
2 years |
ajbeach |
The test.py (through Makefile) handles --invariant passing it to the …
ADT
ast-experimental
|
|
|
@6349929
|
2 years |
pabuhr |
fix 32-bit build with new PRNG output
ADT
ast-experimental
|
|
|
@8a2f7f1
|
2 years |
pabuhr |
fix PRNG test to work correctly on ARM
ADT
ast-experimental
|
|
|
@a1b41e3
|
2 years |
pabuhr |
add parsing test for waitfor statement
ADT
ast-experimental
|
|
|
@bb7422a
|
2 years |
ajbeach |
Translated parser to the new ast. This incuded a small fix in the …
ADT
ast-experimental
|
|
|
@3d08cea
|
2 years |
caparson |
Removed unneeded include. Should fix failing channels/churn test.
ADT
ast-experimental
|
|
|
@9319a23
|
2 years |
caparson |
added channel tests that use new termination feature
ADT
ast-experimental
|
|
|
@de934c7
|
2 years |
caparson |
minor changes to channel test harness
ADT
ast-experimental
|
|
|
@1205b3e
|
2 years |
pabuhr |
update 32-bit tests after change to PRNG
ADT
ast-experimental
|
|
|
@90fb672
|
2 years |
pabuhr |
use splitmix32/64 to prime set seed for all PRNG
ADT
ast-experimental
|
|
|
@814a4da
|
2 years |
caparson |
updated expect files for prng based tests
ADT
ast-experimental
|
|
|
@c2dfa56a
|
2 years |
pabuhr |
remove SKULLDUGGERY dealing with CFA typedef numbering problem
ADT
ast-experimental
|
|
|
@dbae916
|
2 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@1950837
|
2 years |
caparson |
added virtual dtor test to actor test suite, updated other relevant …
ADT
ast-experimental
|
|
|
@b2f3880
|
3 years |
pabuhr |
add newline at end of file
ADT
ast-experimental
|
|
|
@02b1ac6
|
3 years |
pabuhr |
formatting
ADT
ast-experimental
|
|
|
@85a95cc
|
3 years |
pabuhr |
add test for problem with anonymous naming across compilation units
ADT
ast-experimental
|
|
|
@e54b4e9
|
3 years |
caparson |
missed this in prev commit
ADT
ast-experimental
|
|
|
@4933f18
|
3 years |
caparson |
added test case to types test and refactored to remove redundant ctor calls
ADT
ast-experimental
|
|
|
@858350a
|
3 years |
caparson |
added poison pill messages and made test for them
ADT
ast-experimental
|
|
|
@809e058
|
3 years |
caparson |
changed actor tests to reflect syntax change and some small changes …
ADT
ast-experimental
|
|
|
@d964c39
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@ce44c5f
|
3 years |
caparson |
Thought of new channel implementation while working on the prevention …
ADT
ast-experimental
|
|
|
@b1ad41f
|
3 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@dd3576b
|
3 years |
pabuhr |
update from old to new trait syntax using forall
ADT
ast-experimental
|
|
|
@44196deb
|
3 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@f9519d4
|
3 years |
pabuhr |
update expected test output for arm64
ADT
ast-experimental
|
|
|
@2e77837
|
3 years |
pabuhr |
update expected test output for 32-bit
ADT
ast-experimental
|
|
|
@f2a1cd2
|
3 years |
pabuhr |
temporary exclusion of include files causing build failure
ADT
ast-experimental
|
|
|
@421703e
|
3 years |
pabuhr |
update expected test output after declaring anonymous structs static
ADT
ast-experimental
|
|
|
@aca0d2f
|
3 years |
pabuhr |
make anonymous struct declaration static
ADT
ast-experimental
|
|
|
@40747247
|
3 years |
pabuhr |
comment out ifaddrs.h in #include file test because it is breaking the …
ADT
ast-experimental
|
|
|
@35d1de5
|
3 years |
pabuhr |
change test forall.cfa from compilation only to execution
ADT
ast-experimental
|
|
|
@2125443a
|
3 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@8a97248
|
3 years |
pabuhr |
switch from old trait syntax to new trait syntax using forall clause
ADT
ast-experimental
|
|
|
@ccf1d99
|
3 years |
caparson |
intermediate push so I can move to nasus to performance test some stuff
ADT
ast-experimental
|
|
|
@1f35220
|
3 years |
caparson |
updated test params so that they ran for appropriate duration
ADT
ast-experimental
|
|
|
@a4ab235
|
3 years |
caparson |
added executor test
ADT
ast-experimental
|
|
|
@dab2b6a
|
3 years |
caparson |
added dynamic allocation actor test
ADT
ast-experimental
|
|
|
@757099e
|
3 years |
caparson |
reverted changes to types.cfa now that I fixed the underlying bug and …
ADT
ast-experimental
|
|
|
@d2b94f2
|
3 years |
caparson |
temporary fix to correct build error, fix in actor pass to come later
ADT
ast-experimental
|
|
|
@1c75ef8
|
3 years |
caparson |
added pingpong test
ADT
ast-experimental
|
|
|
@77ca074
|
3 years |
caparson |
cleaned up actor matrix test a bit
ADT
ast-experimental
|
|
|
@82b96953
|
3 years |
caparson |
added expect files for actor tests
ADT
ast-experimental
|
|
|
@418882af
|
3 years |
caparson |
added two actor tests. More to come
ADT
ast-experimental
|
|
|
@34a1d2e
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@b3d794fc
|
3 years |
caparson |
removed unneeded dependency that broke build
ADT
ast-experimental
|
|
|
@d61d034
|
3 years |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@8bb86ce
|
3 years |
j82liang |
Clean up some code related to Enum codegen
ADT
ast-experimental
|
|
|
@42b739d7
|
3 years |
caparson |
fixed termination synchronization in the channel benchmark to get rid …
ADT
ast-experimental
|
|
|
@b49310f
|
3 years |
caparson |
fixed parameters for test to eliminate deadlock case
ADT
ast-experimental
|
|
|
@dbd47d6
|
3 years |
caparson |
fixed makefile for tests by adding appropriate includes
ADT
ast-experimental
|
|
|
@53ef99a
|
3 years |
caparson |
removed file accidentally included in earlier commit
ADT
ast-experimental
|
|
|
@2cc969c
|
3 years |
caparson |
remove unused expect file due to renaming
ADT
ast-experimental
|
|
|
@73e3a8f9
|
3 years |
caparson |
refactored name of channel test to remove channel from the name
ADT
ast-experimental
|
|
|
@cca034e
|
3 years |
caparson |
added another channel test and refactored the existing one to reuse code
ADT
ast-experimental
|
|
|
@72abfddd
|
3 years |
caparson |
added expect for channel test
ADT
ast-experimental
|
|
|
@afffd6c
|
3 years |
caparson |
removed accidentally committed a.out
ADT
ast-experimental
|
|
|
@4a962d8
|
3 years |
caparson |
added channel impl with basic test. Will expand impl and tests soon
ADT
ast-experimental
|
|
|
@0640c350
|
3 years |
caparson |
moved unified_locking test dir to be under concurrent
ADT
ast-experimental
|
|
|
@aa45b15
|
3 years |
caparson |
commit expect files for the unified locking dir move
ADT
ast-experimental
|
|
|
@703c88e
|
3 years |
caparson |
missed another lock name refactor in the earlier commit
ADT
ast-experimental
|
|
|
@357ab79
|
3 years |
caparson |
moved unified locking tests to be under concurrent directory since …
ADT
ast-experimental
|
|
|
@01a8954
|
3 years |
caparson |
renamed tests to match naming refactor
ADT
ast-experimental
|
|
|
@0cee082
|
3 years |
caparson |
refactored naming for lock to be more accurate and cleaned up REACQ …
ADT
ast-experimental
|
|
|
@8fb7402
|
3 years |
caparson |
fixed race condition in select_future test to fix build failure
ADT
ast-experimental
|
|
|
@243d998
|
3 years |
caparson |
added and updated future tests
ADT
ast-experimental
|
|
|
@be3b952
|
3 years |
pabuhr |
update 32-bit .expect for tests using PRNG
ADT
ast-experimental
|
|
|
@ae7a085c
|
3 years |
pabuhr |
change printing format in PRNG, update .expect for tests using PRNG
ADT
ast-experimental
|
|
|
@b797d978
|
3 years |
pabuhr |
formatting, switch to XOSHIRO256PP/XOSHIRO128PP as the 64/32-bit …
ADT
ast-experimental
|
|
|
@199456c
|
3 years |
Thierry Delisle |
Forgot that prng used different algorithm on 32bit
ADT
ast-experimental
|
|
|