203 Commits

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