8 commits

Author	SHA1	Message	Date
ProgramSnail	9c3825e0d4	fix: do not exclude expressions with new examples from the pool (do not consider them nonequal to any other)	2025-11-26 12:36:22 +03:00
ProgramSnail	75dafdab5e	new saturate step archetecture: call saturate only at the end, speedup	2025-11-18 16:27:05 +03:00
ProgramSnail	15cbf78ed5	monor fixes, sepated caching eval	2025-11-18 15:44:01 +03:00
ProgramSnail	f27f6c5559	fix types, delete old escher	2025-11-05 12:43:53 +03:00
ProgramSnail	753ca23cbc	empty list type check fix, add typecheck to forward step (no tests yet)	2025-11-05 02:36:33 +03:00
ProgramSnail	edc6c373b0	type check preparation: add types to oracle	2025-11-05 01:58:03 +03:00
ProgramSnail	83720426c1	fix errors (gen InputE 0 in patterns 1, more logs), split files	2025-11-05 01:19:45 +03:00
ProgramSnail	72e32c4b1d	type check function, change inputs structure	2025-11-05 01:11:55 +03:00