Timeline



Jun 4, 2023:

8:40 AM Changeset [84334d0]ast-experimental by caparsons <caparson@…>
refactored thesis actor code to use new lowercase allocation enum name
8:39 AM Changeset [c880a7b]ast-experimental by caparsons <caparson@…>
refactored tests to use new name for allocation enum
8:38 AM Changeset [0794365]ast-experimental by caparsons <caparson@…>
refactored allocation enum to match naming style and refactored some …

Jun 3, 2023:

1:41 PM Changeset [46e6e47]ast-experimental by caparsons <caparson@…>
refactored test to reflect new naming
9:49 AM Changeset [bebfc2e]ast-experimental by caparsons <caparson@…>
renamed some types to make style consistent. fixed race condition in …

Jun 1, 2023:

9:52 PM Changeset [ded6c2a6]ast-experimental by caparson <caparson@…>
fixed build failure
6:29 PM Changeset [251ce80]ast-experimental by Fangren Yu <f37yu@…>
remove reference to symbol table in unify
12:46 PM Changeset [1803d4d]ast-experimental by caparsons <caparson@…>
forgot to include this file in previous commit
12:45 PM Changeset [5eb9327]ast-experimental by caparsons <caparson@…>
updated plot layout in benchmark scripts
12:45 PM Changeset [760c88c]ast-experimental by caparsons <caparson@…>
added some citation and waituntil chapter draft up until performance …
12:43 PM Changeset [3eeeb88]ast-experimental by caparsons <caparson@…>
added utility functions for channel exceptions
12:22 PM Changeset [e4a2198]ast-experimental by caparsons <caparson@…>
worked through Peter's changes to channel chapter
12:02 PM Changeset [4897ffa]ast-experimental by caparsons <caparson@…>
fixed merge
12:01 PM Changeset [0aef549]ast-experimental by caparsons <caparson@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
11:59 AM Changeset [8421d3f]ast-experimental by caparson <caparson@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
11:58 AM Changeset [6f774be]ast-experimental by caparson <caparson@…>
fixed bug where waituntil deadlock could occur
11:58 AM Changeset [ac5d22f]ast-experimental by caparsons <caparson@…>
commit before pull to resolve merge conflicts
11:57 AM Changeset [22f2b7d]ast-experimental by caparsons <caparson@…>
missed including in previous commits
11:56 AM Changeset [fc0996a]ast-experimental by caparsons <caparson@…>
refactores to account for removal of ret val from on_selected
11:55 AM Changeset [70a4ed5]ast-experimental by caparsons <caparson@…>
refactored to remove return val from on_selected

May 31, 2023:

8:45 AM Changeset [5d81edb]ast-experimental by Peter A. Buhr <pabuhr@…>
wording changes in channel chapter

May 30, 2023:

8:30 PM Changeset [d8d9c115]ast-experimental by Peter A. Buhr <pabuhr@…>
reduce duration of lock-free stack test on ARM because CASV is very …
8:28 PM Changeset [8cbb6aa]ast-experimental by Peter A. Buhr <pabuhr@…>
add documentation about ARM atomic flag
6:23 PM Changeset [b51b2a6]ast-experimental by Peter A. Buhr <pabuhr@…>
update citations in bibliography/pl.bib
5:48 PM Changeset [dd3baf4]ast-experimental by Peter A. Buhr <pabuhr@…>
missing change
5:35 PM Changeset [2cb8bf71]ast-experimental by Peter A. Buhr <pabuhr@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
5:35 PM Changeset [44198fb9]ast-experimental by Peter A. Buhr <pabuhr@…>
second proofread of channels chapter
5:34 PM Changeset [8599415]ast-experimental by Peter A. Buhr <pabuhr@…>
add breaklinks=true to hyperref
5:32 PM Changeset [c67957e]ast-experimental by Peter A. Buhr <pabuhr@…>
add Golang lstlisting environment
5:31 PM Changeset [d3b224cf]ast-experimental by Peter A. Buhr <pabuhr@…>
make glossary abbreviation be newterms
5:30 PM Changeset [427a577]ast-experimental by Peter A. Buhr <pabuhr@…>
add glossary.tex to Makefile dependencies
11:13 AM Changeset [8913de4]ast-experimental by Andrew Beach <ajbeach@…>
Update in autogen that should help with some resolver issues and …

May 29, 2023:

11:44 AM Changeset [044ae62]ADT by JiadaL <j82liang@…>
Merge branch 'master' into ADT
11:31 AM Changeset [efe89894]ast-experimental by Andrew Beach <ajbeach@…>
Fixed small whitespace issue.
10:41 AM Changeset [f77f648d]ast-experimental by caparsons <caparson@…>
intermediate runscript to move to benchmarking on another machine
10:28 AM Changeset [4d5c855]ast-experimental by caparsons <caparson@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
10:27 AM Changeset [6c121eed]ast-experimental by caparsons <caparson@…>
intermediate commit to move some benchmarking to another machine

May 28, 2023:

8:31 AM Changeset [5007618]ast-experimental by Peter A. Buhr <pabuhr@…>
update tests/Makefile.am and corresponding Jenkinsfile with more …

May 27, 2023:

6:44 PM Changeset [124400b]ast-experimental by Peter A. Buhr <pabuhr@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
6:44 PM Changeset [bdbf536]ast-experimental by Peter A. Buhr <pabuhr@…>
remove/specialize test/Makfile.am variables concurrent/timeout, …

May 26, 2023:

5:08 PM Changeset [7ae39f0]ast-experimental by Michael Brooks <mlbrooks@…>
Re-enable testing function prototype taking length-star array, working …
1:51 PM Changeset [b2fa3c2]ast-experimental by Peter A. Buhr <pabuhr@…>
fix comments referring to concurrency directory
1:47 PM Changeset [6b1c4f2]ast-experimental by Peter A. Buhr <pabuhr@…>
fix spelling mistake of concurrency
12:15 PM Changeset [98edf2f]ast-experimental by Peter A. Buhr <pabuhr@…>
found further uses of concurrent directory
11:55 AM Changeset [a01faa98]ast-experimental by caparsons <caparson@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
8:47 AM Changeset [53f6a11]ast-experimental by Peter A. Buhr <pabuhr@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
8:47 AM Changeset [c26bea2a]ast-experimental by Peter A. Buhr <pabuhr@…>
first attempt at renaming directory tests/concurrent to …
8:09 AM Changeset [687b663]ast-experimental by Peter A. Buhr <pabuhr@…>
fix lockfree-stack test on 32-bit

May 25, 2023:

6:44 PM Changeset [8a919cf]ast-experimental by Michael Brooks <mlbrooks@…>
Address build error from commit a5aa5b. To keep: Change all tabs to …
5:55 PM Changeset [a5aa5bf]ast-experimental by Michael Brooks <mlbrooks@…>
Flesh out "C" array syntax testing. Enable testing of …
5:09 PM Ticket #276 (cfa-cc - Cannot give outermost array-param's length from earlier param) created by mlbrooks
[…] GCC actual, CFA expected: accept CFA actual: reject (bad …
5:02 PM Ticket #275 (cfa-cc - Array length accepts implicit conversion from non-int) created by mlbrooks
[…] GCC actual, CFA expected: reject CFA actual: accept
5:00 PM Changeset [a5294af]ast-experimental by Peter A. Buhr <pabuhr@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
4:55 PM Changeset [4246869]ast-experimental by Peter A. Buhr <pabuhr@…>
update header comments
4:55 PM Changeset [0e6cadf1]ast-experimental by Peter A. Buhr <pabuhr@…>
add new atomic macros to Makefile.am
4:51 PM Changeset [2314aac]ast-experimental by Peter A. Buhr <pabuhr@…>
add lock-free stack using double-wide CAS
4:50 PM Changeset [8463136]ast-experimental by Peter A. Buhr <pabuhr@…>
add short atomic instruction macros
1:01 PM Changeset [bccd70a]ast-experimental by Andrew Beach <ajbeach@…>
Removed internal code from TypeSubstitution? header. It caused a chain …
12:18 PM Changeset [b09ca2b]ast-experimental by caparsons <caparson@…>
small bit of cleanup in waituntil pass
12:12 PM Changeset [382467f]ast-experimental by caparsons <caparson@…>
added go and cfa waituntil channel benchmarks

May 24, 2023:

2:14 PM Changeset [2b78949]ADT by JiadaL <j82liang@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
2:14 PM Changeset [3a513d89]ADT by JiadaL <j82liang@…>
Initiate host adt
11:46 AM Changeset [6c15d66]ADTast-experimental by caparsons <caparson@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
11:46 AM Changeset [88b49bb]ADTast-experimental by caparsons <caparson@…>
added a small waituntil optimization and added some improvements to …
11:45 AM Changeset [5ece8ce]ADTast-experimental by caparsons <caparson@…>
fixed a bug in mcs implementation and cleaned up a bit
3:58 AM Changeset [6ece306]ADT by JiadaL <j82liang@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

May 23, 2023:

4:55 PM Changeset [9317419]ADTast-experimental by Peter A. Buhr <pabuhr@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
4:55 PM Changeset [41639089]ADTast-experimental by Peter A. Buhr <pabuhr@…>
add compilation flag -mno-outline-atomics on the ARM processor
2:39 PM Changeset [76e77a4]ADTast-experimental by caparsons <caparson@…>
Completed next iteration on channel chapter
2:38 PM Changeset [a0c746df]ADTast-experimental by caparsons <caparson@…>
added beginning of waituntil chapter

May 17, 2023:

4:27 PM Changeset [f11010e]ADT by JiadaL <j82liang@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
4:27 PM Changeset [f4e01f1]ADT by JiadaL <j82liang@…>
Save progress
11:31 AM Changeset [9f1beb4]ADTast-experimental by Peter A. Buhr <pabuhr@…>
more proofreading of the channel chapter
11:19 AM Changeset [c3e2131]ADTast-experimental by Peter A. Buhr <pabuhr@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
11:18 AM Changeset [e3d4fd1]ADTast-experimental by Peter A. Buhr <pabuhr@…>
more cleanup of the make-help option
11:15 AM Changeset [e4633b4]ADTast-experimental by Peter A. Buhr <pabuhr@…>
fix spelling mistake
1:36 AM Changeset [d6c464d]ADT by JiadaL <j82liang@…>
reset enum's autogen as non adt
1:35 AM Changeset [3982384]ADT by JiadaL <j82liang@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
1:33 AM Changeset [561354f]ADT by JiadaL <j82liang@…>
Save progress

May 16, 2023:

10:40 AM Changeset [8db4708]ADTast-experimental by caparsons <caparson@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
10:40 AM Changeset [5908fb4]ADTast-experimental by caparsons <caparson@…>
changed channel fetch routines to use relaxed atomics

May 15, 2023:

4:31 PM Changeset [8c267cf]ADTast-experimental by Andrew Beach <ajbeach@…>
Added proposal for alternate enumerations that could replace some of …
1:17 PM Changeset [100d12d4]ADTast-experimental by caparsons <caparson@…>
changed makefile since select has a .cfa now
1:16 PM Changeset [e23b3ce]ADTast-experimental by caparsons <caparson@…>
added support for timeouts in waituntil
1:15 PM Changeset [c0ec8b6]ADTast-experimental by caparsons <caparson@…>
fixed bug in waituntil and future interop where signals could be lost
1:15 PM Changeset [629c95a]ADTast-experimental by caparsons <caparson@…>
fixed bug in special OR case for channels and waituntil
1:14 PM Changeset [5a05946]ADTast-experimental by caparsons <caparson@…>
cleanup up locks files and fixed a minor whitespace issue in preemption.cfa
1:14 PM Changeset [8cb06b6]ADTast-experimental by caparsons <caparson@…>
added waituntil timeout test and added waituntil test that uses …
9:20 AM Ticket #274 (cfa-cc - Size of struct and alignment/offset of polymorphic fields inside a ...) created by caparson
If a polymorphic field of a struct is not the first field the …
8:47 AM Changeset [b3ce76f]ADTast-experimental by caparsons <caparson@…>
resolved merge conflict in makefile changes
8:46 AM Changeset [386fb57]ADTast-experimental by caparsons <caparson@…>
added invariant flag to test makefile

May 12, 2023:

6:51 PM Changeset [e2887a9]ADTast-experimental by Peter A. Buhr <pabuhr@…>
add make-help option and change parenthesis to braces for variables
2:19 PM Changeset [4dd10fb]ADTast-experimental by caparsons <caparson@…>
added atomic_load to non-MX channel get routines
2:18 PM Changeset [01de470]ADTast-experimental by caparsons <caparson@…>
added back initially failing test and cleaned up other test
2:17 PM Changeset [7c2c37a]ADTast-experimental by caparsons <caparson@…>
removed tests made during deadlock debugging
12:21 PM Changeset [0922716]ADTast-experimental by caparsons <caparson@…>
changed dist-hook rule to use curly braces to access shell vars where …
8:56 AM Changeset [8fa3b660]ADTast-experimental by caparsons <caparson@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
8:56 AM Changeset [94672ba]ADTast-experimental by caparsons <caparson@…>
changed variable name in makefile to try and avoid shell command with …

May 11, 2023:

8:28 PM Changeset [2c24971]ADTast-experimental by Peter A. Buhr <pabuhr@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
8:27 PM Changeset [9eb7f07c]ADTast-experimental by Peter A. Buhr <pabuhr@…>
more updates for llheap paper
1:06 PM Changeset [7b53bfd]ADTast-experimental by caparsons <caparson@…>
Eliminating the busy wait spin at the end seems to resolve deadlock. …
1:04 PM Changeset [c5a2c96]ADTast-experimental by caparsons <caparson@…>
added atomic to eliminate if failing test deadlock is a staleness issue
10:27 AM Changeset [187570f]ADTast-experimental by caparsons <caparson@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
10:27 AM Changeset [c34a1a4]ADTast-experimental by caparsons <caparson@…>
removed uneeded busy wait
8:59 AM Changeset [d697527]ADTast-experimental by Peter A. Buhr <pabuhr@…>
add Makefile for llheap paper
8:51 AM Changeset [f977509]ADTast-experimental by Peter A. Buhr <pabuhr@…>
continue working on llheap paper

May 10, 2023:

4:53 PM Changeset [8fd1b7c]ADTast-experimental by caparsons <caparson@…>
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
2:46 PM Changeset [fece3d9]ADTast-experimental by caparsons <caparson@…>
Added fix for cond var timeout handling race. Cleanup of locks.hfa/cfa …
11:26 AM Changeset [2d0f918]ADTast-experimental by Andrew Beach <ajbeach@…>
Clean up methods for result1/N/Nstmt classes and the padantic pass macros.

May 9, 2023:

12:41 PM Changeset [e50fce1]ADTast-experimental by caparsons <caparson@…>
added some instrumentation to attempt to glean some insight into …
12:38 PM Changeset [253a78f]ADTast-experimental by caparsons <caparson@…>
removed some redundant tests and added some instrumentation to help …
10:54 AM Changeset [330b856]ADTast-experimental by caparsons <caparson@…>
removed tests that are redundant
10:53 AM Changeset [b5513f1]ADTast-experimental by caparsons <caparson@…>
refactored tests to refine failure case to minimal repro

May 8, 2023:

6:21 PM Changeset [02fa55e]ADTast-experimental by caparsons <caparson@…>
added zero size channel waituntil test case
6:21 PM Changeset [c4f411e]ADTast-experimental by caparsons <caparson@…>
fixed a bug which may potentially fix build
4:56 PM Changeset [84018e0]ADTast-experimental by caparsons <caparson@…>
cleaned up benchmark pseudocode
4:53 PM Changeset [2d831a1]ADTast-experimental by caparsons <caparson@…>
added various small edits and resolved some action items
4:52 PM Changeset [c0527f8]ADTast-experimental by caparsons <caparson@…>
added CAP annotation macro
4:51 PM Changeset [4912520]ADTast-experimental by caparsons <caparson@…>
updated plotting scripts with new plot style
4:50 PM Changeset [ab2b352]ADTast-experimental by caparsons <caparson@…>
updated channel and mutex stmt figures

May 7, 2023:

12:35 PM Changeset [d5187a0]ADTast-experimental by caparsons <caparson@…>
removed potential race to attempt to fix failing test

May 6, 2023:

3:34 PM Changeset [a32a887]ADTast-experimental by caparsons <caparson@…>
removed uneeded tests
1:28 PM Changeset [85e49a6]ADTast-experimental by caparsons <caparson@…>
added and removed some tests in pursuit of a more minimal repro of the …

May 5, 2023:

11:43 AM Changeset [dd7a8ce]ADTast-experimental by caparsons <caparson@…>
added some variations on failing channel test to try and narrow down …
Note: See TracTimeline for information about the timeline view.