21 Commits

Author	SHA1	Message	Date
Raúl Marín	19310a5877	Replace std::vector with absl inlined_vector	2022-10-13 21:50:11 +02:00
Maksim Kita	e30117a3d6	Fix clang-tidy warnings in Interpreters, IO folders	2022-03-14 18:17:35 +00:00
Raúl Marín	91bf938075	Reduce dependencies on ASTLiteral.h ... 590 -> 537	2021-11-26 17:54:57 +01:00
Anton Popov	099c40d251	fix tests	2021-11-19 17:14:56 +03:00
Anton Popov	dfb9bc2a01	minor fixes in constraints	2021-11-17 18:43:02 +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	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	80f333b34f	Merge branch 'nikvas0/simple_optimizations' into nikvas0/replace_min_sum	2021-04-28 21:24:37 +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	08206ab20b	fix	2021-04-03 15:12:45 +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