chiark / gitweb /
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Ian Jackson [Wed, 14 Oct 2020 00:30:42 +0000 (01:30 +0100)]
done
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
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>
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>
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>
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>
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>
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>
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>
Ian Jackson [Mon, 12 Oct 2020 00:14:35 +0000 (01:14 +0100)]
bindings
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Ian Jackson [Sun, 11 Oct 2020 10:01:18 +0000 (11:01 +0100)]
api
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
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>
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>
Ian Jackson [Sun, 11 Oct 2020 09:43:58 +0000 (10:43 +0100)]
generalise
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 11 Oct 2020 02:01:09 +0000 (03:01 +0100)]
tidying
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 11 Oct 2020 01:59:51 +0000 (02:59 +0100)]
fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Ian Jackson [Sat, 10 Oct 2020 23:14:43 +0000 (00:14 +0100)]
more tests
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 23:10:48 +0000 (00:10 +0100)]
get rid of some old test extractor
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 23:09:45 +0000 (00:09 +0100)]
fix various targets and tests
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 23:03:16 +0000 (00:03 +0100)]
prep for dec tests
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 23:00:16 +0000 (00:00 +0100)]
fix some test plumbing
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 22:58:38 +0000 (23:58 +0100)]
fix wasm-pack deps
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 22:53:24 +0000 (23:53 +0100)]
decrement compiles
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 22:33:00 +0000 (23:33 +0100)]
move big comment into zcoord.rs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 22:29:52 +0000 (23:29 +0100)]
drop js tests
We are going to move the nontrivial zcoord stuff into Rust
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 22:20:17 +0000 (23:20 +0100)]
Sort out use of intree webassembly-types
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 22:16:14 +0000 (23:16 +0100)]
Add 'webassembly-types/' from commit '
5e2f4ce1d5fc5ddd89f5ceba7a7c08b8c93fb7da'
https://github.com/01alchemist/webassembly-types
git-subtree-dir: webassembly-types
git-subtree-mainline:
5bb897fe2ff15846db83b1dd6234d581a0db62df
git-subtree-split:
5e2f4ce1d5fc5ddd89f5ceba7a7c08b8c93fb7da
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 22:15:42 +0000 (23:15 +0100)]
tidy Cargo.toml
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 22:13:18 +0000 (23:13 +0100)]
Drop dependencies which were there for bundle sources only
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 22:10:16 +0000 (23:10 +0100)]
Fix bundle sources
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 21:31:42 +0000 (22:31 +0100)]
wasm seems to work now
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 19:38:42 +0000 (20:38 +0100)]
wip wasm deploy
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 19:33:24 +0000 (20:33 +0100)]
bodge away bigfloats for now
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 19:30:23 +0000 (20:30 +0100)]
wip makefile
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 19:01:30 +0000 (20:01 +0100)]
stamp refactoring
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 18:51:35 +0000 (19:51 +0100)]
stamp files to avoid rerunning cargo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 18:23:14 +0000 (19:23 +0100)]
example iterator method
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 18:13:36 +0000 (19:13 +0100)]
wip wasm
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 17:08:38 +0000 (18:08 +0100)]
Much Makefile sorting-out
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 16:09:17 +0000 (17:09 +0100)]
Initial wasm crate
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Oct 2020 16:08:53 +0000 (17:08 +0100)]
cargo update
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Oct 2020 21:07:48 +0000 (22:07 +0100)]
zcoord rename file
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Oct 2020 21:05:36 +0000 (22:05 +0100)]
zcoord own module
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Oct 2020 20:53:41 +0000 (21:53 +0100)]
zcoord, wip
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Oct 2020 00:57:53 +0000 (01:57 +0100)]
wip nodejs new zcoords
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Oct 2020 00:35:32 +0000 (01:35 +0100)]
reject trailing zero limbs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Oct 2020 00:31:44 +0000 (01:31 +0100)]
change tests to not have 0 limbs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Oct 2020 00:27:49 +0000 (01:27 +0100)]
wip new bf in rust, fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Oct 2020 00:24:33 +0000 (01:24 +0100)]
wip new bf in rust, fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 7 Oct 2020 23:59:41 +0000 (00:59 +0100)]
wip new bf in rust, fixes, before Wrapping
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 7 Oct 2020 23:19:07 +0000 (00:19 +0100)]
wip new bf in rust, compiles, busted
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 7 Oct 2020 22:34:27 +0000 (23:34 +0100)]
wip new bf in rust
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 6 Oct 2020 20:19:46 +0000 (21:19 +0100)]
document new plan
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 6 Oct 2020 19:54:49 +0000 (20:54 +0100)]
document new plan
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 5 Oct 2020 19:27:51 +0000 (20:27 +0100)]
wip bigfloat use for lower function
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 5 Oct 2020 19:10:25 +0000 (20:10 +0100)]
addition tests copy
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 5 Oct 2020 19:00:21 +0000 (20:00 +0100)]
break out $sre
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 5 Oct 2020 18:59:13 +0000 (19:59 +0100)]
do JS bigfloat repr tests
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
~ianmdlvl / otter.git / log