Commit Graph

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