chiark - git - ianmdlvl - otter.git/log

commit | commitdiff | tree

Ian Jackson [Sat, 24 Oct 2020 01:07:30 +0000 (02:07 +0100)]

wip new account etc., introducing AccountId

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

commit | commitdiff | tree

Ian Jackson [Sat, 24 Oct 2020 00:30:24 +0000 (01:30 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Sat, 24 Oct 2020 00:02:33 +0000 (01:02 +0100)]

wip new account etc., before consider account creation

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

commit | commitdiff | tree

Ian Jackson [Fri, 23 Oct 2020 23:27:17 +0000 (00:27 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Fri, 23 Oct 2020 22:49:17 +0000 (23:49 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Fri, 23 Oct 2020 22:29:08 +0000 (23:29 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Fri, 23 Oct 2020 22:28:19 +0000 (23:28 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Fri, 23 Oct 2020 21:59:32 +0000 (22:59 +0100)]

wip new account etc., seems to be getting there now

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

commit | commitdiff | tree

Ian Jackson [Fri, 23 Oct 2020 21:31:15 +0000 (22:31 +0100)]

wip new account etc., seems to be getting there now

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

commit | commitdiff | tree

Ian Jackson [Fri, 23 Oct 2020 20:36:12 +0000 (21:36 +0100)]

wip new account etc., just starting new ig from exec

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

commit | commitdiff | tree

Ian Jackson [Fri, 23 Oct 2020 20:25:42 +0000 (21:25 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Thu, 22 Oct 2020 21:07:38 +0000 (22:07 +0100)]

wip new account etc., before sort out access_reset etc.

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

commit | commitdiff | tree

Ian Jackson [Wed, 21 Oct 2020 23:54:12 +0000 (00:54 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Wed, 21 Oct 2020 21:49:25 +0000 (22:49 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Tue, 20 Oct 2020 21:19:09 +0000 (22:19 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Tue, 20 Oct 2020 19:55:16 +0000 (20:55 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Tue, 20 Oct 2020 18:38:09 +0000 (19:38 +0100)]

num-derive

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

commit | commitdiff | tree

Ian Jackson [Tue, 20 Oct 2020 18:22:40 +0000 (19:22 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Tue, 20 Oct 2020 18:05:22 +0000 (19:05 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Mon, 19 Oct 2020 18:12:47 +0000 (19:12 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Sun, 18 Oct 2020 13:14:17 +0000 (14:14 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 19:21:36 +0000 (20:21 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 17:47:57 +0000 (18:47 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 17:12:28 +0000 (18:12 +0100)]

wip new account etc.

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 17:00:48 +0000 (18:00 +0100)]

new command api etc.

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 16:15:37 +0000 (17:15 +0100)]

new AccountScope

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 13:25:25 +0000 (14:25 +0100)]

todos

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 13:23:57 +0000 (14:23 +0100)]

wip log expiry

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 13:22:19 +0000 (14:22 +0100)]

wip log expiry

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 13:21:31 +0000 (14:21 +0100)]

wip log expiry

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 13:19:24 +0000 (14:19 +0100)]

wip log expiry

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 13:05:24 +0000 (14:05 +0100)]

wip log expiry

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 09:18:43 +0000 (10:18 +0100)]

note a todo

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

commit | commitdiff | tree

Ian Jackson [Sat, 17 Oct 2020 09:17:00 +0000 (10:17 +0100)]

timestamps at right

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

commit | commitdiff | tree

Ian Jackson [Fri, 16 Oct 2020 23:04:14 +0000 (00:04 +0100)]

some timezones shown

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

commit | commitdiff | tree

Ian Jackson [Fri, 16 Oct 2020 22:23:08 +0000 (23:23 +0100)]

get rid of ! type

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

commit | commitdiff | tree

Ian Jackson [Fri, 16 Oct 2020 22:20:03 +0000 (23:20 +0100)]

wip timezone

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

commit | commitdiff | tree

Ian Jackson [Fri, 16 Oct 2020 22:03:41 +0000 (23:03 +0100)]

tz compiles but not finished

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

commit | commitdiff | tree

Ian Jackson [Fri, 16 Oct 2020 00:20:39 +0000 (01:20 +0100)]

before enum for timezone

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

commit | commitdiff | tree

Ian Jackson [Thu, 15 Oct 2020 21:02:07 +0000 (22:02 +0100)]

wip new tz

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

commit | commitdiff | tree

Ian Jackson [Thu, 15 Oct 2020 19:48:30 +0000 (20:48 +0100)]

chrono dependencies

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

commit | commitdiff | tree

Ian Jackson [Thu, 15 Oct 2020 00:49:12 +0000 (01:49 +0100)]

wip before reorg timezone type

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 23:03:18 +0000 (00:03 +0100)]

proper style etc. for timestamps

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 22:54:44 +0000 (23:54 +0100)]

log is a table

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 22:47:21 +0000 (23:47 +0100)]

session timezone

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 22:28:13 +0000 (23:28 +0100)]

timezone format thing shows up in log (1)

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 22:12:49 +0000 (23:12 +0100)]

wip format timestamps

Before try into

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 20:55:05 +0000 (21:55 +0100)]

timestamps in the log

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 19:16:13 +0000 (20:16 +0100)]

timestamps in log in state

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 01:21:43 +0000 (02:21 +0100)]

todo thought fixed

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 01:20:34 +0000 (02:20 +0100)]

debug log expiry

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 01:12:00 +0000 (02:12 +0100)]

actually expire old clients

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 01:03:15 +0000 (02:03 +0100)]

drop an obsolete hunk

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 01:01:57 +0000 (02:01 +0100)]

script.js: reorder inputs, so that comment massaging works again

tsc is apparently happy with whatever order...

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 00:38:12 +0000 (01:38 +0100)]

log scroll to bottom, try to defend against rounding error

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 00:37:06 +0000 (01:37 +0100)]

log scroll to bottom add some debug - rename vars nfc

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 00:36:36 +0000 (01:36 +0100)]

log scroll to bottom add some debug

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 00:31:18 +0000 (01:31 +0100)]

tick off a todo - I can remember this

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 00:30:42 +0000 (01:30 +0100)]

done

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 00:28:58 +0000 (01:28 +0100)]

use serde_with for ZCoord

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 00:00:50 +0000 (01:00 +0100)]

sort out deserialize for ZCoord

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

commit | commitdiff | tree

Ian Jackson [Wed, 14 Oct 2020 00:00:17 +0000 (01:00 +0100)]

allow wresting of held pieces

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

commit | commitdiff | tree

Ian Jackson [Mon, 12 Oct 2020 10:41:12 +0000 (11:41 +0100)]

console_error_panic_hook

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

commit | commitdiff | tree

Ian Jackson [Mon, 12 Oct 2020 00:32:24 +0000 (01:32 +0100)]

some todos

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

commit | commitdiff | tree

Ian Jackson [Mon, 12 Oct 2020 00:31:17 +0000 (01:31 +0100)]

js tests seem to work

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

commit | commitdiff | tree

Ian Jackson [Mon, 12 Oct 2020 00:15:49 +0000 (01:15 +0100)]

require Copy

Avoids us impl'd for nontrivial types

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

commit | commitdiff | tree

Ian Jackson [Mon, 12 Oct 2020 00:14:35 +0000 (01:14 +0100)]

bindings

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 23:39:52 +0000 (00:39 +0100)]

more tests

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 23:36:47 +0000 (00:36 +0100)]

more tests

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 23:30:17 +0000 (00:30 +0100)]

sort out errors

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 23:20:00 +0000 (00:20 +0100)]

reorg checked handling

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 23:10:04 +0000 (00:10 +0100)]

wee_alloc saves quite a bit of binary size

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 23:09:16 +0000 (00:09 +0100)]

towards new string arrangements

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 23:08:43 +0000 (00:08 +0100)]

fix a dep

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 22:23:54 +0000 (23:23 +0100)]

this jsstring does not call the text*coder machinery

later note: but actually I'm not going to bother about this.
TextEncoder and TextDecoder are supported in everything other
than earlier versions of Edge which probably don't work anyway

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 22:18:33 +0000 (23:18 +0100)]

wip try provide own textdecoder

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 22:05:34 +0000 (23:05 +0100)]

before try provide own textdecoder

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 21:46:05 +0000 (22:46 +0100)]

improve a message

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 21:45:47 +0000 (22:45 +0100)]

Get rid of Bigfloat in JS

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 21:12:35 +0000 (22:12 +0100)]

wip wasm bindings

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 18:34:25 +0000 (19:34 +0100)]

Provide check_str

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 10:26:22 +0000 (11:26 +0100)]

add js-sys dependency

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 10:18:10 +0000 (11:18 +0100)]

some_range

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 10:01:18 +0000 (11:01 +0100)]

api

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 10:00:09 +0000 (11:00 +0100)]

sealed trait

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 09:54:15 +0000 (10:54 +0100)]

implement .iter( )

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 09:43:58 +0000 (10:43 +0100)]

generalise

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 02:01:09 +0000 (03:01 +0100)]

tidying

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 01:59:51 +0000 (02:59 +0100)]

fixes

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 01:27:48 +0000 (02:27 +0100)]

strip zeros when repacking

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 01:22:11 +0000 (02:22 +0100)]

swap repack and try_into

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 01:19:30 +0000 (02:19 +0100)]

wip range tests

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 00:14:10 +0000 (01:14 +0100)]

wip range tests

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 00:07:51 +0000 (01:07 +0100)]

Revert "get rid of some old test extractor"

Actually we want to convert this to Rust, not just delete it.

This reverts commit 01cd4e9673de59576398c7d142ddb6e3586f5705.

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

commit | commitdiff | tree

Ian Jackson [Sun, 11 Oct 2020 00:05:54 +0000 (01:05 +0100)]

zcoord range in Rust

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

commit | commitdiff | tree

Ian Jackson [Sat, 10 Oct 2020 23:21:34 +0000 (00:21 +0100)]

check start dec

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

commit | commitdiff | tree

Ian Jackson [Sat, 10 Oct 2020 23:20:03 +0000 (00:20 +0100)]

check start

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

commit | commitdiff | tree

Ian Jackson [Sat, 10 Oct 2020 23:16:39 +0000 (00:16 +0100)]

rename test

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