chiark / gitweb /
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>
Ian Jackson [Mon, 5 Oct 2020 18:50:26 +0000 (19:50 +0100)]
add some more addition tests
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 5 Oct 2020 18:47:18 +0000 (19:47 +0100)]
add some more addition tests
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 5 Oct 2020 18:40:25 +0000 (19:40 +0100)]
mark autogeneration
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 5 Oct 2020 18:40:19 +0000 (19:40 +0100)]
bigfloat.ts fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 5 Oct 2020 18:40:00 +0000 (19:40 +0100)]
refactor bigfloat rust tests for add extraction
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 5 Oct 2020 12:13:06 +0000 (13:13 +0100)]
use zip_eq
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 5 Oct 2020 10:50:43 +0000 (11:50 +0100)]
update
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 23:55:48 +0000 (00:55 +0100)]
make chedk
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 23:44:44 +0000 (00:44 +0100)]
refactor tsc compilation
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 23:23:20 +0000 (00:23 +0100)]
wip js testing
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 23:00:18 +0000 (00:00 +0100)]
fix ts build system to use tsconfig.json
This thing ignores your tsconfig.json if you provide input files
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 22:45:15 +0000 (23:45 +0100)]
add missing licence notice to bigfloat.rs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 22:44:40 +0000 (23:44 +0100)]
bigfloats seem to work now
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 22:16:51 +0000 (23:16 +0100)]
fix addition etc.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 21:48:57 +0000 (22:48 +0100)]
use new zcoord
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 20:02:09 +0000 (21:02 +0100)]
redo mutable
Ian Jackson [Sun, 4 Oct 2020 19:34:45 +0000 (20:34 +0100)]
provide add
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 19:04:11 +0000 (20:04 +0100)]
into and from limb
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 18:58:17 +0000 (19:58 +0100)]
limb type
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 18:52:30 +0000 (19:52 +0100)]
make ZCoord member private
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 18:46:56 +0000 (19:46 +0100)]
ord etc. for bigfloat
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 18:34:37 +0000 (19:34 +0100)]
fixes to bigfloat
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 18:32:55 +0000 (19:32 +0100)]
impl various things
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 18:20:20 +0000 (19:20 +0100)]
impl various things
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 17:52:03 +0000 (18:52 +0100)]
impl various things
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 17:36:52 +0000 (18:36 +0100)]
floats rust compiles
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 17:36:39 +0000 (18:36 +0100)]
fix weird doctest failure
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 17:06:19 +0000 (18:06 +0100)]
wip bigfloat Rust
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 15:40:27 +0000 (16:40 +0100)]
wip bigfloat Rust
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 14:23:50 +0000 (15:23 +0100)]
wip new bigfloats, Rust end
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 14:22:52 +0000 (15:22 +0100)]
wip new bigfloats, debugged quite a lot
x= '!0000 ffff_ffff_fff0'; y= '+0000 0000_0000_0001'; i=Bigfloats.iter_upto(x, y, 4); i()
=> "!0000 ffff_0000_fff3"
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 13:21:00 +0000 (14:21 +0100)]
wip new bigfloats
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 10:43:09 +0000 (11:43 +0100)]
wip notes about repr
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 10:21:51 +0000 (11:21 +0100)]
wip iter-index, before change repr
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 01:19:31 +0000 (02:19 +0100)]
seems to work ??
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 01:07:07 +0000 (02:07 +0100)]
wip bigfloat bugfixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 00:18:44 +0000 (01:18 +0100)]
wip bigfloat
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 4 Oct 2020 00:06:15 +0000 (01:06 +0100)]
wip, debugging bigfloat
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 23:24:26 +0000 (00:24 +0100)]
wip bigfloat
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 19:32:33 +0000 (20:32 +0100)]
before try out bigfloat
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 11:06:51 +0000 (12:06 +0100)]
fix a funny style
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 11:00:50 +0000 (12:00 +0100)]
Revert "piece_set_zlevel: provide oldbot_piece"
This was for "lower" but actually this wants to be more
complicated.
This reverts commit
d57aa1a27fcfb65d12580a786af6193f0c8d6b4c.
Ian Jackson [Sat, 3 Oct 2020 10:56:26 +0000 (11:56 +0100)]
note a bug as a todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 10:56:04 +0000 (11:56 +0100)]
piece_set_zlevel: provide oldbot_piece
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 10:46:45 +0000 (11:46 +0100)]
show gen as G in keepalives
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 10:46:29 +0000 (11:46 +0100)]
cleanups for wresting/pinning
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:46:48 +0000 (01:46 +0100)]
can unselect pinned piece
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:45:08 +0000 (01:45 +0100)]
many todos done
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:44:02 +0000 (01:44 +0100)]
wrest and unwrest
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
~ianmdlvl / otter.git / log