Benjamin Summers
4d95cf7778
urbit-king: urbit urbit-termsize library.
2020-03-23 13:35:50 -07:00
Benjamin Summers
a52aca28a6
urbit-king: Library for getting current terminal size (SIGWINCH).
2020-03-23 13:35:18 -07:00
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
Benjamin Summers
ad5f40efff
Merge branch 'king-haskell' of github.com:urbit/urbit into king-auto-connect
2020-01-22 20:29:59 -08:00
Benjamin Summers
f1cd1bf750
Module structure, doc strings
2020-01-22 20:16:09 -08:00
Benjamin Summers
7721bae18f
Bump stackage version.
2020-01-22 19:08:50 -08:00
Benjamin Summers
f0892436ff
Got docs to build.
2020-01-22 18:58:22 -08:00
Isaac Visintainer
b5c24eeadb
king haskell: automatically connect to terminal when running a ship
2020-01-10 16:39:31 -08:00
Philip Monk
8a8341a783
king: add partial-replay and --dry-from
...
partial-replay allows you to replay up to event N and make a checkpoint
there. --dry-from replays to event N and then starts in dry-run mode
from that point, so you can attach a console.
The intended debug flow is to use partial-replay to make a checkpoint
near when a bug is triggered, then use event-browser and --dry-from to
drill down and find exactly what triggered the bug.
Unfortunately, if the bug was triggered by crash handling, you do not
have the original event, only the injected replacement event. This is
still useful, though.
2020-01-10 14:19:08 -08:00
Benjamin Summers
06934959ca
Make sure we close HTTP sockets on close (or reconfigure).
2019-12-21 18:24:54 -08:00
Benjamin Summers
2e8defccc1
Hack around terminfo database problem.
2019-12-21 07:55:24 -08:00
Benjamin Summers
5d66c39d02
Fixed bug in HTTP Server (only first block from stream was handled).
2019-12-20 13:47:20 -08:00
Benjamin Summers
5dd3cdde91
Logging for event sourced responses.
2019-12-20 12:59:01 -08:00
Benjamin Summers
ba83024c9e
Cleanup port binding logic.
2019-12-20 12:58:16 -08:00
Benjamin Summers
f7e0e22ce7
Allow remote HTTP connections.
2019-12-19 14:20:04 -08:00
Benjamin Summers
921718c6f4
Try to open normal ports 80/8080/443/etc before just opening some fucking port.
2019-12-19 13:20:31 -08:00
Benjamin Summers
03131c1400
Fix HTTP server effect parse errors.
2019-12-19 11:30:09 -08:00
Benjamin Summers
44d477dff8
Hacked terminal-progress-bar to use RIO.logSticky for better interaction with log output.
2019-12-19 10:21:23 -08:00
Benjamin Summers
ef6d0cc189
Vendored terminal-progress-bar.
2019-12-19 09:40:21 -08:00
benjamin-tlon
fcae7e6587
Build Linux static executables. ( #2120 )
2019-12-19 08:11:59 -08:00
Benjamin Summers
e6d8d382dc
Moved *.hs into a single package.
2019-05-08 13:00:12 -07:00
Benjamin Summers
fbf9a1b3fc
Urbit.Time
2019-05-08 11:47:20 -07:00
Benjamin Summers
4b38053509
Behn
2019-05-05 14:46:40 -07:00
Benjamin Summers
25713052c0
Messing around.
2019-05-01 19:19:19 -07:00
Benjamin Summers
87dbcef866
Minor cleanup.
2019-04-29 16:15:25 -07:00
Benjamin Summers
ac8144114b
Some Haskell. Now how to build with nix?
2019-04-29 16:01:18 -07:00
