29 Commits

Author	SHA1	Message	Date
Robert Schulze	50cd59a72b	Remove default value for argument 'ignore_aliases' from IAST::getTreeHash()	2023-11-13 10:27:38 +00:00
Antonio Andelic	e07a8e1fd2	Some fixes with tests	2023-03-16 15:59:48 +00:00
Antonio Andelic	c7787a6652	Fix column resolution	2023-03-16 14:57:07 +00:00
Antonio Andelic	0f6e4d3934	Start implementing constraint optimizer	2023-03-16 09:30:55 +00:00
Alexander Tokmakov	4175f8cde6	abort instead of __builtin_unreachable in debug builds	2022-10-07 21:49:08 +02:00
Maksim Kita	e30117a3d6	Fix clang-tidy warnings in Interpreters, IO folders	2022-03-14 18:17:35 +00:00
Anton Popov	dfb9bc2a01	minor fixes in constraints	2021-11-17 18:43:02 +03:00
Nikita Vasilev	44b996df49	fix	2021-05-19 22:40:38 +03:00
Nikita Vasilev	24499fc31a	fix	2021-05-10 13:27:47 +03:00
Nikita Vasilev	8e4dc3aa25	fix	2021-05-08 12:19:18 +03:00
Nikita Vasilev	cdf78828da	fix	2021-05-07 13:49:05 +03:00
Nikita Vasilev	4bf5547350	fix	2021-05-06 11:29:24 +03:00
Nikita Vasilev	496d8ff46c	improvements	2021-05-04 21:43:58 +03:00
Nikita Vasilev	06cc361075	rm unused	2021-05-04 14:07:43 +03:00
Nikita Vasilev	62d33f93c0	!= support	2021-05-04 13:47:23 +03:00
Nikita Vasilev	cdb0d86e2b	improve hypothesis	2021-05-03 22:08:26 +03:00
Nikita Vasilev	564a484642	fix	2021-05-02 22:16:40 +03:00
Nikita Vasilev	464d779da1	optimization columns	2021-04-29 21:12:51 +03:00
Nikita Vasilev	80f333b34f	Merge branch 'nikvas0/simple_optimizations' into nikvas0/replace_min_sum	2021-04-28 21:24:37 +03:00
Nikita Vasilev	460bff4d89	fix logs	2021-04-28 20:48:29 +03:00
Nikita Vasilev	ad0d0ad1db	map to index	2021-04-28 20:35:51 +03:00
Nikita Vasilev	5663db33b1	impr	2021-04-26 14:26:54 +03:00
Nikita Vasilev	082f43d7f1	lower/upper bound	2021-04-10 23:46:53 +03:00
Nikita Vasilev	9ebc0cd731	consts	2021-04-10 18:47:50 +03:00
Nikita Vasilev	d868b52d37	calc	2021-04-03 19:30:49 +03:00
Nikita Vasilev	7247490124	const replace	2021-03-05 15:46:42 +03:00
Nikita Vasilev	06454bd912	fix	2021-03-05 15:13:00 +03:00
Nikita Vasilev	31caff2113	graph	2021-03-05 12:54:13 +03:00
Nikita Vasilev	1fb947b70b	impr	2021-03-04 15:11:43 +03:00