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
4,438 Commits 768 Branches 10 Tags 215 MiB
84a0846379
Commit Graph

4438 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
C. Guy Yarvin
84a0846379 Double-solid before devulcanization transition attempt. 2016-01-03 16:23:19 -08:00
C. Guy Yarvin
ddae003feb Devulcanization artifacts out of vanes. 2016-01-03 01:22:57 -08:00
C. Guy Yarvin
fc4f6d9494 Much cleanup. 2016-01-02 22:20:24 -08:00
C. Guy Yarvin
6c4bbf866d About to switch over to devulcanized mode. 2016-01-02 12:45:26 -08:00
C. Guy Yarvin
836bda4995 Now satisfied with casual containers. 2016-01-01 16:19:06 -08:00
C. Guy Yarvin
56d30bd9fc ++nest fully repaired. 2016-01-01 14:47:07 -08:00
C. Guy Yarvin
533b8c8627 Now fully using new, non-degenerate ++nest. 2016-01-01 14:15:50 -08:00
C. Guy Yarvin
19936b94f0 Degenerate type appears vanquished, at least in C. 2015-12-31 20:49:01 -08:00
C. Guy Yarvin
009d4945b9 In the middle of rescuing ++low. 2015-12-31 17:01:19 -08:00
C. Guy Yarvin
70d809b558 New, non-degenerate ++nost almost works, fails on ++homo. 2015-12-31 02:07:29 -05:00
C. Guy Yarvin
aa72a755b7 Change %rock to %sand. 2015-12-29 16:52:51 -05:00
C. Guy Yarvin
3a1c0a6c43 Change %rock to %sand. 2015-12-29 14:52:22 -05:00
C. Guy Yarvin
385d47530f Cube type errors fully cleaned up. 2015-12-28 17:01:44 -05:00
C. Guy Yarvin
e04e53d1f6 Remove cubab. 2015-12-28 15:53:10 -05:00
C. Guy Yarvin
7c871cbf42 This really should work but doesn't, quite. 2015-12-28 13:35:31 -05:00
C. Guy Yarvin
5d150690c1 Almost ready to kill %cube; hoon.hoon fitz cleansed. 2015-12-28 03:45:12 -05:00
C. Guy Yarvin
d1c2b55215 Activate cubical atoms. Still generating %cube. 2015-12-27 22:18:25 -05:00
C. Guy Yarvin
86022c41d8 %moat is fully vanquished; %atom constants still vestigial. 2015-12-27 16:36:49 -05:00
C. Guy Yarvin
6bc0b86d75 Supporting both %moat and %atom. 2015-12-27 16:11:01 -05:00
C. Guy Yarvin
c1a3d64a28 %atom now fully converted to %moat. 2015-12-27 16:01:10 -05:00
C. Guy Yarvin
8e05cb7ce1 Supporting but not yet generating c3__moat. 2015-12-27 15:17:04 -05:00
C. Guy Yarvin
0c7a8c644b Fully abolish %bull. 2015-12-27 01:42:53 -05:00
C. Guy Yarvin
700cd5cf11 Disabled %bull. 2015-12-27 01:18:59 -05:00
C. Guy Yarvin
45b09f2c10 New powers for $face. 2015-12-27 00:43:40 -05:00
C. Guy Yarvin
9831c6c606 Remove funky semantics from %bull. 2015-12-26 23:58:07 -05:00
C. Guy Yarvin
fc30af8593 Rationalize jets. 2015-12-26 23:39:38 -05:00
C. Guy Yarvin
10022f3d38 About to clean out %bull. 2015-12-26 22:42:45 -05:00
C. Guy Yarvin
759f3ef463 Kicked ++us out of ++ut; replaced %clfs with %smfs. 2015-12-26 15:47:04 -05:00
C. Guy Yarvin
d9b7eba2c2 Eliminate snubbing. 2015-12-26 06:44:32 -05:00
C. Guy Yarvin
e8d575db20 Rename type to span. 2015-12-26 05:07:50 -05:00
C. Guy Yarvin
35aa34fca9 Eliminated ++reco. 2015-12-26 04:54:42 -05:00
C. Guy Yarvin
2c1fbd3eb2 With ++span replaced by ++knot; also, recursion filter in ++tuck. 2015-12-26 04:37:06 -05:00
C. Guy Yarvin
63b0bb3b86 Wrong pill, but should recompile properly. 2015-12-25 20:57:04 -05:00
C. Guy Yarvin
7dab136dc9 Now only one descent mechanism. 2015-12-25 20:09:27 -05:00
C. Guy Yarvin
feaaa13e06 Not quite working. 2015-12-25 00:45:53 -08:00
C. Guy Yarvin
0bc2c95b5d Last known good. 2015-12-25 00:26:07 -08:00
C. Guy Yarvin
148b3b5b88 Now with perfect ++feel. 2015-12-24 13:14:59 -08:00
C. Guy Yarvin
16659a3a21 This should be right but isn't. 2015-12-24 11:51:57 -08:00
C. Guy Yarvin
0494194dff About to reduce newdeal. 2015-12-24 11:46:06 -08:00
C. Guy Yarvin
75c3a7e04f new ++feel, almost perfect. 2015-12-24 00:20:22 -08:00
C. Guy Yarvin
ae792add4f No longer comparing to old seek. 2015-12-23 21:42:08 -08:00
C. Guy Yarvin
151ceea50d Matched to ++feel, with some temporary bull laming. 2015-12-23 21:30:54 -08:00
C. Guy Yarvin
8a18e8ede4 Interim commit. 2015-12-23 00:03:53 -08:00
C. Guy Yarvin
105a3ffc0b Cleanup should not have removed. 2015-12-22 23:18:53 -08:00
C. Guy Yarvin
a74d5219fc Stripdown part 2. 2015-12-22 21:19:38 -08:00
C. Guy Yarvin
f6d54ae941 Cleanup commit #1; revert this when ready to merge. 2015-12-22 21:04:35 -08:00
C. Guy Yarvin
c39ca2e92a Fixed %deet. Really about to prune. 2015-12-22 20:57:10 -08:00
C. Guy Yarvin
8f63262b74 About to strip the tree. Minor fixes. 2015-12-22 20:48:20 -08:00
C. Guy Yarvin
38fc2f77dc About to test ++feel. 2015-12-22 20:12:56 -08:00
C. Guy Yarvin
a121ca32d2 Disabled all wing traversal jerts. 2015-12-21 16:38:31 -08:00