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 |
|