machi/prototype/poc-machi
2015-03-02 20:20:20 +09:00
..
docs Bring flowchart & code back into sync, yay! 2015-03-02 20:20:19 +09:00
include WIP: EUnit and PULSE test fixing 2015-03-02 20:20:20 +09:00
src Fix PULSE model to work around after-the-fact/retrospective sanity check limitation 2015-03-02 20:20:20 +09:00
test Fix PULSE model to work around after-the-fact/retrospective sanity check limitation 2015-03-02 20:20:20 +09:00
.gitignore Minimal FLU0 single register, plus Concuerror tests 2015-03-02 20:20:15 +09:00
LICENSE Add fledgling log implementation based on CORFU papers (corfurl stuff) 2015-03-02 20:20:07 +09:00
Makefile Makefile un-derp'ing 2015-03-02 20:20:15 +09:00
rebar.config.script Add fledgling log implementation based on CORFU papers (corfurl stuff) 2015-03-02 20:20:07 +09:00