Commit Graph

217 Commits

Author SHA1 Message Date
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
Zeno Rogue 43aec99cd8 rulegen:: debug get_parent_dir 2021-08-17 14:20:54 +02:00
Zeno Rogue dd79a01f02 rulegen:: attempt to resolve confusion (for testing other parts mainly) 2021-08-17 14:18:54 +02:00
Zeno Rogue 5e534dbe28 rulegen:: get_parent_dir now finds a conflict in symmetric case 2021-08-17 14:18:05 +02:00
Zeno Rogue 6080443fde dealing with single live branches correctly 2021-08-17 02:32:03 +02:00
Zeno Rogue a96b3daf69 rulegen: unused var removed 2021-08-17 00:25:07 +02:00
Zeno Rogue 48b91ddafb rulegen:: some fixes in get_parent_dir 2021-08-17 00:24:38 +02:00
Zeno Rogue f19ba00324 rulegen:: fixed for the case of a single live branch at root. TBH more hack than a proper fix 2021-08-15 21:01:47 +02:00
Zeno Rogue fc0763362e improved get_parent_dir 2021-08-15 18:06:23 +02:00
Zeno Rogue 749b8aead6 rulegen:: simplified since we know LEFT/RIGHT directions 2021-08-15 17:43:13 +02:00
Zeno Rogue 0f0aef8dd9 rulegen:: faster shortcuts 2021-08-15 17:26:38 +02:00
Zeno Rogue 6a3e12836f added CAP_COMMANDLINE guards in rulegen 2021-08-08 17:14:19 +02:00
Zeno Rogue 2c074a7088 rulegen:: analyzer improvements 2021-08-05 11:56:49 +02:00
Zeno Rogue d98c8a025f fixup to memory perf 2021-08-04 18:36:38 +02:00
Zeno Rogue a5bb0b7ffc rulegen:: rule_status is now logged 2021-08-04 18:35:48 +02:00
Zeno Rogue 6935aa1cf7 rulegen:: branches starting at other roots were not examined 2021-08-04 18:35:37 +02:00
Zeno Rogue b60618d28a rulegen:: improved the memory performance 2021-08-04 18:35:04 +02:00
Zeno Rogue ce1d48c415 added missing override 2021-08-01 11:28:45 +02:00
Zeno Rogue b0dd4ebf94 rulegen:: added MLEFT and MRIGHT to treestates in files 2021-08-01 03:02:39 +02:00
Zeno Rogue 5dd6789762 treestate reading now actually supports placing PARENT in other places 2021-08-01 03:00:24 +02:00
Zeno Rogue 8079b0ffa4 paragraphs in strict tree maps help 2021-07-31 16:10:37 +02:00
Zeno Rogue a065e73013 an option to change rule_root in the tes file 2021-07-31 16:10:08 +02:00
Zeno Rogue 0f05bb5e59 rulegen:: dialog now shows the statistics on success 2021-07-31 15:58:13 +02:00
Zeno Rogue 1fc3961a6f rulegen:: added the dialog enabling these 2021-07-31 15:50:20 +02:00
Zeno Rogue c843af9131 reduced the default max_tcellcount 2021-07-31 15:48:12 +02:00
Zeno Rogue c661290930 rulegen:: fixed a bug with generating Camelot root 2021-07-31 15:14:31 +02:00
Zeno Rogue e8a8a75620 rulegen:: fixed UB in get_corner while doing floorshapes 2021-07-31 15:14:31 +02:00
Zeno Rogue fa03033c99 arb/rulegen:: trees can now be defined in tes files 2021-07-31 15:14:31 +02:00
Zeno Rogue 8871efcc0c rulegen:: generate roots of all sid's 2021-07-31 15:14:31 +02:00
Zeno Rogue 0dfa361453 arb:: converted and rulegen status is now saved in save_geometry 2021-07-31 15:14:31 +02:00
Zeno Rogue c8cbe55e1f fixed minimize_rules() not updating id's 2021-07-31 15:14:31 +02:00
Zeno Rogue 184d32a89d rulegen:: added relative_matrixh 2021-07-31 15:14:31 +02:00
Zeno Rogue 4a0f688673 rulegen:: apply arb::convert, and imrpoved generation 2021-07-31 15:14:31 +02:00
Zeno Rogue c996805533 rulegen:: adj for floorshapes 2021-07-31 15:13:44 +02:00
Zeno Rogue 1ca7175e56 rulegen:: removed useless current_geometry_name 2021-07-31 15:13:44 +02:00
Zeno Rogue f92e26dc00 rulegen:: set state correctly 2021-07-31 15:13:44 +02:00
Zeno Rogue c53270ca16 introduced rulegen.cpp which generates strict_tree_rules for arb 2021-07-31 15:13:44 +02:00