mirrors/hyperrogue
1
0
Fork 0
mirror of https://github.com/zenorogue/hyperrogue.git synced 2024-11-27 06:27:17 +00:00
Code Issues Releases Wiki Activity
11,106 Commits 1 Branch 65 Tags 131 MiB
907dd4fdd8
Commit Graph

219 Commits

Author SHA1 Message Date
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
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