Commit Graph

4325 Commits

Author SHA1 Message Date
Benjamin Summers
4f698bce8f Fill in event log on boot + cleanup. 2019-07-15 19:20:23 -07:00
Benjamin Summers
8781e7e648 More cleanup. 2019-07-15 17:23:48 -07:00
Benjamin Summers
430b180f0c Minor cleanup 2019-07-15 17:05:42 -07:00
Benjamin Summers
9872ea6e92 Boot from a pill! 2019-07-15 17:01:45 -07:00
Benjamin Summers
c474a94d13 stylish-haskell 2019-07-12 12:27:15 -07:00
Benjamin Summers
2d2029106b -Werror 2019-07-12 12:18:14 -07:00
Benjamin Summers
31d8e217c2 Massive cleanup. 2019-07-11 18:17:40 -07:00
Benjamin Summers
d5244af9d1 Switch to fat nouns everywhere + a bunch of refactoring. 2019-07-11 14:41:09 -07:00
Benjamin Summers
3a379f4a0a Separate FatNoun type into FatNoun+FatAtom. 2019-07-09 14:57:48 -07:00
Benjamin Summers
0d057747cc Jam/Cue: Tuning 2019-07-04 15:40:36 -07:00
Benjamin Summers
a7bbc9364c Faster Jam/Cue by using heuristics to predict hashtable size. 2019-07-04 15:06:41 -07:00
Benjamin Summers
54dd7a93f5 Jam/Cue: Cleanup 2019-07-03 21:01:40 -07:00
Benjamin Summers
221cb78c77 Jam and cue are both quite fast now! 5 seconds to load+jam+cue all three pills. 2019-07-03 17:53:21 -07:00
Benjamin Summers
8d5f537db8 Merge branch 'bs/uterm' of github.com:urbit/urbit into bs/uterm 2019-07-02 22:14:50 -07:00
Benjamin Summers
f4db869fd2 Got fast cue working. 2019-07-02 22:14:39 -07:00
Benjamin Summers
095aba7509 Flushed out and wired up my new impl.; doesn't work yet. 2019-07-02 18:15:48 -07:00
Elliot Glaysher
36f8f9420e Skeleton of Ames support 2019-07-02 16:37:10 -07:00
Benjamin Summers
5044379f30 More cleanup. 2019-07-01 19:51:26 -07:00
Benjamin Summers
2d25c21528 Jam: Cleanup 2019-07-01 19:43:10 -07:00
Benjamin Summers
d0893ae234 Can now fully replay my fakezod's event log! 2019-06-30 21:55:45 -07:00
Benjamin Summers
af1055b0f6 Progress towards being able to replay whole event log. 2019-06-30 21:47:21 -07:00
Benjamin Summers
3a406f3860 Reworked the algorithm, and implemented it. It works! 2019-06-30 21:09:42 -07:00
Benjamin Summers
a089cfea12 Got this working except there is a mistake in my approach.
I am traversing each subtree even if it will eventually become a back
reference.  While, traversing, I insert any backreferences that I find.
However, if the enclosing noun is a backreference, then all of the
backreferences found in subtrees will be invalid.
2019-06-30 20:12:25 -07:00
Benjamin Summers
89b2cccae7 Jam: much smarter preJam pass. 2019-06-30 19:30:23 -07:00
Benjamin Summers
d445c1cbb1 Fixed a back-ref bug in my old jam, and got my fast jam to pass tests. 2019-06-30 16:18:09 -07:00
Benjamin Summers
3c25a1bb6e Jam: backreferences. 2019-06-29 20:05:45 -07:00
Benjamin Summers
c8055f224f Finished code for fast Jam (no backreferences yet, and untested). 2019-06-29 19:36:07 -07:00
Benjamin Summers
d62ef3cdfe Write high-performance serialization utils for Jam. 2019-06-28 18:46:33 -07:00
Benjamin Summers
fc65176ca4 Fix segfault and handle more effects. 2019-06-27 14:28:58 -07:00
Benjamin Summers
9999e5264a Generate FromNoun code for sum types. 2019-06-26 17:58:55 -07:00
Benjamin Summers
4a666d1aa6 Generate FromNoun code for record types. 2019-06-26 16:40:31 -07:00
Benjamin Summers
f680e44ad5 Generate FromNoun code for enum types. 2019-06-26 16:27:37 -07:00
Benjamin Summers
798178d10c Finished generating ToNoun instances. 2019-06-26 15:51:30 -07:00
Benjamin Summers
c95d45198b Generate ToNoun instances for enum-shaped types. 2019-06-26 14:13:25 -07:00
Benjamin Summers
fb7e0b3838 Got generic deriving of ToNoun mostly working. 2019-06-25 17:15:49 -07:00
Benjamin Summers
febaeada1a Actually replay events! Also, parse some effects. 2019-06-25 13:58:07 -07:00
Benjamin Summers
6565c06fd4 Got something working: Can "replay" event log for ship whos snapshot is already up to date.. 2019-06-24 18:10:41 -07:00
Benjamin Summers
f6c6cb3e71 Unfinished refactoring. 2019-06-24 16:00:03 -07:00
Benjamin Summers
de8e02f572 Misc 2019-06-21 14:17:24 -07:00
Benjamin Summers
4d11547c6a Error recovery and inline tents. 2019-06-20 13:00:53 -07:00
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