chiark / gitweb /
Ian Jackson [Tue, 13 Jul 2021 13:48:47 +0000 (14:48 +0100)]
errors: Abolish unused OnlineError::InvalidZCoord
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Jul 2021 13:47:11 +0000 (14:47 +0100)]
PROTOCOL: Document plan to treat some errors as bogus
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Jul 2021 13:44:29 +0000 (14:44 +0100)]
PROTOCOL: Some slight markup
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Jul 2021 12:23:17 +0000 (13:23 +0100)]
PROTOCOL: Document error handling (plans)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Jul 2021 12:08:46 +0000 (13:08 +0100)]
PROTOCOL: Formatting fix
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Jul 2021 12:08:27 +0000 (13:08 +0100)]
PROTOCOL: Fix a typo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Jul 2021 11:32:14 +0000 (12:32 +0100)]
PROTOCOL: Fix wrong ref to zcoord being an f64
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 17:13:52 +0000 (18:13 +0100)]
jst-lower: Increase amount of exhaustive testing
This is still very fast. I think it's doing around 2^(5*2) tests.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 12:23:04 +0000 (13:23 +0100)]
jst-lower: exhaustive: Use 1 for vpid vsn
This is clearer for the human reader.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 12:22:20 +0000 (13:22 +0100)]
jst-lower: exhaustive: Make no vpid have 0 as slot num
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 10:57:23 +0000 (11:57 +0100)]
jst-lower: Test cases exhaustive inputs autogenerator
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 18:10:02 +0000 (19:10 +0100)]
wdt-bundles: hidden: Have alice send a card to bottom
This generated a JS error until recent fixes.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 17:12:29 +0000 (18:12 +0100)]
script lower: Fix ordering of partP and partQ
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 16:54:52 +0000 (17:54 +0100)]
script lower: Fix handling of heavy targets
We need to keep walking if there are any, or they won't end up moved.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 16:59:18 +0000 (17:59 +0100)]
script lower: Fix a debug print for bottom -> heavy rename
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 12:37:02 +0000 (13:37 +0100)]
script lower: Rework and fix walk algorithm
We need to keep track whether we're in state B. bottommost_light is
not really good for that. Nor is it any use for figuring out what
starting z coordinate to select.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 17:24:41 +0000 (18:24 +0100)]
zccord: Add some more test cases
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 17:36:07 +0000 (18:36 +0100)]
zccord: Fix a panic in some iteration cases
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 18:08:11 +0000 (19:08 +0100)]
wdt-bundles: hidden: Have alice reselect a card just played
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 17:56:57 +0000 (18:56 +0100)]
wdt-bundles: hidden: Have alice play some cards
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 17:12:26 +0000 (18:12 +0100)]
script lower: Improve debug output
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 16:54:48 +0000 (17:54 +0100)]
jst-lower: Improve debug output
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 17:36:15 +0000 (18:36 +0100)]
zcoord: Add some commented-out debug
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 18:19:23 +0000 (19:19 +0100)]
wdt: Do not tolerate JS errors
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 17:30:32 +0000 (18:30 +0100)]
Make dbgc macro actually useable in base
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 17:29:06 +0000 (18:29 +0100)]
Move dbgc macro into base
We want it there for hacking about, at least.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 16:22:07 +0000 (17:22 +0100)]
lower: Change terminology, introduce "heavy" vs "light"
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 16:16:43 +0000 (17:16 +0100)]
lower: Change terminology, introduce "heavy" vs "light"
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 16:10:02 +0000 (17:10 +0100)]
script: lower: Improve debug slightly
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 15:44:28 +0000 (16:44 +0100)]
jst-lower: Make input debug output be in the same order as output
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 12:36:36 +0000 (13:36 +0100)]
script: lower: Bail early if no targets
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 15:24:28 +0000 (16:24 +0100)]
zcoord: Test bad ranges
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 15:19:33 +0000 (16:19 +0100)]
zcoord: Reject attempt to make range [X,X>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 15:19:14 +0000 (16:19 +0100)]
zcoord: Make RangeImpossible into an enum
Preparing for rejecting empty ranges.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 15:07:16 +0000 (16:07 +0100)]
zcoord: document (and test a bit more) range_upto()
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 14:47:40 +0000 (15:47 +0100)]
zcoord: document iter()
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 14:53:35 +0000 (15:53 +0100)]
zcoord: test iter()
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 14:49:49 +0000 (15:49 +0100)]
zcoord: promote mk() into mod test
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 14:46:42 +0000 (15:46 +0100)]
internal docs: Fix some bogus links
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 12:20:27 +0000 (13:20 +0100)]
jstest: Better visibility of env vars to control logging etc.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 12:47:28 +0000 (13:47 +0100)]
jst-lower: Add a check that we do not duplicate z coordinates
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 12:17:24 +0000 (13:17 +0100)]
jstest: Improve debugging
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 12:11:03 +0000 (13:11 +0100)]
jstest: lower: comment out byhand version, for clutter reasons
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 12:11:19 +0000 (13:11 +0100)]
jstest: lower: Honour OTTER_JST_LOWER_ONLY
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 12:00:52 +0000 (13:00 +0100)]
jstest: improve debugging output
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 11:59:36 +0000 (12:59 +0100)]
jstest: improve debugging output
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 11:49:24 +0000 (12:49 +0100)]
jstest: add missing import of imports
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 11:49:06 +0000 (12:49 +0100)]
jstest: lower: make add_test take any &str for name
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 11:02:11 +0000 (12:02 +0100)]
jstest: lower: make add_test take Vpid not &'static str
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 18:31:11 +0000 (19:31 +0100)]
jstest: lower: Test case for an experienced bug
The piece list has been reduced, by removing identical and adjacent
not-very-interesting entries.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 00:53:36 +0000 (01:53 +0100)]
script: lower: Fix wrong order of misplaced bottoms
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 10:47:29 +0000 (11:47 +0100)]
jjstest: lower: formatting of test cases and output
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 00:24:04 +0000 (01:24 +0100)]
session: Get rid of a now-pointless vec copy
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 23:21:52 +0000 (00:21 +0100)]
wdt-bundles: vatikan: Have bob load the game
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Jul 2021 00:22:09 +0000 (01:22 +0100)]
session: Sort by visible z order on game load (!)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 23:58:05 +0000 (00:58 +0100)]
wdt-bundles: vatikan: Have alice draw some cards
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 23:58:35 +0000 (00:58 +0100)]
wdriver: Pass window size to firefox
Despite the usage message, these are the correct arguments,
empirically.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 23:56:07 +0000 (00:56 +0100)]
wdriver: Introduce firefox-wrapper
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 21:26:19 +0000 (22:26 +0100)]
script: Add new check_z_order arrangement
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 21:19:50 +0000 (22:19 +0100)]
js test: provide otter_debug variable
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 21:13:15 +0000 (22:13 +0100)]
js test: Rename log-save to test-inject
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 18:56:31 +0000 (19:56 +0100)]
jstest: lower: Note a rune for checking the sort invariant
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 18:31:07 +0000 (19:31 +0100)]
jstest: lower: from-pieces helper script
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 18:27:15 +0000 (19:27 +0100)]
jstest: lower: from-pieces helper script
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 18:08:01 +0000 (19:08 +0100)]
jstest: lower: broaden a test
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 18:06:58 +0000 (19:06 +0100)]
jstest: lower: add another test
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 18:04:49 +0000 (19:04 +0100)]
jstest: lower: all intended tests implemented now
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 18:04:36 +0000 (19:04 +0100)]
jstest: lower: implement a test
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 18:01:34 +0000 (19:01 +0100)]
jstest: lower: implement a test
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 18:01:11 +0000 (19:01 +0100)]
jstest: lower: implement a test, restyle
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 17:59:29 +0000 (18:59 +0100)]
jstest: lower: implement a test
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 17:58:17 +0000 (18:58 +0100)]
jstest: lower: implement a test
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 17:49:38 +0000 (18:49 +0100)]
jstest: lower: use new old new for check
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 17:47:34 +0000 (18:47 +0100)]
jstest: lower: Much nicer debug
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 17:24:22 +0000 (18:24 +0100)]
jstest: lower: Include target in Collated, and tidy
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 17:24:09 +0000 (18:24 +0100)]
jstest: Make targets be an IndexVec
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 17:19:13 +0000 (18:19 +0100)]
jstest: lower: wip after and before
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 16:56:57 +0000 (17:56 +0100)]
jstest: lower: introduce Vpid
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 13:46:43 +0000 (14:46 +0100)]
jstest: lower: Only do order check for non-bottom targets
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 13:46:37 +0000 (14:46 +0100)]
jstest: lower: note some more wanted checks
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 13:46:22 +0000 (14:46 +0100)]
jstest: lower: add a test with 2 lowerings
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 13:42:55 +0000 (14:42 +0100)]
jstest: lower: check targets not deranged
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 13:42:33 +0000 (14:42 +0100)]
jstest: lower: script: fix multiple pieces
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 13:42:21 +0000 (14:42 +0100)]
jstest: lower: script: improve formatting
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 13:00:50 +0000 (14:00 +0100)]
jstest: lower: move template to bottom, out of the way
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 12:59:36 +0000 (13:59 +0100)]
jstest: lower: note some more wanted checks
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 11:34:37 +0000 (12:34 +0100)]
jstest: lower: Improve an assert message
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 11:13:36 +0000 (12:13 +0100)]
jstest: lower: Remove now-redundant id field
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 11:12:51 +0000 (12:12 +0100)]
jstest: lower: Make Test::pieces be an IndexMap
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 11:05:13 +0000 (12:05 +0100)]
jstest: lower: Note checks we want to make
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 11:04:54 +0000 (12:04 +0100)]
jstest: lower: make targets be vpid
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 00:38:38 +0000 (01:38 +0100)]
jstest: lower: wip
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 00:26:36 +0000 (01:26 +0100)]
jstest: Change type of piece id
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Jul 2021 00:23:25 +0000 (01:23 +0100)]
jstest: Tidy formatting
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Jul 2021 20:16:52 +0000 (21:16 +0100)]
jstest: Programattically generate a test csase, wip
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Jul 2021 20:03:34 +0000 (21:03 +0100)]
jat-lower: wip
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Jul 2021 19:40:16 +0000 (20:40 +0100)]
jstest: Provide for wrapping
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Jul 2021 19:32:34 +0000 (20:32 +0100)]
jstest: Introduce Rust helper code
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Jul 2021 19:32:11 +0000 (20:32 +0100)]
script: Remove a spurious HTML comment end marker
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Jul 2021 19:31:57 +0000 (20:31 +0100)]
jstest: add missing copyright blocks
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
~ianmdlvl / otter.git / log