217 Commits

Author	SHA1	Message	Date
Zeno Rogue	18549100f1	tes:: convert:: an option to produce minimal representation	2022-06-23 10:29:49 +02:00
Zeno Rogue	5a748e113a	arb:: added an argument for some functions	2022-04-24 22:57:34 +02:00
Zeno Rogue	37ebe6af5d	rulegen:: debug improvements	2022-02-01 16:57:47 +01:00
Zeno Rogue	bff37f0274	rulegen:: fixed some bugs with sidecache	2022-02-01 16:57:34 +01:00
Zeno Rogue	afb3a2be59	rulegen:: first_restart_on parameter	2022-02-01 16:57:13 +01:00
Zeno Rogue	7d49d7ee81	rulegen:: max_shortcut_length parameter	2022-02-01 16:56:44 +01:00
Zeno Rogue	894da8c55a	doubling distance_warning, getside and examine_branch to detect loops early	2021-12-29 04:27:17 +01:00
Zeno Rogue	014e995ef1	changed slow_side to the default as it turns out to be incompatible with branch skipping	2021-12-29 04:20:58 +01:00
Zeno Rogue	e190fc63a7	rulegen:: branch skipping now made optional, also reset in case of serious errors	2021-12-29 04:20:19 +01:00
Zeno Rogue	d40ea1d6ba	rulegen:: smarter get_side by caching data inside tcell and by noting down known information on the way	2021-12-29 03:35:31 +01:00
Zeno Rogue	d7d3d21d2a	fixed a bug causing skipped branches to interact badly with single live branches	2021-12-29 03:34:31 +01:00
Zeno Rogue	61c5ad9344	fixed overzealous cache clearing	2021-12-29 03:33:35 +01:00
Zeno Rogue	2e17df921d	rulegen:: fixed deleting tmap	2021-12-29 03:33:25 +01:00
Zeno Rogue	9787b3e52d	rulegen:: fixed cleanups	2021-12-28 11:38:45 +01:00
Zeno Rogue	410d5c3015	rulegen:: clear branch checks on clean_data	2021-12-28 11:36:44 +01:00
Zeno Rogue	316b8d4f7c	rulegen:: also set sidecache for the reverse twalker	2021-12-28 11:35:59 +01:00
Zeno Rogue	872ce9d389	rulegen:: distance warnings	2021-12-28 11:35:37 +01:00
Zeno Rogue	775a087624	larger values allowed for codes	2021-12-28 11:34:50 +01:00
Zeno Rogue	468873da29	rulegen:: skipping branches which seem good	2021-12-27 23:09:37 +01:00
Zeno Rogue	eb8ea9c735	retry not failure on neg rule mismatch	2021-12-27 20:20:10 +01:00
Zeno Rogue	77bfa5c9a7	use vectors not maps for shortcuts and analyzers	2021-12-27 20:19:18 +01:00
Zeno Rogue	f9b23b6c39	handle_queued_extensions fixup, should be in earlier commit	2021-12-27 13:30:36 +01:00
Zeno Rogue	38f3414828	rulegen:: retry not failure on reaching the end	2021-12-27 13:30:14 +01:00
Zeno Rogue	94e06b3bbf	new analyzers, based on decision trees	2021-12-27 13:03:15 +01:00
Zeno Rogue	f43f80b0ad	rulegen:: better debug	2021-12-26 22:34:15 +01:00
Zeno Rogue	9eb7b2e337	fixup to some std	2021-12-26 22:34:07 +01:00
Zeno Rogue	ac259bcc95	rulegen:: queue extensions	2021-12-26 22:33:33 +01:00
Zeno Rogue	e466ed8e22	Revert "rulegen:: trace_rootpath changed to beats_exhaustive" ... This reverts commit 81e8a1f113.	2021-12-26 17:31:42 +01:00
Zeno Rogue	81e8a1f113	rulegen:: trace_rootpath changed to beats_exhaustive	2021-12-26 16:28:47 +01:00
Zeno Rogue	045a439d64	fixup to parent_updates	2021-12-26 10:09:13 +01:00
Zeno Rogue	a3a1845d49	clean_parent() on restart	2021-12-25 21:32:45 +01:00
Zeno Rogue	22ffb60ec3	rulegen:: improved overzealous xsidefreeze detection	2021-12-25 21:32:34 +01:00
Zeno Rogue	71fd8eccf5	rulegen:: optimized smart shortcuts	2021-12-25 21:32:08 +01:00
Zeno Rogue	d74edf07db	rulegen:: build shortcuts on parent change	2021-12-25 21:31:36 +01:00
Zeno Rogue	d1ed0ab779	fixed >= to > in smart shortcut	2021-12-25 01:36:44 +01:00
Zeno Rogue	99486bfc3c	disabled debug of smart shortcuts	2021-12-25 01:36:25 +01:00
Zeno Rogue	d1043152dc	in fix_distances, also fix parent_dir	2021-12-25 01:35:48 +01:00
Zeno Rogue	5115a379ee	fixup to smart shortcuts	2021-12-24 23:13:57 +01:00
Zeno Rogue	f861126171	rulegen:: smarter shortcuts	2021-12-24 23:13:05 +01:00
Zeno Rogue	127b64dc66	fixup to twalker I think	2021-12-24 23:11:50 +01:00
Zeno Rogue	2af34b84f2	rulegen:: better debugging on solid	2021-12-24 23:11:33 +01:00
Zeno Rogue	a065fc4d86	rulegen:: base the functions on twalkers to avoid unification errors	2021-12-24 23:08:14 +01:00
Zeno Rogue	18f2ccf1d4	rulegen:: fix_distances on tmove	2021-11-07 09:59:44 +01:00
Zeno Rogue	0d08dceddf	fixed a subtle issue causing max_examine_branch error	2021-11-03 10:20:29 +01:00
Zeno Rogue	ea9936c544	rulegen:: fix memory leak in add_other_origins	2021-11-03 09:42:40 +01:00
Zeno Rogue	f3d7601c88	rulegen:: fix_distances in numerical_fix	2021-11-03 09:42:21 +01:00
Zeno Rogue	391d1a646b	rulegen:: simplified get_parent_dir	2021-11-01 17:25:50 +01:00
Zeno Rogue	cca9afaba9	rulegen:: fixed a bug with sidecache not clearing on single_live_branch_close_to_root	2021-11-01 17:25:39 +01:00
Zeno Rogue	233934630f	rulegen:: find_new_shortcut also called in the other direction	2021-11-01 17:25:24 +01:00
Zeno Rogue	78298432da	rulegen:: numerical-fix, known-structure and known-distances	2021-11-01 17:24:54 +01:00
Zeno Rogue	e36a8970f4	rulegen:: some extra debug	2021-11-01 17:22:50 +01:00
Zeno Rogue	ed156e9efb	rulegen:: reinforced trace_root_path	2021-11-01 17:21:50 +01:00
Zeno Rogue	523f640fa5	rulegen:: fixed hashing in case of incompatible distances	2021-11-01 17:20:08 +01:00
Zeno Rogue	a7149f7054	rulegen:: fix_distances on connect_and_check	2021-11-01 17:18:16 +01:00
Zeno Rogue	78d33ec573	rulegen:: used EX	2021-11-01 17:18:06 +01:00
Zeno Rogue	045dc90378	another fixup to last	2021-11-01 17:17:16 +01:00
Zeno Rogue	159ed86045	fixup to last	2021-11-01 17:15:23 +01:00
Zeno Rogue	1a74241cd9	devmods:: rulegen-tests:: time measuring improvements (movecount and attempts)	2021-11-01 17:14:01 +01:00
Zeno Rogue	53a4a472aa	made rulegen compile in older compiler	2021-10-01 08:18:49 +02:00
Zeno Rogue	e432991abe	rulegen:: minor fixes	2021-08-25 12:58:02 +02:00
Zeno Rogue	73d5862d04	refactored check_timeout	2021-08-25 12:57:50 +02:00
Zeno Rogue	9df74125bd	fix_distances: do not fix while fixing uni	2021-08-25 12:57:33 +02:00
Zeno Rogue	0e3acfe91b	check_timeout in find_new_shortcuts	2021-08-25 12:57:14 +02:00
Zeno Rogue	83e69a4872	rulegen:: addstep used in one more place	2021-08-25 12:56:56 +02:00
Zeno Rogue	42d87d39ac	in be_solid check that c1 is not null (not sure how it could happen)	2021-08-24 12:55:56 +02:00
Zeno Rogue	3e269fe053	rulegen:: w_near_solid	2021-08-24 12:06:17 +02:00
Zeno Rogue	74bf728b84	rulegen:: some weird stuff	2021-08-24 03:37:09 +02:00
Zeno Rogue	25c636c54a	rulegen:: improved shortcut generation	2021-08-24 03:36:50 +02:00
Zeno Rogue	cda7d2337a	rulegen:: origin_id can be changed now	2021-08-24 00:33:52 +02:00
Zeno Rogue	61c400c459	rulegen:: debuglist for solid errors	2021-08-24 00:33:38 +02:00
Zeno Rogue	0c6b6e4b8e	rulegen:: improved handling of distance errors	2021-08-24 00:33:24 +02:00
Zeno Rogue	6215039f9d	rulegen:: export ufind	2021-08-24 00:32:53 +02:00
Zeno Rogue	711ae44605	rulegen:: handle dead roots	2021-08-23 15:50:08 +02:00
Zeno Rogue	308ed5cbb1	rulegen:: fixed branch conflicts handled incorrectly	2021-08-23 15:49:48 +02:00
Zeno Rogue	536c1c21ea	sidecache was not cleared -- added	2021-08-22 19:42:25 +02:00
Zeno Rogue	59aed89f96	rulegen:: w_bfs option	2021-08-22 19:42:07 +02:00
Zeno Rogue	320ff44ef3	fixup to export flag names	2021-08-22 19:41:44 +02:00
Zeno Rogue	565d43665e	rulegen:: fixup to numerical	2021-08-22 14:31:30 +02:00
Zeno Rogue	c5c8d4a928	rulegen:: fixup to time computation	2021-08-22 14:31:23 +02:00
Zeno Rogue	359227c84a	rulegen:: fix weird errors	2021-08-22 14:31:13 +02:00
Zeno Rogue	d361d2bf61	rulegen:: report all_solid_errors	2021-08-22 14:30:52 +02:00
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