chiark / gitweb /
otter.git
4 years agowip lowering
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>
4 years agots: wip pin
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>
4 years agots: wip try lower impl
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>
4 years agowasm: provide def_zcoord
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>
4 years agorename functions etc. in setz implementation
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>
4 years agofound a todo
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>
4 years agonew runes
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>
4 years agocli: abolish gaccount
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>
4 years agodowngrade a todo
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>
4 years agodefault config lookup
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>
4 years agodrop a todo
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>
4 years agosome todos
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>
4 years agofix game names
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>
4 years agodemote a todo
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>
4 years agoomg it works again!
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>
4 years agofixes
Ian Jackson [Wed, 18 Nov 2020 21:58:57 +0000 (21:58 +0000)]
fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshow command errors in debug trace
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>
4 years agocli: fix an ident
Ian Jackson [Wed, 18 Nov 2020 21:07:45 +0000 (21:07 +0000)]
cli: fix an ident

This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.

4 years agocli: --super option
Ian Jackson [Wed, 18 Nov 2020 21:06:40 +0000 (21:06 +0000)]
cli: --super option

This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.

4 years agocomment out some debug
Ian Jackson [Wed, 18 Nov 2020 20:52:19 +0000 (20:52 +0000)]
comment out some debug

This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.

4 years agocli: use access_game in library-add
Ian Jackson [Wed, 18 Nov 2020 20:51:46 +0000 (20:51 +0000)]
cli: use access_game in library-add

This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.

4 years agocli: don't auto join games
Ian Jackson [Wed, 18 Nov 2020 20:50:34 +0000 (20:50 +0000)]
cli: don't auto join games

This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.

4 years agocli: use access_account
Ian Jackson [Wed, 18 Nov 2020 20:48:10 +0000 (20:48 +0000)]
cli: use access_account

This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.

4 years agocli: break out access_account
Ian Jackson [Wed, 18 Nov 2020 20:47:14 +0000 (20:47 +0000)]
cli: break out access_account

This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.

4 years agocli: rename to prep_access_account
Ian Jackson [Wed, 18 Nov 2020 20:45:17 +0000 (20:45 +0000)]
cli: rename to prep_access_account

This reverts commit e212270ec6423f2c11574d70cac0f09ec3873c70.

4 years agoRevert "optional join for reset, for revert"
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.

4 years agooptional join for reset, for revert
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>
4 years agocli: use CheckAccount
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>
4 years agocheckaccount command
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>
4 years agocli: fix a metavar
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>
4 years agocli: wip restructure game joining
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>
4 years agocli: wip restructure game joining
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>
4 years agolibrary list is not a table command
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>
4 years agocli: break out access_game
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>
4 years agorename toml to toml_de
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>
4 years agowip toml, seems to work a bit
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>
4 years agowip toml, doex not work, progressing
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>
4 years agowip toml, doex not work, progressing
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>
4 years agowip toml, doex not work, progressing
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>
4 years agowip toml, doex not work
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>
4 years agowip toml
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>
4 years agowip toml
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>
4 years agowip toml
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>
4 years agowip join-game etc., experiencing toml bug
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>
4 years agominor tidying
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>
4 years agowip join-game etc., it all compiles!
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>
4 years agowip join-game etc.
Ian Jackson [Sun, 15 Nov 2020 22:59:29 +0000 (22:59 +0000)]
wip join-game etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip join-game etc.
Ian Jackson [Sun, 15 Nov 2020 22:10:16 +0000 (22:10 +0000)]
wip join-game etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip join-game etc.
Ian Jackson [Sun, 15 Nov 2020 18:45:43 +0000 (18:45 +0000)]
wip join-game etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agobefore clone for PlayerAccessSpec via serde
Ian Jackson [Sun, 15 Nov 2020 18:08:26 +0000 (18:08 +0000)]
before clone for PlayerAccessSpec via serde

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip join-game etc.
Ian Jackson [Sun, 15 Nov 2020 12:49:17 +0000 (12:49 +0000)]
wip join-game etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip join-game etc.
Ian Jackson [Sun, 15 Nov 2020 12:45:47 +0000 (12:45 +0000)]
wip join-game etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip join-game
Ian Jackson [Sat, 14 Nov 2020 12:26:00 +0000 (12:26 +0000)]
wip join-game

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort revelations
Ian Jackson [Fri, 13 Nov 2020 23:47:41 +0000 (23:47 +0000)]
sort revelations

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip report token revelations nfc
Ian Jackson [Fri, 13 Nov 2020 23:45:33 +0000 (23:45 +0000)]
wip report token revelations nfc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoreport token revelations only if nontrivial
Ian Jackson [Fri, 13 Nov 2020 23:41:05 +0000 (23:41 +0000)]
report token revelations only if nontrivial

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip report token revelations
Ian Jackson [Fri, 13 Nov 2020 23:33:03 +0000 (23:33 +0000)]
wip report token revelations

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip report token revelations
Ian Jackson [Fri, 13 Nov 2020 23:29:52 +0000 (23:29 +0000)]
wip report token revelations

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoprep for chain nfc
Ian Jackson [Fri, 13 Nov 2020 23:15:27 +0000 (23:15 +0000)]
prep for chain nfc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip token revelation revelation
Ian Jackson [Fri, 13 Nov 2020 23:10:10 +0000 (23:10 +0000)]
wip token revelation revelation

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort out Who
Ian Jackson [Fri, 13 Nov 2020 22:58:26 +0000 (22:58 +0000)]
sort out Who

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshuffle Who nfc
Ian Jackson [Fri, 13 Nov 2020 21:39:15 +0000 (21:39 +0000)]
shuffle Who nfc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agopublic_url config
Ian Jackson [Fri, 13 Nov 2020 21:34:12 +0000 (21:34 +0000)]
public_url config

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agobreak out config module
Ian Jackson [Fri, 13 Nov 2020 21:26:35 +0000 (21:26 +0000)]
break out config module

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomove an xxx - should be done in client
Ian Jackson [Fri, 13 Nov 2020 21:23:03 +0000 (21:23 +0000)]
move an xxx - should be done in client

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoremove an xxx - not needed
Ian Jackson [Fri, 13 Nov 2020 21:20:59 +0000 (21:20 +0000)]
remove an xxx - not needed

Now we imaging filtering so ListPieces only sees public info, we
don't need a log entry.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorename type alias nfc
Ian Jackson [Fri, 13 Nov 2020 21:20:30 +0000 (21:20 +0000)]
rename type alias nfc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agonot needed for MVP
Ian Jackson [Fri, 13 Nov 2020 21:19:04 +0000 (21:19 +0000)]
not needed for MVP

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix lock order
Ian Jackson [Fri, 13 Nov 2020 21:15:58 +0000 (21:15 +0000)]
fix lock order

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort out some rawtoken permission check
Ian Jackson [Fri, 13 Nov 2020 19:15:33 +0000 (19:15 +0000)]
sort out some rawtoken permission check

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort out some rawtoken permission check
Ian Jackson [Fri, 13 Nov 2020 18:57:08 +0000 (18:57 +0000)]
sort out some rawtoken permission check

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort out some todo plans
Ian Jackson [Thu, 12 Nov 2020 22:09:09 +0000 (22:09 +0000)]
sort out some todo plans

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix
Ian Jackson [Thu, 12 Nov 2020 21:59:04 +0000 (21:59 +0000)]
fix

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agocheck acl format
Ian Jackson [Thu, 12 Nov 2020 21:55:17 +0000 (21:55 +0000)]
check acl format

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agotoken handling fixes
Ian Jackson [Thu, 12 Nov 2020 21:48:18 +0000 (21:48 +0000)]
token handling fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip move TokensRevealed
Ian Jackson [Thu, 12 Nov 2020 12:18:45 +0000 (12:18 +0000)]
wip move TokensRevealed

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip move TokensRevealed
Ian Jackson [Thu, 12 Nov 2020 12:12:30 +0000 (12:12 +0000)]
wip move TokensRevealed

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agominor tidying before move TokensRevealed
Ian Jackson [Thu, 12 Nov 2020 11:58:05 +0000 (11:58 +0000)]
minor tidying before move TokensRevealed

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoaccounts: tidy and reorganise file nfc
Ian Jackson [Thu, 12 Nov 2020 11:28:25 +0000 (11:28 +0000)]
accounts: tidy and reorganise file nfc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agotidying, warnings
Ian Jackson [Thu, 12 Nov 2020 11:14:38 +0000 (11:14 +0000)]
tidying, warnings

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agocompiles!
Ian Jackson [Thu, 12 Nov 2020 00:30:53 +0000 (00:30 +0000)]
compiles!

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip thunk etc.
Ian Jackson [Thu, 12 Nov 2020 00:22:15 +0000 (00:22 +0000)]
wip thunk etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip thunk
Ian Jackson [Thu, 12 Nov 2020 00:03:36 +0000 (00:03 +0000)]
wip thunk

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new arrangements, otter cli
Ian Jackson [Sun, 8 Nov 2020 22:45:32 +0000 (22:45 +0000)]
wip new arrangements, otter cli

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new game joining, remove players
Ian Jackson [Sun, 8 Nov 2020 22:29:21 +0000 (22:29 +0000)]
wip new game joining, remove players

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new game joining, remove players
Ian Jackson [Sun, 8 Nov 2020 14:50:28 +0000 (14:50 +0000)]
wip new game joining, remove players

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new game joining, remove players
Ian Jackson [Sun, 8 Nov 2020 13:10:48 +0000 (13:10 +0000)]
wip new game joining, remove players

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new game joining
Ian Jackson [Sun, 8 Nov 2020 12:17:01 +0000 (12:17 +0000)]
wip new game joining

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new game joining
Ian Jackson [Sun, 8 Nov 2020 12:03:48 +0000 (12:03 +0000)]
wip new game joining

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new game joining
Ian Jackson [Sun, 8 Nov 2020 11:58:54 +0000 (11:58 +0000)]
wip new game joining

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new game joining
Ian Jackson [Sat, 7 Nov 2020 21:20:12 +0000 (21:20 +0000)]
wip new game joining

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip moving token reset to server
Ian Jackson [Sat, 7 Nov 2020 17:37:37 +0000 (17:37 +0000)]
wip moving token reset to server

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip moving token reset to server
Ian Jackson [Sat, 7 Nov 2020 00:29:56 +0000 (00:29 +0000)]
wip moving token reset to server

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip cli for new accounts
Ian Jackson [Fri, 6 Nov 2020 23:56:27 +0000 (23:56 +0000)]
wip cli for new accounts

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip cli for new accounts
Ian Jackson [Fri, 6 Nov 2020 23:49:30 +0000 (23:49 +0000)]
wip cli for new accounts

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip cli for new accounts
Ian Jackson [Fri, 6 Nov 2020 23:25:42 +0000 (23:25 +0000)]
wip cli for new accounts

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new accounts
Ian Jackson [Fri, 6 Nov 2020 22:56:29 +0000 (22:56 +0000)]
wip new accounts

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new accounts
Ian Jackson [Fri, 6 Nov 2020 21:52:23 +0000 (21:52 +0000)]
wip new accounts

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoload and save accounts
Ian Jackson [Tue, 3 Nov 2020 21:25:18 +0000 (21:25 +0000)]
load and save accounts

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip fix new accounts, ICE
Ian Jackson [Mon, 2 Nov 2020 22:05:47 +0000 (22:05 +0000)]
wip fix new accounts, ICE

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>