Benjamin Summers
|
f3cf0688c9
|
Conq: jets, lazy thunks, and grains.
|
2019-06-20 10:13:34 -07:00 |
|
Benjamin Summers
|
f0848ee769
|
Cleanup
|
2019-06-19 16:16:07 -07:00 |
|
Elliot Glaysher
|
4f52382a75
|
Various Fixes and Improvements.
|
2019-06-18 17:04:57 -07:00 |
|
Elliot Glaysher
|
7caadf43bc
|
More of pier startup factored correctly.
|
2019-06-18 15:38:24 -07:00 |
|
Elliot Glaysher
|
8a16fdd864
|
Continue translating pier.c into Worker.hs
|
2019-06-17 16:47:20 -07:00 |
|
Benjamin Summers
|
2f7e31f671
|
Basic type inference.
|
2019-06-16 18:04:43 -07:00 |
|
Benjamin Summers
|
5d69eb0a5a
|
Implemented eval, gates, cores, and a step-debugger.
|
2019-06-16 13:30:00 -07:00 |
|
Benjamin Summers
|
3fd0ab4270
|
Whatever
|
2019-06-14 18:49:37 -07:00 |
|
Benjamin Summers
|
3e518f4d99
|
Separated new-vere executables into separate package for faster builds.
|
2019-06-01 14:57:53 -07:00 |
|
Benjamin Summers
|
54fc5f6078
|
Types and conversion for Tank/Plum.
|
2019-06-01 14:49:21 -07:00 |
|
Benjamin Summers
|
5b3ab33dac
|
Lots of noun parsing/unparsing code.
|
2019-06-01 14:07:40 -07:00 |
|
Benjamin Summers
|
6a5bc78370
|
More progress on worker interaction.
|
2019-05-31 17:21:44 -07:00 |
|
Elliot Glaysher
|
585cb74c1f
|
Start work on the thing which communicates with the subprocess.
|
2019-05-31 15:55:21 -07:00 |
|
Benjamin Summers
|
d6905191ed
|
Use Iso's in Data.Noun.Pill
|
2019-05-30 19:53:16 -07:00 |
|
Elliot Glaysher
|
2727ae74d0
|
Completed event log code. We can write the log entirely.
|
2019-05-30 16:04:06 -07:00 |
|
Benjamin Summers
|
73b93e90cb
|
Optimized (and some cleanup of) pill creation.
|
2019-05-30 15:48:22 -07:00 |
|
Elliot Glaysher
|
96b652b4fb
|
We can write small events, but we can't write large ones because unpackAtom
|
2019-05-30 14:24:14 -07:00 |
|
Elliot Glaysher
|
3514439fe1
|
We can read data from an lmdb event log.
(And maybe write, but we didn't test that.)
|
2019-05-30 13:19:26 -07:00 |
|
Elliot Glaysher
|
7cedae3f70
|
Merge branch 'bs/uterm' of github.com:urbit/urbit into bs/uterm
|
2019-05-29 16:44:03 -07:00 |
|
Elliot Glaysher
|
80ffe5f8ec
|
Think about writeEvent?
|
2019-05-29 16:43:51 -07:00 |
|
Elliot Glaysher
|
0509e9d45c
|
Lots more code for lmdb.
|
2019-05-29 16:25:38 -07:00 |
|
Benjamin Summers
|
a37ac10413
|
Isle colors.
|
2019-05-29 12:47:14 -07:00 |
|
Benjamin Summers
|
e562dac9f7
|
Various fixes and improvements.
|
2019-05-29 11:33:09 -07:00 |
|
Benjamin Summers
|
43ba628aa6
|
Got Vere.Log.put to compile.
|
2019-05-28 17:32:39 -07:00 |
|
Elliot Glaysher
|
c5cc3308ce
|
Sketching lmdb integration. Unfinished.
|
2019-05-28 17:16:30 -07:00 |
|
Benjamin Summers
|
854e2da4b8
|
Correct axis for fire.
|
2019-05-27 16:10:17 -07:00 |
|
Benjamin Summers
|
20a95edacb
|
Bugfix + core example (but has infinite type until recursive types are implemented).
|
2019-05-24 18:33:46 -07:00 |
|
Benjamin Summers
|
0be4b8527f
|
Attila: Use nock 9 for firing arms.
|
2019-05-24 18:10:24 -07:00 |
|
Elliot Glaysher
|
845890e87c
|
Various fixes and improvements.
|
2019-05-24 16:08:59 -07:00 |
|
Elliot Glaysher
|
edd289181b
|
Some server stuff.
|
2019-05-24 16:03:46 -07:00 |
|
Benjamin Summers
|
7989d07ec3
|
More Attilla.IR cleanup.
|
2019-05-23 17:16:28 -07:00 |
|
Elliot Glaysher
|
5dc839bc36
|
Add some server stuff.
|
2019-05-23 16:58:18 -07:00 |
|
Elliot Glaysher
|
ee1938f6fe
|
Merge branch 'lighter-than-eyre' into bs/uterm
|
2019-05-23 16:02:51 -07:00 |
|
Benjamin Summers
|
8e3d71747c
|
More cleanup.
|
2019-05-23 15:16:32 -07:00 |
|
Benjamin Summers
|
e6fd500692
|
Attila.IR cleanup.
|
2019-05-23 14:54:48 -07:00 |
|
Benjamin Summers
|
ae3031f3fc
|
Nock code generation for Attila.
|
2019-05-23 00:12:44 -07:00 |
|
Benjamin Summers
|
a129f7e6f1
|
Type Inference for Attila's IR
|
2019-05-22 18:14:21 -07:00 |
|
Benjamin Summers
|
3fa12dcec4
|
Wrote most of the code for a high-perf cue.
|
2019-05-21 00:25:58 -07:00 |
|
Benjamin Summers
|
a66aeb398a
|
Language.Attilla
|
2019-05-20 16:40:02 -07:00 |
|
Benjamin Summers
|
dc5db9f3d1
|
Loading pills works; initial work on jets for jam/cue.
|
2019-05-20 16:04:28 -07:00 |
|
Benjamin Summers
|
83db727920
|
Tested the shit out of my pill loading code.
|
2019-05-19 23:14:07 -07:00 |
|
Benjamin Summers
|
a755880d46
|
Debugging and Optimizing jam/cue
|
2019-05-19 20:20:03 -07:00 |
|
Benjamin Summers
|
9919127620
|
Wrote code to load a pill file, but it doesn't work yet.
|
2019-05-19 18:53:32 -07:00 |
|
Benjamin Summers
|
64e4d11427
|
Optimized Zip compression table and dramatically simplified it's code
|
2019-05-17 20:44:13 -07:00 |
|
Benjamin Summers
|
fd1190faba
|
Optimize zip for small atom sizes.
|
2019-05-17 16:02:39 -07:00 |
|
Elliot Glaysher
|
7b7510b859
|
Fleshed out Client.hs.
|
2019-05-17 14:52:12 -07:00 |
|
Benjamin Summers
|
0008ca0bc9
|
Various fixes and improvements.
|
2019-05-16 23:39:07 -07:00 |
|
Benjamin Summers
|
18098beaac
|
zipFlat is now typically smaller and faster than jam.
|
2019-05-16 19:56:06 -07:00 |
|
Benjamin Summers
|
2374ed3ce8
|
Don't send a Canceled event if the request already finished.
|
2019-05-16 18:45:03 -07:00 |
|
Benjamin Summers
|
fc6f3028e2
|
Vere.Http.Client golfing.
|
2019-05-16 18:25:58 -07:00 |
|