Commit Graph

213 Commits

Author SHA1 Message Date
Joseph Bryan
f240cf7c20 renames ept:by to apt:by 2016-12-08 14:09:26 -05:00
Joseph Bryan
d0e379d572 applies ept:by (map invariant) in ++map 2016-12-08 14:09:22 -05:00
Joseph Bryan
b4564cc237 applies apt:in (set invariant) in ++set 2016-12-08 13:17:05 -05:00
C. Guy Yarvin
346307b2ed Not quite compiling. 2016-12-03 20:48:29 -08:00
C. Guy Yarvin
5e83d23720 Remove %sick; import xmas (does not compile). 2016-12-02 17:03:14 -08:00
C. Guy Yarvin
223bdcc168 Undo sickness. 2016-12-02 12:02:09 -08:00
C. Guy Yarvin
0f762fd2a4 Move merged vanes back. 2016-12-02 11:34:07 -08:00
C. Guy Yarvin
91d4655b2f Generalize ++hunt and move it to hoon.hoon. 2016-12-02 11:30:02 -08:00
C. Guy Yarvin
5f3ee116eb %velo reset works. 2016-12-01 17:17:02 -08:00
C. Guy Yarvin
43c44ff0b6 Tweaks. 2016-11-29 11:48:10 -08:00
C. Guy Yarvin
667284ced3 Better doc. 2016-11-27 16:33:23 -08:00
C. Guy Yarvin
f91a3f20d5 Working test boot sequence. 2016-11-25 11:32:48 -08:00
C. Guy Yarvin
092dc318de New metal boot system. 2016-11-23 20:25:07 -08:00