185 Commits

Author	SHA1	Message	Date
Zeno Rogue	464f4277cc	fixed a memory leak in (de)compress_string	2022-08-07 01:57:06 +02:00
Zeno Rogue	fba2cc95cf	rulegen3:: transducer-based check	2022-08-07 01:52:51 +02:00
Zeno Rogue	4b4103f667	rulegen3:: some exports added	2022-08-07 01:45:26 +02:00
Zeno Rogue	70561f1f5a	rulegen3:: honeycomb_value	2022-08-07 01:44:49 +02:00
Zeno Rogue	e7818829e2	improvement to rulegen3	2022-07-17 14:41:57 +02:00
Zeno Rogue	b76bddb47b	rulegen:: split	2022-07-17 14:41:57 +02:00
Zeno Rogue	0b4df47964	rulegen3:: new features	2022-07-13 19:31:24 +02:00
Zeno Rogue	94a243a825	moved genhoneycomb to rulegen3	2022-07-13 18:59:04 +02:00
Zeno Rogue	ffdc74a0b5	rulegen:: fixed a bug which caused problems on MYSTERY-th state	2022-07-13 17:25:04 +02:00
Zeno Rogue	dfe0d7ccf9	rulegen:: removed debug	2022-07-12 14:46:32 +02:00
Zeno Rogue	8256b398b1	added missing override	2022-07-12 14:46:31 +02:00
Zeno Rogue	45d1675d8f	rulegen:: improved troubleshooting	2022-07-12 14:46:31 +02:00
Zeno Rogue	dbb02d6bc9	rulegen:: a fixup for substates becoming a map	2022-07-12 14:46:30 +02:00
Zeno Rogue	cdb2a001ca	rulegen3	2022-07-12 14:46:30 +02:00
Zeno Rogue	ef712a3b4f	rulegen:: also number_of_types	2022-07-12 14:46:30 +02:00
Zeno Rogue	c775936970	rulegen:: generalize to work with other maps than arbi	2022-07-12 14:46:30 +02:00
Zeno Rogue	fb9bf4263a	rulegen:: call hooks to animate the algorithm	2022-07-12 14:46:30 +02:00
Zeno Rogue	75f58766a2	made background screen darkening consistent and optional	2022-07-05 11:51:06 +02:00
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