Zeno Rogue
|
647f7132dd
|
improved find_single_live_branch
|
2021-08-20 01:36:14 +02:00 |
|
Zeno Rogue
|
78ee00ddea
|
fixed problems in resolve_confusion
|
2021-08-20 01:35:19 +02:00 |
|
Zeno Rogue
|
1135aaab7e
|
set try_to_resolve_confusion to true
|
2021-08-20 01:34:00 +02:00 |
|
Zeno Rogue
|
71d416f78d
|
max_getside configurable
|
2021-08-20 00:48:09 +02:00 |
|
Zeno Rogue
|
25aa5d62e1
|
rulegen:: do not repeat importants
|
2021-08-20 00:46:22 +02:00 |
|
Zeno Rogue
|
153a639337
|
rulegen:: removed junk
|
2021-08-20 00:45:46 +02:00 |
|
Zeno Rogue
|
40792a3aa1
|
faster get_side hard case
|
2021-08-20 00:44:24 +02:00 |
|
Zeno Rogue
|
0d60ff6bdc
|
find_new_shortcuts fix hid original shortcuts
|
2021-08-20 00:44:12 +02:00 |
|
Zeno Rogue
|
e80782be87
|
converted wrongcode from rulegen_failure to rulegen_retry
|
2021-08-19 13:22:31 +02:00 |
|
Zeno Rogue
|
0ed4b8f367
|
rulegen-tests:: improvements
|
2021-08-19 13:19:32 +02:00 |
|
Zeno Rogue
|
2f11f9babb
|
refactored clean_data and clean_parents
|
2021-08-19 13:19:11 +02:00 |
|
Zeno Rogue
|
881b262174
|
removed mismatch_error to multiple error causes
|
2021-08-19 13:19:01 +02:00 |
|
Zeno Rogue
|
19f65644e7
|
rulegen:: check all live branches, not until the first error
|
2021-08-19 13:18:38 +02:00 |
|
Zeno Rogue
|
c58f12cfc6
|
rulegen:: just call rules_iteration_for for unknown states, no need to restart
|
2021-08-19 13:17:56 +02:00 |
|
Zeno Rogue
|
d7f40b8cdb
|
more handle_distance_errors
|
2021-08-19 13:14:57 +02:00 |
|
Zeno Rogue
|
5e249ba4f4
|
rulegen:: in find_new_shortcuts don't find subshortcuts
|
2021-08-19 13:14:15 +02:00 |
|
Zeno Rogue
|
cd52fe35b2
|
rulegen:: renamed check_solid to find_new_shortcuts
|
2021-08-19 13:13:59 +02:00 |
|
Zeno Rogue
|
31d359d908
|
multiple shortcuts per sample, check_solid on unification
|
2021-08-19 13:12:26 +02:00 |
|
Zeno Rogue
|
1b1d38bda6
|
fixup to tests improved
|
2021-08-19 01:40:15 +02:00 |
|
Zeno Rogue
|
80d5ee7c37
|
rulegen:: tests improved
|
2021-08-19 01:39:49 +02:00 |
|
Zeno Rogue
|
9b741ebb47
|
fixup to MYSTERY_DIST removal
|
2021-08-19 01:33:07 +02:00 |
|
Zeno Rogue
|
755e1df101
|
rulegen:: minor fixes
|
2021-08-19 01:27:56 +02:00 |
|
Zeno Rogue
|
49e92f4288
|
addstep, protected cw+wstep
|
2021-08-19 01:27:26 +02:00 |
|
Zeno Rogue
|
8b5c0bbe70
|
rulegen:: better export/error reporting
|
2021-08-19 01:25:18 +02:00 |
|
Zeno Rogue
|
8d764fd8ef
|
removed MYSTERY_DIST
|
2021-08-19 01:24:35 +02:00 |
|
Zeno Rogue
|
d321e4b5ec
|
sidecache
|
2021-08-19 01:24:01 +02:00 |
|
Zeno Rogue
|
1798bc4612
|
rulegen::clear analyzers on doubling
|
2021-08-19 01:21:44 +02:00 |
|
Zeno Rogue
|
137763dae9
|
rulegen:: fix unification errors
|
2021-08-17 23:05:56 +02:00 |
|
Zeno Rogue
|
627963c634
|
rulegen:: improved memory usage
|
2021-08-17 20:08:06 +02:00 |
|
Zeno Rogue
|
858fd61794
|
rulegen:: perform get_code if code is given but no parent_dir
|
2021-08-17 20:07:17 +02:00 |
|
Zeno Rogue
|
57dffb8af9
|
rulegen:: cleaner push_unify and improved assertions
|
2021-08-17 20:06:48 +02:00 |
|
Zeno Rogue
|
73edbfee90
|
longer shortcuts allowed
|
2021-08-17 19:27:02 +02:00 |
|
Zeno Rogue
|
f5d0d928cb
|
throw mismatch errors quickly
|
2021-08-17 18:58:23 +02:00 |
|
Zeno Rogue
|
afc92c586c
|
rulegen:: added single_live_branch_close_to_root to cleanup
|
2021-08-17 17:43:24 +02:00 |
|
Zeno Rogue
|
c97290890e
|
fixed push_deadstack in the root
|
2021-08-17 17:24:11 +02:00 |
|
Zeno Rogue
|
4c3800f2b4
|
removed sub_status -- unused in the current branchtester
|
2021-08-17 17:15:11 +02:00 |
|
Zeno Rogue
|
5c95359763
|
rulegen:: debug removed in find_sub_status
|
2021-08-17 17:04:29 +02:00 |
|
Zeno Rogue
|
47c6495652
|
rulegen:: simpler branch testing
|
2021-08-17 17:04:17 +02:00 |
|
Zeno Rogue
|
bc511cf37b
|
rulegen:: tests:: can print rules
|
2021-08-17 14:35:53 +02:00 |
|
Zeno Rogue
|
2fed33ae43
|
rulegen:: tests:: able to set -resolve
|
2021-08-17 14:35:46 +02:00 |
|
Zeno Rogue
|
943682f1d5
|
rulegen:: tests:: comments now available in .lst files
|
2021-08-17 14:35:31 +02:00 |
|
Zeno Rogue
|
9fafad3ee0
|
rulegen:: tests:: options to specify what statistics to report
|
2021-08-17 14:35:13 +02:00 |
|
Zeno Rogue
|
d9b8c338d3
|
rulegen:: tests:: display root states
|
2021-08-17 14:34:34 +02:00 |
|
Zeno Rogue
|
89958ea3c8
|
rulegen:: tests:: an option to debug parent_dir
|
2021-08-17 14:34:27 +02:00 |
|
Zeno Rogue
|
72f0f9b28b
|
rulegen:: tests:: nicer MYSTERY_DIST display
|
2021-08-17 14:34:14 +02:00 |
|
Zeno Rogue
|
096364bb06
|
rulegen:: tests:: set canvas land just in case
|
2021-08-17 14:33:50 +02:00 |
|
Zeno Rogue
|
41978a6a03
|
rulegen:: tests:: YA fixup for multi
|
2021-08-17 14:33:37 +02:00 |
|
Zeno Rogue
|
f17f8cacf1
|
second part of last -- fixup
|
2021-08-17 14:30:36 +02:00 |
|
Zeno Rogue
|
631827c657
|
simpler multi-connection system
|
2021-08-17 14:28:27 +02:00 |
|
Zeno Rogue
|
031d6a2c50
|
rulegen:: ufind in extend_analyzer just in case
|
2021-08-17 14:25:20 +02:00 |
|