Benjamin Summers
|
5bf82f46c2
|
urbit-atom: Cleanup
|
2020-03-18 12:38:48 -07:00 |
|
Benjamin Summers
|
33ef966afc
|
urbit-atom: Remove testing executable.
|
2020-03-18 11:13:52 -07:00 |
|
Benjamin Summers
|
cbc44643c7
|
urbit-atom: More TODO
|
2020-03-18 11:12:57 -07:00 |
|
Benjamin Summers
|
8b2d0928e6
|
urbit-atom: Use faster atom -> bytes routine where possible.
|
2020-03-18 11:12:57 -07:00 |
|
Benjamin Summers
|
3660d07b3e
|
urbit-atom: don't run reference impl. on big benchmarks.
|
2020-03-18 11:12:57 -07:00 |
|
Benjamin Summers
|
340cc6f0aa
|
urbit-atom: TODO.md
|
2020-03-18 11:12:53 -07:00 |
|
Benjamin Summers
|
da27ed54fa
|
urbit-atom: Benchmarks: GMP's import is faster than mine, but my export is much faster.
|
2020-03-18 11:12:49 -07:00 |
|
Benjamin Summers
|
0b68ab8a01
|
urbit-atom: Use GMPs import/export feature.
|
2020-03-13 10:04:38 -07:00 |
|
Benjamin Summers
|
029262333b
|
urbit-atom: unpin package verisons
|
2020-03-12 13:09:18 -07:00 |
|
Benjamin Summers
|
51656f915b
|
urbit-atom: Fallback to slow implementation in GHCJS for now.
|
2020-03-12 13:09:14 -07:00 |
|
Benjamin Summers
|
14cba45597
|
urbit-atom: Back out of vendoring integer-simple.
|
2020-03-12 13:09:10 -07:00 |
|
Benjamin Summers
|
7e79c6d200
|
urbit-atom: [WIP] remove negative numbers from integer-simple.
|
2020-03-12 10:58:29 -07:00 |
|
Benjamin Summers
|
2d1a6883e8
|
urbit-atom: s/Integer/Atom/ in integer-simple code.
|
2020-03-12 10:49:35 -07:00 |
|
Benjamin Summers
|
01d1a0f7e9
|
urbit-atom: Moved urbit-integer-simple into urbit-atom package.
|
2020-03-12 10:45:01 -07:00 |
|
Benjamin Summers
|
cd656b389f
|
urbit-atom: Vendor integer-simple.
|
2020-03-12 10:19:14 -07:00 |
|
Benjamin Summers
|
0abf80cc8e
|
urbit-atom: Don't use tasty for tests to avoid clock dependency.
|
2020-03-12 09:59:50 -07:00 |
|
Benjamin Summers
|
b659f48c3e
|
urbit-atom: No classy-prelude dependency.
|
2020-03-11 19:41:07 -07:00 |
|
Benjamin Summers
|
2a7058ffd8
|
urbit-atom: don't use unboxed tuples (breaks ghci)
|
2020-03-11 19:24:18 -07:00 |
|
Benjamin Summers
|
3c568c8e4c
|
urbit-atom: Wrote tests and fixed an edge-case.
|
2020-03-11 19:19:38 -07:00 |
|
Benjamin Summers
|
ccdc40a467
|
Merge branch 'bs/portable-urbit-atom' of github.com:urbit/urbit into bs/portable-urbit-atom
|
2020-03-11 14:11:43 -07:00 |
|
Benjamin Summers
|
de3de09fca
|
urbit-atom: Reference impl. for atom/bytes and atom/words conversion.
|
2020-03-11 14:11:12 -07:00 |
|
Benjamin Summers
|
8f25a50232
|
Pulled some urbit-atom test from the bowels of git history. Not working yet.
|
2020-03-06 23:19:19 -08:00 |
|
Benjamin Summers
|
28ae8bbaf2
|
urbit-atom: Debugging hacks to test in GHCJS.
|
2020-03-06 18:12:53 -08:00 |
|
Benjamin Summers
|
f7356fe1ed
|
urbit-atom: Support 32 bit CPUs
|
2020-03-06 14:31:12 -08:00 |
|
Benjamin Summers
|
70bda9f9d3
|
urbit-atom: autofmt urbit-atom.
|
2020-03-06 14:31:06 -08:00 |
|
Benjamin Summers
|
2bc8506a74
|
urbit-atom: Got Atom.Internal to build with GHCJS.
|
2020-03-06 14:31:00 -08:00 |
|
Benjamin Summers
|
237774adc5
|
king: Slight CLI cleanup and fix test build.
Forgot to add `hidden` to http options. Without this, they show up on
the summary line in `king run --help`.
|
2020-03-04 19:18:00 -08:00 |
|
Benjamin Summers
|
2dc97293cc
|
king: Add command-line flags to configure HTTP and HTTPS ports.
|
2020-03-04 19:13:21 -08:00 |
|
Benjamin Summers
|
957c0da9bb
|
king: Terminal input line wasn't being shown b/c line buffering.
|
2020-02-20 14:41:07 +04:00 |
|
Benjamin Summers
|
e1f6db7250
|
king: Remove TERMINFO_DIRS hack.
|
2020-02-20 14:41:07 +04:00 |
|
Benjamin Summers
|
9d2d6c42c6
|
king: First stab at removing terminfo dependency.
|
2020-02-20 14:41:07 +04:00 |
|
Benjamin Summers
|
a318462836
|
king: New dependency: ansi-terminal
|
2020-02-20 14:41:06 +04:00 |
|
Benjamin Summers
|
3b1bd6600a
|
king: Factored all terminal rendering logic into its own module.
|
2020-02-20 14:41:03 +04:00 |
|
Benjamin Summers
|
4be4551f18
|
king: Use newer static-haskell-nix script for KH build.
|
2020-02-14 07:13:55 -08:00 |
|
Benjamin Summers
|
3b42c5412f
|
Fix counting bug in event log replay.
|
2020-02-05 15:20:32 -08:00 |
|
Isaac Visintainer
|
98fa24908a
|
fix progress bar in daemon mode
|
2020-02-03 17:27:16 -08:00 |
|
Isaac Visintainer
|
e25d30163d
|
Merge branch 'king-haskell' of https://github.com/urbit/urbit into king-auto-connect
|
2020-02-03 14:23:44 -08:00 |
|
benjamin-tlon
|
84ddf79264
|
Merge pull request #2163 from urbit/philip/king-replay
king: add partial-replay and --dry-from
|
2020-01-28 00:35:53 -08:00 |
|
Benjamin Summers
|
d411c914a4
|
Got Linux release builds working again.
|
2020-01-25 14:39:42 -08:00 |
|
Benjamin Summers
|
05e64cfdf0
|
Merge branch 'king-haskell' of https://github.com/urbit/urbit into philip/king-replay
|
2020-01-25 14:18:33 -08:00 |
|
Philip Monk
|
18a279aeaf
|
king: style improvements
|
2020-01-24 16:25:49 -08:00 |
|
Benjamin Summers
|
c40a02b044
|
king: Build without warnings.
|
2020-01-23 22:23:43 -08:00 |
|
Benjamin Summers
|
2df59aa4ff
|
Fix king-haskell Linux release build.
|
2020-01-23 22:09:23 -08:00 |
|
Benjamin Summers
|
dd29419f41
|
Merge branch 'king-haskell' into philip/king-replay
|
2020-01-23 21:47:06 -08:00 |
|
Benjamin Summers
|
ba3f631617
|
Merge branch 'king-haskell' into king-auto-connect
|
2020-01-23 21:37:51 -08:00 |
|
Benjamin Summers
|
6977ae8d3f
|
Renamed modules Ur.** to Urbit.** to be consistent with urbit-{atom,hob}
|
2020-01-23 21:28:38 -08:00 |
|
Benjamin Summers
|
6a450b93b9
|
king: Rename king package to urbit-king.
|
2020-01-23 21:20:43 -08:00 |
|
Benjamin Summers
|
fd4d7b9ba4
|
Merge branch 'king-haskell' of github.com:urbit/urbit into philip/king-replay
|
2020-01-23 18:57:22 -08:00 |
|
Benjamin Summers
|
c91e0a678f
|
Merge branch 'king-haskell' of github.com:urbit/urbit into king-auto-connect
|
2020-01-23 01:49:18 -08:00 |
|
Benjamin Summers
|
27c0750796
|
Clean up Urbit.Atom and move it into it's own package.
|
2020-01-23 01:45:30 -08:00 |
|