|
|
|
@6c15d66
|
2 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@88b49bb
|
2 years |
caparson |
added a small waituntil optimization and added some improvements to …
ADT
ast-experimental
|
|
|
@5ece8ce
|
2 years |
caparson |
fixed a bug in mcs implementation and cleaned up a bit
ADT
ast-experimental
|
|
|
@9317419
|
2 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@41639089
|
2 years |
pabuhr |
add compilation flag -mno-outline-atomics on the ARM processor
ADT
ast-experimental
|
|
|
@76e77a4
|
2 years |
caparson |
Completed next iteration on channel chapter
ADT
ast-experimental
|
|
|
@a0c746df
|
2 years |
caparson |
added beginning of waituntil chapter
ADT
ast-experimental
|
|
|
@9f1beb4
|
2 years |
pabuhr |
more proofreading of the channel chapter
ADT
ast-experimental
|
|
|
@c3e2131
|
2 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@e3d4fd1
|
2 years |
pabuhr |
more cleanup of the make-help option
ADT
ast-experimental
|
|
|
@e4633b4
|
2 years |
pabuhr |
fix spelling mistake
ADT
ast-experimental
|
|
|
@8db4708
|
2 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@5908fb4
|
2 years |
caparson |
changed channel fetch routines to use relaxed atomics
ADT
ast-experimental
|
|
|
@8c267cf
|
2 years |
ajbeach |
Added proposal for alternate enumerations that could replace some of …
ADT
ast-experimental
|
|
|
@100d12d4
|
2 years |
caparson |
changed makefile since select has a .cfa now
ADT
ast-experimental
|
|
|
@e23b3ce
|
2 years |
caparson |
added support for timeouts in waituntil
ADT
ast-experimental
|
|
|
@c0ec8b6
|
2 years |
caparson |
fixed bug in waituntil and future interop where signals could be lost
ADT
ast-experimental
|
|
|
@629c95a
|
2 years |
caparson |
fixed bug in special OR case for channels and waituntil
ADT
ast-experimental
|
|
|
@5a05946
|
2 years |
caparson |
cleanup up locks files and fixed a minor whitespace issue in preemption.cfa
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
|
|
|
@4dd10fb
|
2 years |
caparson |
added atomic_load to non-MX channel get routines
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
|
|
|
@8fa3b660
|
2 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@94672ba
|
2 years |
caparson |
changed variable name in makefile to try and avoid shell command with …
ADT
ast-experimental
|
|
|
@2c24971
|
2 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@9eb7f07c
|
2 years |
pabuhr |
more updates for llheap paper
ADT
ast-experimental
|
|
|
@7b53bfd
|
2 years |
caparson |
Eliminating the busy wait spin at the end seems to resolve deadlock. …
ADT
ast-experimental
|
|
|
@c5a2c96
|
2 years |
caparson |
added atomic to eliminate if failing test deadlock is a staleness issue
ADT
ast-experimental
|
|
|
@187570f
|
2 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@c34a1a4
|
2 years |
caparson |
removed uneeded busy wait
ADT
ast-experimental
|
|
|
@d697527
|
2 years |
pabuhr |
add Makefile for llheap paper
ADT
ast-experimental
|
|
|
@f977509
|
2 years |
pabuhr |
continue working on llheap paper
ADT
ast-experimental
|
|
|
@8fd1b7c
|
2 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@fece3d9
|
2 years |
caparson |
Added fix for cond var timeout handling race. Cleanup of locks.hfa/cfa …
ADT
ast-experimental
|
|
|
@2d0f918
|
2 years |
ajbeach |
Clean up methods for result1/N/Nstmt classes and the padantic pass macros.
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
|
|
|
@c4f411e
|
2 years |
caparson |
fixed a bug which may potentially fix build
ADT
ast-experimental
|
|
|
@84018e0
|
2 years |
caparson |
cleaned up benchmark pseudocode
ADT
ast-experimental
|
|
|
@2d831a1
|
2 years |
caparson |
added various small edits and resolved some action items
ADT
ast-experimental
|
|
|
@c0527f8
|
2 years |
caparson |
added CAP annotation macro
ADT
ast-experimental
|
|
|
@4912520
|
2 years |
caparson |
updated plotting scripts with new plot style
ADT
ast-experimental
|
|
|
@ab2b352
|
2 years |
caparson |
updated channel and mutex stmt figures
ADT
ast-experimental
|
|
|
@d5187a0
|
2 years |
caparson |
removed potential race to attempt to fix failing test
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
|
|
|
@cb69fba
|
2 years |
caparson |
did some cleanup of channels
ADT
ast-experimental
|
|
|
@ca8c91ce
|
2 years |
pabuhr |
small changes to channel chapter
ADT
ast-experimental
|
|
|
@d5c5586
|
2 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@7bef8cf
|
2 years |
pabuhr |
start paper on llheap
ADT
ast-experimental
|
|
|
@8607a72
|
2 years |
caparson |
added 32 bit failure fix for channels
ADT
ast-experimental
|
|
|
@7358f65
|
2 years |
pabuhr |
remove version count of thesis builds
ADT
ast-experimental
|
|
|
@e9fffb1
|
2 years |
pabuhr |
start proofreading of channel chapter
ADT
ast-experimental
|
|
|
@e0e2f02
|
2 years |
pabuhr |
small updates
ADT
ast-experimental
|
|
|
@21d1c9c
|
2 years |
pabuhr |
small updates
ADT
ast-experimental
|
|
|
@c459f99
|
2 years |
pabuhr |
formatting, small updates
ADT
ast-experimental
|
|
|
@d1c51b1
|
2 years |
pabuhr |
small updates
ADT
ast-experimental
|
|
|
@6c7227b
|
2 years |
pabuhr |
formatting, small updates
ADT
ast-experimental
|
|
|
@302a16c
|
2 years |
pabuhr |
formatting, add intro chapter to tex dependencies
ADT
ast-experimental
|
|
|
@8c25760
|
2 years |
pabuhr |
put keywords in alphabetic order in lex.ll
ADT
ast-experimental
|
|
|
@ab6dcc8
|
2 years |
pabuhr |
add citations for Actor paper
ADT
ast-experimental
|
|
|
@e20c0af
|
2 years |
pabuhr |
update list of CFA keywords in lstlang.sty
ADT
ast-experimental
|
|
|
@085f67a
|
2 years |
pabuhr |
remove unsed cfa-format.tex file
ADT
ast-experimental
|
|
|
@67408114
|
2 years |
pabuhr |
change all-tests to tests to match new make targets
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
|
|
|
@2a84d994
|
2 years |
caparson |
removed old unused benchmark file
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
|
|
|
@c86b08d
|
2 years |
caparson |
added support for the waituntil statement in the compiler
ADT
ast-experimental
|
|
|
@73bf7ddc
|
2 years |
caparson |
updated lock interface to support waituntil trait
ADT
ast-experimental
|
|
|
@beeff61e
|
2 years |
caparson |
some cleanup and a bunch of changes to support waituntil statement
ADT
ast-experimental
|
|
|
@985b624
|
2 years |
pabuhr |
remove gcc 4.9, 5, 6 from jenkins know compilers and change nightly …
ADT
ast-experimental
|
|
|
@e6d8d11
|
2 years |
pabuhr |
update comment about locale problem with leaked storage
ADT
ast-experimental
|
|
|
@04c78215
|
2 years |
pabuhr |
change waituntil expression from cast_expression to comma_expression
ADT
ast-experimental
|
|
|
@699a97d
|
2 years |
ajbeach |
Added IndexIterator, which absorbs some functionality of some …
ADT
ast-experimental
|
|
|
@45e753c
|
2 years |
ajbeach |
Clean-up in DeclarationNode.cc. Made all buildList loops the same. The …
ADT
ast-experimental
|
|
|
@028e512
|
2 years |
ajbeach |
Cleaned up some DeclarationNode code that had some extra code no …
ADT
ast-experimental
|
|
|
@a5ea261
|
2 years |
ajbeach |
The test.py (through Makefile) handles --invariant passing it to the …
ADT
ast-experimental
|
|
|
@81bd7e3
|
2 years |
ajbeach |
Adding explination to the memory leak in driver/cfa.cc.
ADT
ast-experimental
|
|
|
@66b6f66
|
2 years |
ajbeach |
Cleaned up some indentation in DeclarationNode.h.
ADT
ast-experimental
|
|
|
@6349929
|
2 years |
pabuhr |
fix 32-bit build with new PRNG output
ADT
ast-experimental
|
|
|
@c831073
|
2 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
|
|
|
@8a2f7f1
|
2 years |
pabuhr |
fix PRNG test to work correctly on ARM
ADT
ast-experimental
|
|
|
@d859a30
|
2 years |
ajbeach |
Some SymbolTable clean-up I did while trying a change I didn't go …
ADT
ast-experimental
|
|
|
@fb4dc28
|
2 years |
ajbeach |
Moved new ast code out of one of the old files. The new file may have …
ADT
ast-experimental
|
|
|