chiark / gitweb /
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>
Ian Jackson [Sat, 3 Oct 2020 00:41:29 +0000 (01:41 +0100)]
can pin and it works!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:39:22 +0000 (01:39 +0100)]
can pin
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:23:27 +0000 (01:23 +0100)]
wip fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:21:37 +0000 (01:21 +0100)]
fix flexbox thing
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 3 Oct 2020 00:18:24 +0000 (01:18 +0100)]
wip reformatting uokeys
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 23:35:30 +0000 (00:35 +0100)]
wip pinning
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 23:24:17 +0000 (00:24 +0100)]
use fehler here
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 23:23:50 +0000 (00:23 +0100)]
implement pin op
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 23:17:16 +0000 (00:17 +0100)]
pin flag, propagate
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 23:12:01 +0000 (00:12 +0100)]
wresting works
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:43:48 +0000 (23:43 +0100)]
signal wresting
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:25:27 +0000 (23:25 +0100)]
docs for mouse
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:21:25 +0000 (23:21 +0100)]
mouse stuff
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:11:18 +0000 (23:11 +0100)]
make piece held check overrideable
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:06:18 +0000 (23:06 +0100)]
ignore .tmp so usvg-processor doesn't see its own output
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 22:01:27 +0000 (23:01 +0100)]
include git revision in usvg note
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 21:53:33 +0000 (22:53 +0100)]
wip copyright stuff
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 2 Oct 2020 21:15:25 +0000 (22:15 +0100)]
wip licence annotations
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 1 Oct 2020 00:46:02 +0000 (01:46 +0100)]
flipping works!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 1 Oct 2020 00:00:05 +0000 (01:00 +0100)]
move lower into ts
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 23:38:26 +0000 (00:38 +0100)]
wip keys
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 23:22:00 +0000 (00:22 +0100)]
ok notices key now
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 23:11:26 +0000 (00:11 +0100)]
wip key events
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 22:45:27 +0000 (23:45 +0100)]
Add wrc basic copying
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 22:40:15 +0000 (23:40 +0100)]
add wrc to piece op api
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 22:19:00 +0000 (23:19 +0100)]
refactor WRC handling
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 22:14:40 +0000 (23:14 +0100)]
change type of IsResponseToClientOp
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 21:59:28 +0000 (22:59 +0100)]
New update messages for different kinds of update
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 19:11:15 +0000 (20:11 +0100)]
wip keybindings
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 30 Sep 2020 18:19:58 +0000 (19:19 +0100)]
wip keybindings
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 29 Sep 2020 20:20:24 +0000 (21:20 +0100)]
Introduce UoKind
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 28 Sep 2020 23:24:19 +0000 (00:24 +0100)]
enable new sse feature for rocket
See https://github.com/SergioBenitez/Rocket/pull/1365
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 28 Sep 2020 23:23:40 +0000 (00:23 +0100)]
cargo update
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 23:42:13 +0000 (00:42 +0100)]
uos in session start
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 23:33:11 +0000 (00:33 +0100)]
a todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 27 Sep 2020 23:27:42 +0000 (00:27 +0100)]
Abolish svg_x_defs
This is useless, because basically all modifications have to send the
whole thing again anyway. Maybe in the far far future we will
(re)introduce something like it.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
~ianmdlvl / otter.git / log