Brian Warner
|
41b7bcfed5
|
working on fixes
|
2017-04-06 12:21:00 -07:00 |
|
Brian Warner
|
b7df5e21eb
|
more tests, still failing
|
2017-04-06 12:21:00 -07:00 |
|
Brian Warner
|
c95b6d402c
|
Code: don't sent tx_allocate until we're connected
So Code needs connected/lost from the RendezvousConnector
|
2017-04-06 12:21:00 -07:00 |
|
Brian Warner
|
d4bedeafbf
|
general fixes
|
2017-04-06 12:21:00 -07:00 |
|
Brian Warner
|
20814a65f4
|
rename Wormhole (machine) to Boss, leave room for higher-level thing
|
2017-04-06 12:21:00 -07:00 |
|
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 |
|