Brian Warner
|
a2ed35ceb8
|
remove old files, lots of type work
|
2017-04-06 12:21:00 -07:00 |
|
Brian Warner
|
80661392b6
|
build out all state machines
still early: automat is happy (they're syntactically valid), but the Outputs
are not implemented, and there are plenty of type mismatches
|
2017-04-06 12:21:00 -07:00 |
|
Brian Warner
|
a3ec344eb8
|
clean up machine names/initials
C: Code
RC: Rendezvous Connector
R: Receive
|
2017-04-06 12:21:00 -07:00 |
|
Brian Warner
|
f3b1e847e9
|
fix everything: should now be consistent and correct
Start with machines.dot, which gives the override. Then traverse downwards
from wormhole.dot .
|
2017-04-06 12:21:00 -07:00 |
|
Brian Warner
|
c050d06753
|
update code.dot
|
2017-04-06 12:21:00 -07:00 |
|
Brian Warner
|
50050dc140
|
finish wormhole.dot
|
2017-04-06 12:21:00 -07:00 |
|
Brian Warner
|
44cc1399c4
|
make mailbox/mailbox_close/machines consistent
finally get mailbox.png layout good enough
|
2017-04-06 12:21:00 -07:00 |
|
Brian Warner
|
40e0d6b663
|
more work, feels better now
|
2017-04-06 12:21:00 -07:00 |
|