urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-14 20:02:51 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,214 Commits 768 Branches 10 Tags 215 MiB
b39b85009d
Commit Graph

2214 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Anton Dyudin
d7bd0347ff Fixed file builtins 2015-01-08 13:15:04 -08:00
Anton Dyudin
a9d2017d22 Fixed ford ++lamp %cw misuse 2015-01-08 12:50:31 -08:00
Anton Dyudin
865ef7e72a %fy .^ 2015-01-08 11:42:42 -08:00
Anton Dyudin
9f17771a5d Added .^ %fx 2015-01-07 17:49:57 -08:00
C. Guy Yarvin
d2be7d7585 About to do some performance testing. 2015-01-07 13:26:05 -08:00
C. Guy Yarvin
1ab6cac650 Fix activity timer bug. 2015-01-07 12:37:55 -08:00
C. Guy Yarvin
709d633815 Various fixes and improvements. 2015-01-06 17:27:02 -08:00
C. Guy Yarvin
23dd79c52c Refactor ++hy. 2015-01-06 12:31:36 -08:00
C. Guy Yarvin
4917dc9e59 Basic radio service now active. 2015-01-05 15:59:57 -08:00
Philip C Monk
654988cae2 added version to shell state 2015-01-05 15:00:40 -05:00
C. Guy Yarvin
3713e95d7c Various fixes and improvements. 2015-01-03 22:24:48 -08:00
C. Guy Yarvin
c385868c3f Merge branch 'radio' of https://github.com/urbit/urbit into radio 
Conflicts:
	urb/zod/main/app/talk/core.hook
 2015-01-01 12:44:51 -08:00
C. Guy Yarvin
6c4ddb45d7 Various fixes and improvements. 2015-01-01 12:43:50 -08: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
C. Guy Yarvin
96b65e4f91 Merge branch 'radio' of https://github.com/urbit/urbit into radio 
Conflicts:
	urb/zod/main/app/rodeo/core.hook
 2014-12-17 18:30:11 -08:00
C. Guy Yarvin
1a6b6bd3a2 Various fixes and improvements. 2014-12-17 18:29:32 -08:00