Commit Graph

2116 Commits

Author SHA1 Message Date
Philip C Monk
38b289bad3 waypoint 2015-01-15 15:57:13 -05:00
Philip C Monk
5b97583293 self-perpetuation ftw 2015-01-14 19:43:39 -05:00
Philip C Monk
c31d9c6d3b boots and accepts input 2015-01-14 19:15:39 -05:00
Philip C Monk
6742a73fcc boots to terminal, then hangs 2015-01-14 19:01:59 -05:00
Philip C Monk
edfaa3ee5d boots now (sort of) 2015-01-13 20:58:25 -05:00
Philip C Monk
d1b313d514 everything compiles 2015-01-13 17:56:48 -05:00
Philip C Monk
308fca2ea2 waypoint 2015-01-12 20:50:41 -05:00
Philip C Monk
0844c4e043 waypoint 2015-01-09 17:11:43 -05:00
Philip C Monk
75583c3f8c comments 2015-01-07 20:33:08 -05:00
Philip C Monk
ab54878135 mork->form deff->diff 2015-01-07 20:07:40 -05:00
Philip C Monk
667b40bf57 diff and pact working 2015-01-07 20:01:33 -05:00
Philip C Monk
37a8309a5a ford compiles 2015-01-06 20:46:53 -05:00
Philip C Monk
0d73a1bbba waypoint 2015-01-06 20:26:19 -05:00
Philip C Monk
40dd771754 waypoint 2015-01-06 17:53:32 -05:00
Philip C Monk
654988cae2 added version to shell state 2015-01-05 15:00:40 -05:00
cgyarvin
a630c60a35 Merge pull request #228 from laanwj/2014_12_redundant_arms
Remove unused arms `hoax` and `hoof` from hoon
2014-12-20 14:00:59 -08:00
Wladimir J. van der Laan
a24b5ed2b2 Remove unused arms hoax and hoof from hoon 2014-12-20 07:23:14 +01:00
vere
ec288da507 Merge branch 'master' of https://github.com/urbit/urbit 2014-12-20 02:46:06 +00:00
vere
a81f60ce7e Merge branch 'master' of https://github.com/urbit/urbit 2014-12-20 02:45:31 +00:00
Anton Dyudin
819627ddf8 Protocol roll 0 2014-12-19 18:43:48 -08:00
vere
ec2242839e Merge branch 'master' of https://github.com/urbit/urbit 2014-12-20 02:40:19 +00:00
Anton Dyudin
a01f34f9d4 Pulled old radio from history 2014-12-19 18:31:43 -08:00
C. Guy Yarvin
d8904cc9d9 Merge branch 'master' of https://github.com/urbit/urbit 2014-12-19 11:25:40 -08:00
cgyarvin
29a569fb1a Merge pull request #224 from gkelly/no-error-unused-result
Ignore unused return values for functions that care.
2014-12-19 11:09:27 -08:00
Galen Wolfe-Pauly
613188d44c Merge branch 'master' of github.com:urbit/urbit-new 2014-12-19 11:09:17 -08:00
Galen Wolfe-Pauly
e727ab8d87 unsubscribe correctly 2014-12-19 11:03:01 -08:00
C. Guy Yarvin
a8d024dc3e Merge branch 'master' of https://github.com/urbit/urbit 2014-12-19 11:02:06 -08:00
C. Guy Yarvin
9b61bd7388 Continuity breach to protocol 7. 2014-12-19 11:00:08 -08:00
Galen Wolfe-Pauly
da4c7cf7df longer timer 2014-12-19 10:52:14 -08:00
Philip C Monk
0adc4eb45b bump ping time in :talk 2014-12-18 23:33:17 -05:00
Galen Wolfe-Pauly
3dc6ece88b attr width 2014-12-18 20:03:30 -08:00
Galen Wolfe-Pauly
99e6f0fb0b back off ping 2014-12-18 19:42:34 -08:00
Galen Wolfe-Pauly
c83f823c37 chat should be radio 2014-12-18 19:11:21 -08:00
Philip C Monk
125119ba8d bump protocol to 6 2014-12-18 21:15:39 -05:00
Philip C Monk
229588a785 Merge branch 'radio'
Conflicts:
	Makefile
2014-12-18 21:15:27 -05:00
Philip C Monk
45d47f786b remove printfs 2014-12-18 21:09:37 -05:00
Philip Monk
66730ec2f7 Merge pull request #222 from gkelly/cide-everywhere
Make short-lived apps %cide.
2014-12-18 18:08:07 -08:00
C. Guy Yarvin
34480db199 Helpful message 2014-12-18 17:45:25 -08:00
Philip C Monk
675a9f34e8 cleanup 2014-12-18 20:33:21 -05:00
Philip C Monk
754d0b73eb import old state from jamfile 2014-12-18 18:28:26 -05:00
Philip C Monk
57d25ecbf6 Merge branch 'radio' of https://github.com/urbit/urbit into radio 2014-12-18 18:02:12 -05:00
Philip C Monk
4dbe7c698b Revert "adapter code"
This reverts commit 11668f6060d2cf210d95d8d9a1925a0c0b7a928f.
2014-12-18 17:59:59 -05:00
Philip C Monk
649f5a804d adapter code 2014-12-18 17:59:41 -05:00
Garret Kelly
10422be164 Make short-lived apps %cide. 2014-12-18 22:58:15 +00:00
C. Guy Yarvin
8de5c34b6a Merge branch 'master' into radio 2014-12-18 11:10:09 -08:00
C. Guy Yarvin
bd9c796397 Merge branch 'master' into radio
Conflicts:
	urb/urbit.pill
2014-12-18 11:04:23 -08:00
C. Guy Yarvin
b45c307e86 Remove twitter. 2014-12-18 10:43:07 -08:00
C. Guy Yarvin
62b5dc78e6 Various fixes and improvements. 2014-12-18 10:37:36 -08:00
C. Guy Yarvin
71890f0020 Rodeo is radio. 2014-12-17 18:46:05 -08:00
C. Guy Yarvin
edef98f508 Rename rodeo to radio. 2014-12-17 18:34:40 -08:00