chiark / gitweb /
Ian Jackson [Sun, 22 Nov 2020 10:42:22 +0000 (10:42 +0000)]
wip sse url prefix
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 10:37:51 +0000 (10:37 +0000)]
remove some debug from Makefile
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 10:33:33 +0000 (10:33 +0000)]
tidy public_url a bit
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 00:33:47 +0000 (00:33 +0000)]
change name styling to Otter
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 23:33:51 +0000 (23:33 +0000)]
an xxx
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 23:30:11 +0000 (23:30 +0000)]
wip deploy
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 23:30:05 +0000 (23:30 +0000)]
some todos
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 23:24:01 +0000 (23:24 +0000)]
deployment work
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 23:06:48 +0000 (23:06 +0000)]
deploy specs too
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 22:56:28 +0000 (22:56 +0000)]
deployment work
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 22:47:00 +0000 (22:47 +0000)]
deployment work
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 22:35:33 +0000 (22:35 +0000)]
deployment work
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 22:31:55 +0000 (22:31 +0000)]
deployment work
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 21:57:35 +0000 (21:57 +0000)]
wip README
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 21:44:01 +0000 (21:44 +0000)]
better finding of specs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 21:42:25 +0000 (21:42 +0000)]
drop doc from default as it produces annoying warnings
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 21:25:47 +0000 (21:25 +0000)]
fix toplevel targets
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 21:24:51 +0000 (21:24 +0000)]
wip config and specs finding
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 20:08:07 +0000 (20:08 +0000)]
wip config specs in otter
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 19:08:53 +0000 (19:08 +0000)]
in_basedir less complex thunk
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 18:37:06 +0000 (18:37 +0000)]
wip local users table spec
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 18:37:02 +0000 (18:37 +0000)]
wip specs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 18:32:47 +0000 (18:32 +0000)]
thunkify and move local directory finding
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 17:51:20 +0000 (17:51 +0000)]
deploy: rename dmeo-game
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 17:50:21 +0000 (17:50 +0000)]
wip deploy
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 17:40:55 +0000 (17:40 +0000)]
pin when lowring
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 17:36:43 +0000 (17:36 +0000)]
lower: drop duplicate calculation
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 17:35:49 +0000 (17:35 +0000)]
lower: break out lower_targets
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 13:25:10 +0000 (13:25 +0000)]
lower: put pieces in right place
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 13:16:02 +0000 (13:16 +0000)]
do not send client piece state in requests (!)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 13:10:11 +0000 (13:10 +0000)]
zcoord: fix crash with empty iters
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 12:58:35 +0000 (12:58 +0000)]
lower: bug is fixed I think
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 12:57:24 +0000 (12:57 +0000)]
zcoord: final debug
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 12:54:37 +0000 (12:54 +0000)]
zcoord: add an overflow test
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 12:52:17 +0000 (12:52 +0000)]
zcoord: reorg test
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 12:50:50 +0000 (12:50 +0000)]
zcoord: impls for LimbVal
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 12:47:26 +0000 (12:47 +0000)]
zcoord: Better debug for LimbVal
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 12:39:49 +0000 (12:39 +0000)]
zcoord: Sort out to_str_buf
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 12:26:58 +0000 (12:26 +0000)]
zcoord: Break out LimbVal.to_str_buf
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 11:14:26 +0000 (11:14 +0000)]
zccord: tests for some_range
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 01:46:27 +0000 (01:46 +0000)]
wip MutateLast and tests
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 01:20:36 +0000 (01:20 +0000)]
introduce MutateReturn trait, nfc
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 00:58:23 +0000 (00:58 +0000)]
drop spurious ExactSizeIterator impl
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 00:55:34 +0000 (00:55 +0000)]
lower: fix order of range
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 00:34:05 +0000 (00:34 +0000)]
lower: move comment
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 00:26:44 +0000 (00:26 +0000)]
fix new limbval debug
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 21 Nov 2020 00:21:41 +0000 (00:21 +0000)]
Revert "this doesn't work, revert it"
This reverts commit
f8c1ad78d97c02b7daf7ac7cb12c8927cae78f45.
Ian Jackson [Sat, 21 Nov 2020 00:21:33 +0000 (00:21 +0000)]
fix lowering
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 20 Nov 2020 23:48:53 +0000 (23:48 +0000)]
this doesn't work, revert it
not worth debugging I think
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 20 Nov 2020 23:46:35 +0000 (23:46 +0000)]
fix zcoord debug - make it hex
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 20 Nov 2020 23:36:16 +0000 (23:36 +0000)]
fix zcoord debug - make it a newtype
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 20 Nov 2020 23:04:58 +0000 (23:04 +0000)]
fix zcoord debug
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 20 Nov 2020 22:49:25 +0000 (22:49 +0000)]
fix zcoord debug
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 20 Nov 2020 22:46:06 +0000 (22:46 +0000)]
wip lowering, debugging
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 20 Nov 2020 22:38:00 +0000 (22:38 +0000)]
wip lowering
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 19 Nov 2020 21:37:44 +0000 (21:37 +0000)]
ts: wip pin
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 19 Nov 2020 21:15:27 +0000 (21:15 +0000)]
ts: wip try lower impl
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 19 Nov 2020 20:27:50 +0000 (20:27 +0000)]
wasm: provide def_zcoord
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 19 Nov 2020 20:26:35 +0000 (20:26 +0000)]
rename functions etc. in setz implementation
This is SetZ now, not Raise
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 22:56:12 +0000 (22:56 +0000)]
found a todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 22:52:25 +0000 (22:52 +0000)]
new runes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 22:48:40 +0000 (22:48 +0000)]
cli: abolish gaccount
This is redundant now
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 22:46:27 +0000 (22:46 +0000)]
downgrade a todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 22:45:28 +0000 (22:45 +0000)]
default config lookup
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 22:24:42 +0000 (22:24 +0000)]
drop a todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 22:24:05 +0000 (22:24 +0000)]
some todos
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 22:21:50 +0000 (22:21 +0000)]
fix game names
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 22:13:40 +0000 (22:13 +0000)]
demote a todo
"whatever"
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 22:08:00 +0000 (22:08 +0000)]
omg it works again!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 21:58:57 +0000 (21:58 +0000)]
fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 21:24:17 +0000 (21:24 +0000)]
show command errors in debug trace
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 21:07:45 +0000 (21:07 +0000)]
Ian Jackson [Wed, 18 Nov 2020 21:06:40 +0000 (21:06 +0000)]
cli: --super option
This reverts commit
e212270ec6423f2c11574d70cac0f09ec3873c70.
Ian Jackson [Wed, 18 Nov 2020 20:52:19 +0000 (20:52 +0000)]
comment out some debug
This reverts commit
e212270ec6423f2c11574d70cac0f09ec3873c70.
Ian Jackson [Wed, 18 Nov 2020 20:51:46 +0000 (20:51 +0000)]
cli: use access_game in library-add
This reverts commit
e212270ec6423f2c11574d70cac0f09ec3873c70.
Ian Jackson [Wed, 18 Nov 2020 20:50:34 +0000 (20:50 +0000)]
cli: don't auto join games
This reverts commit
e212270ec6423f2c11574d70cac0f09ec3873c70.
Ian Jackson [Wed, 18 Nov 2020 20:48:10 +0000 (20:48 +0000)]
cli: use access_account
This reverts commit
e212270ec6423f2c11574d70cac0f09ec3873c70.
Ian Jackson [Wed, 18 Nov 2020 20:47:14 +0000 (20:47 +0000)]
cli: break out access_account
This reverts commit
e212270ec6423f2c11574d70cac0f09ec3873c70.
Ian Jackson [Wed, 18 Nov 2020 20:45:17 +0000 (20:45 +0000)]
cli: rename to prep_access_account
This reverts commit
e212270ec6423f2c11574d70cac0f09ec3873c70.
Ian Jackson [Wed, 18 Nov 2020 20:43:57 +0000 (20:43 +0000)]
Revert "optional join for reset, for revert"
This is not going to be trivial to implement
This reverts commit
e212270ec6423f2c11574d70cac0f09ec3873c70.
Ian Jackson [Wed, 18 Nov 2020 20:43:50 +0000 (20:43 +0000)]
optional join for reset, for revert
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 20:43:43 +0000 (20:43 +0000)]
cli: use CheckAccount
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 20:36:36 +0000 (20:36 +0000)]
checkaccount command
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 20:24:51 +0000 (20:24 +0000)]
cli: fix a metavar
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 20:20:37 +0000 (20:20 +0000)]
cli: wip restructure game joining
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 20:15:31 +0000 (20:15 +0000)]
cli: wip restructure game joining
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 20:07:09 +0000 (20:07 +0000)]
library list is not a table command
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 20:04:01 +0000 (20:04 +0000)]
cli: break out access_game
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 11:29:16 +0000 (11:29 +0000)]
rename toml to toml_de
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 18 Nov 2020 11:26:56 +0000 (11:26 +0000)]
wip toml, seems to work a bit
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 17 Nov 2020 21:03:33 +0000 (21:03 +0000)]
wip toml, doex not work, progressing
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 17 Nov 2020 19:57:36 +0000 (19:57 +0000)]
wip toml, doex not work, progressing
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 17 Nov 2020 19:45:23 +0000 (19:45 +0000)]
wip toml, doex not work, progressing
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 17 Nov 2020 19:34:09 +0000 (19:34 +0000)]
wip toml, doex not work
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 17 Nov 2020 19:22:56 +0000 (19:22 +0000)]
wip toml
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 17 Nov 2020 19:18:21 +0000 (19:18 +0000)]
wip toml
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 17 Nov 2020 18:42:34 +0000 (18:42 +0000)]
wip toml
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 17 Nov 2020 17:57:52 +0000 (17:57 +0000)]
wip join-game etc., experiencing toml bug
1: enum table must contain exactly one table for key `players` at line 1 column 1', src/bin/otter.rs:304:25
https://github.com/alexcrichton/toml-rs/issues/410
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 15 Nov 2020 23:11:48 +0000 (23:11 +0000)]
minor tidying
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 15 Nov 2020 23:08:34 +0000 (23:08 +0000)]
wip join-game etc., it all compiles!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
~ianmdlvl / otter.git / log