|
|
@c3f7dd9
|
18 months |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@555c599
|
18 months |
caparson |
removed test since it now contains unsupportd behaviour
|
|
|
@5186775
|
18 months |
pabuhr |
alternative version of fibonacci_nonlocal
|
|
|
@64e3ac7
|
18 months |
pabuhr |
harmonize name for fibonacci_nonlocal and pingpong_nonlocal
|
|
|
@bef2245
|
18 months |
caparson |
added basic tests for non-local exceptions
|
|
|
@70f97c8
|
18 months |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@a2f1ea8d
|
18 months |
caparson |
added test for fixed waituntil break case
|
|
|
@6c7fe7b
|
18 months |
pabuhr |
change from printf to sout
|
|
|
@bdf4cd9e
|
18 months |
caparson |
added test for mutex stmt tuples and changed actor test to use a …
|
|
|
@85a3806
|
18 months |
pabuhr |
change from printf to sout
|
|
|
@7d25f44
|
18 months |
pabuhr |
update files from old separator manipulator names to new names
|
|
|
@fe0b94f
|
18 months |
pabuhr |
fix include files
|
|
|
@6065281f
|
18 months |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@3bf9d10
|
18 months |
pabuhr |
change printf to sout
|
|
|
@f02f546
|
18 months |
mlbrooks |
Implement new rules for array dimension expression matching.
Core …
|
|
|
@da0edec
|
18 months |
mlbrooks |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@9c4330d5
|
18 months |
mlbrooks |
Add Makefile entries to include new test-support files in Promote …
|
|
|
@caf06aa
|
18 months |
ajbeach |
Added the check for bitfields in sized polymorphic types. It was …
|
|
|
@2fd4cea
|
18 months |
ajbeach |
In a sentence, invariants is correct.
|
|
|
@0f4ac10
|
18 months |
mlbrooks |
Add tests demonstrating CFA's treatment of C arrays, compared with …
|
|
|
@0388a99
|
18 months |
caparson |
updated a test to use the actor automatic executor config
|
|
|
@b87ef7be
|
18 months |
pabuhr |
update mathX.arm64 expected output
|
|
|
@c8cbb41
|
18 months |
pabuhr |
update mathX.x86 expected output
|
|
|
@600478d
|
18 months |
pabuhr |
change ceiling function to work with negative values
|
|
|
@6527150
|
18 months |
pabuhr |
formatting
|
|
|
@c8f0199
|
18 months |
pabuhr |
add test case to device-driver input
|
|
|
@93c86ac
|
18 months |
pabuhr |
formatting and comments
|
|
|
@77fd9fe2
|
18 months |
caparson |
refactored actor tests to use bar operator
|
|
|
@3a7aa94
|
18 months |
pabuhr |
harmonized help messages for --invariant and --no-invariant
|
|
|
@4c0acb0
|
18 months |
pabuhr |
add back --invariant with --no-invariant as both are needed for toggling
|
|
|
@0d31434
|
18 months |
caparson |
changes test.py invariant flag to --no-invariant, with the default being on
|
|
|
@5dbb9f3
|
18 months |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@d144c26
|
18 months |
caparson |
updated invariant flag to be default, can be toggled off with …
|
|
|
@e172f42
|
18 months |
caparson |
Merge branch 'ast-experimental'
|
|
|
@f6fd22a4
|
18 months |
caparson |
refactored inherit test to avoid base ctor call bug
|
|
|
@8d6786b
|
18 months |
caparson |
added new actor test for plan-9 edge case
|
|
|
@8f557161
|
18 months |
mlbrooks |
Clarify and fix accuracy in eval public API, on reporting "unable to …
|
|
|
@62d62db
|
18 months |
caparson |
Merge branch 'master' into ast-experimental
ast-experimental
|
|
|
@24d6572
|
18 months |
f37yu |
Merge branch 'master' into ast-experimental
ast-experimental
|
|
|
@38e266ca
|
19 months |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ast-experimental
|
|
|
@1db6d70
|
19 months |
caparson |
removed unneeded fstream include from locks.hfa
ast-experimental
|
|
|
@37b2c2c
|
19 months |
pabuhr |
update lockfree stack with double-wide CAS
ast-experimental
|
|
|
@55266c7
|
19 months |
pabuhr |
harmonize semantic error messages with yacc error messages
ast-experimental
|
|
|
@541dbc09
|
19 months |
pabuhr |
make type names arithmetic, rational, rat_int lower-case
ast-experimental
|
|
|
@874b16e
|
19 months |
pabuhr |
lower case type names open_failure, close_failure, write_failure, …
ast-experimental
|
|
|
@c880a7b
|
19 months |
caparson |
refactored tests to use new name for allocation enum
ast-experimental
|
|
|
@46e6e47
|
19 months |
caparson |
refactored test to reflect new naming
ast-experimental
|
|
|
@d8d9c115
|
19 months |
pabuhr |
reduce duration of lock-free stack test on ARM because CASV is very …
ast-experimental
|
|
|
@5007618
|
19 months |
pabuhr |
update tests/Makefile.am and corresponding Jenkinsfile with more …
ast-experimental
|
|
|
@124400b
|
19 months |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ast-experimental
|
|
|
@bdbf536
|
19 months |
pabuhr |
remove/specialize test/Makfile.am variables concurrent/timeout, …
ast-experimental
|
|
|
@7ae39f0
|
19 months |
mlbrooks |
Re-enable testing function prototype taking length-star array, working …
ast-experimental
|
|
|
@b2fa3c2
|
19 months |
pabuhr |
fix comments referring to concurrency directory
ast-experimental
|
|
|
@6b1c4f2
|
19 months |
pabuhr |
fix spelling mistake of concurrency
ast-experimental
|
|
|
@53f6a11
|
19 months |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ast-experimental
|
|
|
@c26bea2a
|
19 months |
pabuhr |
first attempt at renaming directory tests/concurrent to …
ast-experimental
|
|
|
@687b663
|
19 months |
pabuhr |
fix lockfree-stack test on 32-bit
ast-experimental
|
|
|
@8a919cf
|
19 months |
mlbrooks |
Address build error from commit a5aa5b.
To keep: Change all tabs to …
ast-experimental
|
|
|
@a5aa5bf
|
19 months |
mlbrooks |
Flesh out "C" array syntax testing.
Enable testing of …
ast-experimental
|
|
|
@4246869
|
19 months |
pabuhr |
update header comments
ast-experimental
|
|
|
@2314aac
|
19 months |
pabuhr |
add lock-free stack using double-wide CAS
ast-experimental
|
|
|
@e3d4fd1
|
19 months |
pabuhr |
more cleanup of the make-help option
ADTast-experimental
|
|
|
@8cb06b6
|
19 months |
caparson |
added waituntil timeout test and added waituntil test that uses …
ADTast-experimental
|
|
|
@b3ce76f
|
19 months |
caparson |
resolved merge conflict in makefile changes
ADTast-experimental
|
|
|
@386fb57
|
19 months |
caparson |
added invariant flag to test makefile
ADTast-experimental
|
|
|
@e2887a9
|
20 months |
pabuhr |
add make-help option and change parenthesis to braces for variables
ADTast-experimental
|
|
|
@01de470
|
20 months |
caparson |
added back initially failing test and cleaned up other test
ADTast-experimental
|
|
|
@7c2c37a
|
20 months |
caparson |
removed tests made during deadlock debugging
ADTast-experimental
|
|
|
@0922716
|
20 months |
caparson |
changed dist-hook rule to use curly braces to access shell vars where …
ADTast-experimental
|
|
|
@94672ba
|
20 months |
caparson |
changed variable name in makefile to try and avoid shell command with …
ADTast-experimental
|
|
|
@7b53bfd
|
20 months |
caparson |
Eliminating the busy wait spin at the end seems to resolve deadlock. …
ADTast-experimental
|
|
|
@c34a1a4
|
20 months |
caparson |
removed uneeded busy wait
ADTast-experimental
|
|
|
@e50fce1
|
20 months |
caparson |
added some instrumentation to attempt to glean some insight into …
ADTast-experimental
|
|
|
@253a78f
|
20 months |
caparson |
removed some redundant tests and added some instrumentation to help …
ADTast-experimental
|
|
|
@330b856
|
20 months |
caparson |
removed tests that are redundant
ADTast-experimental
|
|
|
@b5513f1
|
20 months |
caparson |
refactored tests to refine failure case to minimal repro
ADTast-experimental
|
|
|
@02fa55e
|
20 months |
caparson |
added zero size channel waituntil test case
ADTast-experimental
|
|
|
@a32a887
|
20 months |
caparson |
removed uneeded tests
ADTast-experimental
|
|
|
@85e49a6
|
20 months |
caparson |
added and removed some tests in pursuit of a more minimal repro of the …
ADTast-experimental
|
|
|
@dd7a8ce
|
20 months |
caparson |
added some variations on failing channel test to try and narrow down …
ADTast-experimental
|
|
|
@a882b68
|
20 months |
caparson |
added a test change to help locate the deadlock on next test failure
ADTast-experimental
|
|
|
@c083c3d
|
20 months |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimental
|
|
|
@4daf79f
|
20 months |
pabuhr |
formatting, adjust target names for Makefiles
ADTast-experimental
|
|
|
@6e1e2d0
|
20 months |
caparson |
resolved merge conflicts
ADTast-experimental
|
|
|
@a50fdfb
|
20 months |
caparson |
added waituntil test expect files
ADTast-experimental
|
|
|
@63d5ac5f
|
20 months |
caparson |
removed TODO since it is now done
ADTast-experimental
|
|
|
@6c3c51d
|
20 months |
caparson |
removed scoped lock
ADTast-experimental
|
|
|
@b9cd3b5
|
20 months |
caparson |
removed clh lock
ADTast-experimental
|
|
|
@a33a5e2
|
20 months |
caparson |
added tests for the waituntil stmt
ADTast-experimental
|
|
|
@e6d8d11
|
20 months |
pabuhr |
update comment about locale problem with leaked storage
ADTast-experimental
|
|
|
@a5ea261
|
20 months |
ajbeach |
The test.py (through Makefile) handles --invariant passing it to the …
ADTast-experimental
|
|
|
@6349929
|
20 months |
pabuhr |
fix 32-bit build with new PRNG output
ADTast-experimental
|
|
|
@8a2f7f1
|
20 months |
pabuhr |
fix PRNG test to work correctly on ARM
ADTast-experimental
|
|
|
@a1b41e3
|
21 months |
pabuhr |
add parsing test for waitfor statement
ADTast-experimental
|
|
|
@bb7422a
|
21 months |
ajbeach |
Translated parser to the new ast. This incuded a small fix in the …
ADTast-experimental
|
|
|
@3d08cea
|
21 months |
caparson |
Removed unneeded include. Should fix failing channels/churn test.
ADTast-experimental
|
|
|
@9319a23
|
21 months |
caparson |
added channel tests that use new termination feature
ADTast-experimental
|
|
|
@de934c7
|
21 months |
caparson |
minor changes to channel test harness
ADTast-experimental
|
|
|
@1205b3e
|
21 months |
pabuhr |
update 32-bit tests after change to PRNG
ADTast-experimental
|
|
|
@90fb672
|
21 months |
pabuhr |
use splitmix32/64 to prime set seed for all PRNG
ADTast-experimental
|
|
|