Commit Graph

10096 Commits

Author SHA1 Message Date
Philip Monk
2fd87c815b
add contracts to trad and time-related stdio functions 2019-05-26 18:07:02 -07:00
Joe Bryan
a32e8a3def updates %jael +note/+sign to reference other vanes with $> 2019-05-26 13:38:23 -07:00
Joe Bryan
ffd4a259c4 updates %ford +note/+sign to reference other vanes with $> 2019-05-26 02:51:19 -07:00
Joe Bryan
46d376e853 updates %eyre +note/+sign to reference other vanes with $> 2019-05-26 02:47:33 -07:00
Joe Bryan
a267f1aca9 updates %dill +note/+sign to reference other vanes with $> 2019-05-26 02:44:35 -07:00
Joe Bryan
8e4303fdf8 updates %clay +note/+sign to reference other vanes with $> 2019-05-26 02:26:10 -07:00
Joe Bryan
b7bdc66bc8 updates %behn +note/+sign to reference other vanes with $> 2019-05-26 02:23:03 -07:00
Joe Bryan
313052ff09 updates %ames +note/+sign to reference other vanes with $> 2019-05-26 02:08:23 -07:00
Philip Monk
9eb10aaec1
better stdio 2019-05-25 19:17:18 -07:00
Joe Bryan
36ed4192a7 reconciles the definition of +mold and the expansion of +* 2019-05-25 11:08:30 -07:00
Jared Tobin
d4706234fd
Merge branch 'master' into fix-ho-mold-bunts 2019-05-25 17:54:57 +08:00
Jared Tobin
cf2fa883b3
Merge pull request #1176 from urbit/fix-spec-assertions
fixes the macro expansion of $> and $< specs
2019-05-25 15:45:04 +08:00
Joe Bryan
09b249b819 fix +* spec parameter bunts (default to identity) 2019-05-25 00:23:24 -07:00
Philip Monk
ece6bba79b
bigger poc 2019-05-24 19:45:46 -07:00
Joe Bryan
0d45e8056a fixes the macro expansion of $> and $< specs 2019-05-24 14:09:25 -07:00
Jared Tobin
90e44afde4
Merge pull request #1175 from urbit/philip/clay-foreign
Clay cleanup
2019-05-24 19:37:14 +08:00
Philip Monk
77f4a54933
Merge remote-tracking branch 'origin/master' into philip/clay-foreign 2019-05-23 17:10:33 -07:00
Philip Monk
3817896ae7
transaction apps 2019-05-23 12:31:52 -07:00
Philip Monk
bdbdba4af2
keep engough state to restart foreign updates/requests 2019-05-23 10:30:15 -07:00
Philip Monk
67925fd4d0
typos 2019-05-22 22:45:06 -07:00
Philip Monk
dbcfa3658b
fix another bug 2019-05-22 22:36:34 -07:00
Philip Monk
6c51c8bb9e
lost this line somewhere 2019-05-22 19:12:44 -07:00
Philip Monk
dfc2207e99
remove printfs 2019-05-22 18:40:34 -07:00
Philip Monk
4f739caeab
child-sync, breach-sync, breach-multiple works 2019-05-22 17:55:58 -07:00
Philip Monk
5ec205a34a
wip reworked +wake; compiles 2019-05-22 17:55:57 -07:00
Philip Monk
5a1cccdcea
queue mounting 2019-05-22 17:55:57 -07:00
Philip Monk
80e22ab7c2
monadify foreign request/update 2019-05-22 17:55:45 -07:00
Jared Tobin
ec1b5a2e21
Merge pull request #1169 from urbit/philip/individual-breaches
Individual breaches, Clay edition
2019-05-18 05:31:24 +08:00
Philip Monk
959b474ef9
Merge pull request #1174 from urbit/philip/more-clay-monads
Clad improvements
2019-05-17 11:37:48 -07:00
Jared Tobin
98a3bcc318
Merge branch 'master' into philip/individual-breaches 2019-05-17 20:56:07 +08:00
Jared Tobin
75e3479a53
Merge pull request #1172 from urbit/jet
remove ~&pure-mint from mint (prelude to jet decapitation)
2019-05-17 20:54:33 +08:00
Philip Monk
e412bf808e
factor out the essential clad evaluation 2019-05-16 14:02:21 -07:00
Philip Monk
cba357f5ea
add paths to notes for documentation 2019-05-16 11:50:13 -07:00
Philip Monk
e615814ba4
re-add cross-commit mime cache 2019-05-15 15:50:13 -07:00
pilfer-pandex
1e7fe11a6e remove ~&pure-mint from mint (prelude to jet decapitation) 2019-05-15 13:18:41 -07:00
Philip Monk
8cd261451a
Merge remote-tracking branch 'origin/master' into philip/individual-breaches 2019-05-15 11:37:06 -07:00
Philip Monk
8a56dd8da9
style 2019-05-15 11:07:14 -07:00
Joe Bryan
23507c12fb
Merge pull request #1170 from urbit/lte-loopback
lte: restore lens control plane
2019-05-14 15:04:44 -07:00
Joe Bryan
e5275d9861 updates +unix-task, aqua/ph compiles 2019-05-14 13:39:09 -07:00
Joe Bryan
64ff55fe5b removes %rver and lens request/response printfs 2019-05-14 11:31:51 -07:00
Philip Monk
4a569c4a79
fix tests 2019-05-13 23:18:52 -07:00
Philip Monk
1aefafbba4
make slow 2019-05-13 22:36:05 -07:00
Philip Monk
780c0ebbc6
light refactoring and heavy commenting 2019-05-13 22:27:11 -07:00
Philip Monk
815f6c942d
breach-sync works 2019-05-13 14:45:53 -07:00
Philip Monk
1eaac49e4d
wip child-sync works 2019-05-13 13:53:46 -07:00
Philip Monk
c6670249a5
wip debugging child-sync 2019-05-10 19:23:13 -07:00
Philip Monk
1903d68b14
boot works 2019-05-10 14:51:37 -07:00
Philip Monk
38cfb7fbec
compiles 2019-05-09 18:06:18 -07:00
Jared Tobin
4b09d4db98
Merge pull request #1166 from urbit/hard
remove +hard, replace with new ;;
2019-05-10 08:16:58 +08:00
pilfer-pandex
8b34af4ca2 fix inappropriate translation in hall-legacy 2019-05-09 13:52:15 -07:00