 Pat Hickey
|
546fb3baad
travis: add rpc backend test to test targets
|
9 years ago |
|
Pat Hickey
|
a5a75e6c8b
makefile fix
|
9 years ago |
|
Trevor Elliott
|
bc64ea1c55
Merge remote-tracking branch 'origin/master' into wip/rpc
|
9 years ago |
|
Trevor Elliott
|
add50938b4
Read methods implemented
|
9 years ago |
|
Pat Hickey
|
1623f1a6e6
makefile: haskell backend test outputs debug too
|
9 years ago |
|
Pat Hickey
|
81127ba4ef
amend build to build s-cargot from sources
|
9 years ago |
|
Trevor Elliott
|
697667666e
Initial rpc backend
|
9 years ago |
|
Pat Hickey
|
98c7179538
beginning of tower backend
|
9 years ago |
|
Pat Hickey
|
d3754985c6
ivory backend: wip
|
9 years ago |
|
Pat Hickey
|
02cd916406
gidl: dispatch to ivory backend
|
9 years ago |
|
Pat Hickey
|
9a69dbf2e4
makefile: change relative path to ivory-artifact, assume located in smaccmpilot-build
|
9 years ago |
|
Pat Hickey
|
30e1edc4d6
gidl: command line frontend ftw
|
9 years ago |
|
Pat Hickey
|
50678525c5
gidl: generate quickcheck test suite for haskell backend
|
9 years ago |
|
Pat Hickey
|
a27a8ddcc2
gidl: haskell types backend sketched up.
|
9 years ago |
