86 Commits

Author	SHA1	Message	Date
Zeno Rogue	1c08b5500f	rulegen:: implemented w_numerical	2021-08-22 14:30:24 +02:00
Zeno Rogue	75e637be30	rulegen:: epxort flag names	2021-08-22 14:28:54 +02:00
Zeno Rogue	29f2570662	rulegen:: timeout feature	2021-08-22 00:12:22 +02:00
Zeno Rogue	db28ca7c4a	stats fixup	2021-08-22 00:10:14 +02:00
Zeno Rogue	6db8f857e1	rulegen:: flags to test variants of the algorithm	2021-08-22 00:10:02 +02:00
Zeno Rogue	3654ca58aa	rulegen:: more fixes in reporting	2021-08-21 23:40:50 +02:00
Zeno Rogue	7f33024321	fixup to dlbonus removal	2021-08-21 23:38:42 +02:00
Zeno Rogue	60a8992b29	rulegen:: extra stats, extra cleanup	2021-08-21 23:38:36 +02:00
Zeno Rogue	a272bb399d	rulegen:: removed dlbonus as it is unused	2021-08-21 23:35:04 +02:00
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	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	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	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
Zeno Rogue	e0db5d8f6a	rulegen:: set C_CHILD for id==0	2021-08-17 14:24:58 +02:00
Zeno Rogue	85acd05ee7	rulegen:: improved get_side	2021-08-17 14:24:32 +02:00
Zeno Rogue	b307ab2762	rulegen:: rulegen_retry on no extension	2021-08-17 14:24:06 +02:00