chiark / gitweb /
Ian Jackson [Wed, 25 Nov 2020 22:33:32 +0000 (22:33 +0000)]
something roughly resembling working landscape
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 25 Nov 2020 22:21:30 +0000 (22:21 +0000)]
before try flex horiz too
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 25 Nov 2020 21:03:29 +0000 (21:03 +0000)]
wip refactor for landscape optionality
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 25 Nov 2020 21:00:41 +0000 (21:00 +0000)]
move comments in server.toml
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 25 Nov 2020 21:00:19 +0000 (21:00 +0000)]
a comment about tera and logging
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 25 Nov 2020 20:23:42 +0000 (20:23 +0000)]
landscape.tera from other version
We're going to use Jinja inheritance
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 25 Nov 2020 20:23:28 +0000 (20:23 +0000)]
Revert "for revert/rework: demo landscape mode"
This reverts commit
c6ef9c4cea154323cfc760aabf91ac255685bce3.
Ian Jackson [Wed, 25 Nov 2020 20:20:54 +0000 (20:20 +0000)]
for revert/rework: demo landscape mode
Will want to use elements of this
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 21:07:37 +0000 (21:07 +0000)]
prep for layout changes (fix)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 21:01:35 +0000 (21:01 +0000)]
prep for layout changes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 21:01:23 +0000 (21:01 +0000)]
set width explicitly
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 20:45:54 +0000 (20:45 +0000)]
prep for layout changes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 20:37:12 +0000 (20:37 +0000)]
prep for layout changes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 20:24:29 +0000 (20:24 +0000)]
a todo list item
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 19:20:33 +0000 (19:20 +0000)]
fix leave game to not delete all pieces
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 19:06:09 +0000 (19:06 +0000)]
nicely handle leaving the game
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 19:00:09 +0000 (19:00 +0000)]
make less of a mess in quitting player
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 02:24:12 +0000 (02:24 +0000)]
bugs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 02:13:44 +0000 (02:13 +0000)]
nice penultima, document
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 02:13:04 +0000 (02:13 +0000)]
nice penultima, fix
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 02:12:15 +0000 (02:12 +0000)]
nice penultima
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 02:12:00 +0000 (02:12 +0000)]
abolish pieces that Wikimedia broke
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 01:41:26 +0000 (01:41 +0000)]
sip multilib
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 01:09:33 +0000 (01:09 +0000)]
need libitemsx
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 00:54:42 +0000 (00:54 +0000)]
chessboard fit pieces and whole number of pixels
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 00:54:33 +0000 (00:54 +0000)]
sort out dependencies on toml files
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 00:54:21 +0000 (00:54 +0000)]
some more docs
Ian Jackson [Mon, 23 Nov 2020 00:32:54 +0000 (00:32 +0000)]
done this todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 00:32:38 +0000 (00:32 +0000)]
list games
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 00:25:49 +0000 (00:25 +0000)]
delete game
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 00:08:29 +0000 (00:08 +0000)]
delete obsolete code
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 23 Nov 2020 00:07:04 +0000 (00:07 +0000)]
leave game
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 23:29:00 +0000 (23:29 +0000)]
bugs done
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 23:20:55 +0000 (23:20 +0000)]
a todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 23:19:24 +0000 (23:19 +0000)]
wip join game idempotency
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 22:25:27 +0000 (22:25 +0000)]
fix access saving (!)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 21:57:04 +0000 (21:57 +0000)]
minor fixes, todos
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 12:56:15 +0000 (12:56 +0000)]
nugatory front page
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 12:50:20 +0000 (12:50 +0000)]
link to the README.md
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 12:45:33 +0000 (12:45 +0000)]
fix up content-type for source bundles
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 12:22:26 +0000 (12:22 +0000)]
fixing up bundle-sources
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 11:47:38 +0000 (11:47 +0000)]
rationalised directory config
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 11:05:14 +0000 (11:05 +0000)]
improve bundled-sources check
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 22 Nov 2020 10:56:36 +0000 (10:56 +0000)]
sse url prefix
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
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>
~ianmdlvl / otter.git / log