source:
@
55885dd
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
src | 2dda05d | 4 years | recursively visit inferred | ||
doc | 1f9a4d0 | 4 years | changes for SP&E proofs of concurrency paper | ||
libcfa | b4aa1ab | 4 years | fix running nested routines on stacks in the heap | ||
tests | edf3ff1 | 4 years | add collection tests | ||
benchmark | ee913e0a | 4 years | Http server now waits for socket to be available instead of aborting. | ||
driver | 2a59655 | 4 years | make distcheck FINALLY passes | ||
example | 0f88a225 | 4 years | updated out-of-date example echo network server | ||
Jenkins | 5d1aa2f | 4 years | Removed extra paranthesis. | ||
longrun_tests | 6bd2cfb | 4 years | Removed generated automake files. * WARNING * With this push … | ||
tools | 5992ff4 | 4 years | Tentative fix to last commit | ||
.gitignore | 1.3 KB | d5a1b46 | 4 years | update files in .gitignore | |
LICENSE | 1.5 KB | c11e31c | 9 years | add inline and attribute qualifiers, cfa.y comment formatting, fix … | |
.autom4te.cfg | 290 bytes | d817f5a | 6 years | Added config files to move autom4te cache out of root folder | |
autogen.sh | 626 bytes | f575124 | 4 years | Added script to setup automake before running configure | |
configure.ac | 10.2 KB | a1850ac | 4 years | No longer distribute tools or pretty/printer | |
INSTALL | 1002 bytes | ca0f5e34 | 6 years | Update install file | |
Jenkinsfile | 14.8 KB | 3bc59b7 | 4 years | Removed test | |
Makefile.am | 2.3 KB | 5992ff4 | 4 years | Tentative fix to last commit | |
README | 4.9 KB | da60c631 | 6 years | Fixed various urls after https migration |
Note: See TracBrowser
for help on using the repository browser.