st/prog_synthesis
1
0
Fork 0
mirror of https://codeberg.org/ProgramSnail/prog_synthesis.git synced 2025-12-05 21:18:42 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
33 commits 1 branch 0 tags 74 KiB
Commit graph

33 commits

This branch
This branch
All branches
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
b7963e87a6 02 changes 2025-11-05 01:57:37 +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
ProgramSnail
3fe524b5a0 main, fixes, works for length & reverse (for int lists) 2025-10-27 01:47:15 +03:00
ProgramSnail
e8524a170f fix wrong gets usage, caching will require more changes 2025-10-26 23:29:03 +03:00
ProgramSnail
b04a28fd51 replace direct get of state in most places, fixes 2025-10-26 22:06:45 +03:00
ProgramSnail
0270c44bf6 self eval fix: return oracle result without recursion 2025-10-26 20:38:40 +03:00
ProgramSnail
482b41680e different fixes, length & reverse examples 2025-10-26 20:34:44 +03:00
ProgramSnail
c609f9c9f7 expr eval fixes, examples, etc. 2025-10-22 12:42:46 +03:00
ProgramSnail
d06c1a93f9 structural rec comparasion, syntesis step parts, no deduplication & tests 2025-10-21 16:45:45 +03:00
ProgramSnail
372d38d813 most of syntestis step & utils 2025-10-21 14:33:00 +03:00
ProgramSnail
2f39933512 part of step eval 2025-10-19 23:37:38 +03:00
ProgramSnail
c61121e2da expr generation 2025-10-19 18:31:24 +03:00
ProgramSnail
bfbff8b7cd get concat shuffle from 02, part of genNexts, patterns 2025-10-18 13:22:07 +03:00
ProgramSnail
e78372fbfc syntesis steps, goal match, fill holes 2025-10-18 12:59:10 +03:00
ProgramSnail
bf08ed8143 escher: controils in eval (without example add), split goal 2025-10-04 14:51:23 +03:00
ProgramSnail
ed13182e92 escher: eval 2025-10-04 12:58:34 +03:00
ProgramSnail
07195be85e 02: unique exprs: use reduced exprs set in next steps 2025-09-30 12:37:37 +03:00
ProgramSnail
99b0b9d672 02: unique exprs: better concat 2025-09-30 11:02:26 +03:00
ProgramSnail
67fabd4dc2 02: unique exprs: pass old exprs without last ones into the function 2025-09-30 10:59:11 +03:00
ProgramSnail
bffbf6e0b2 02: unique exprs: merge lists manually 2025-09-30 10:47:20 +03:00
ProgramSnail
da9ceb714e 02: fixes, nextSimpleExprs & same nodes deletion integration 2025-09-30 10:34:37 +03:00
ProgramSnail
bcfed9769c 02: fixes, different gen separation, ~unique expr gen 2025-09-30 10:10:43 +03:00
ProgramSnail
5e7729e4ac 02: use one expr type 2025-09-23 19:34:52 +03:00
ProgramSnail
597f34e709 02: fixes 2025-09-23 11:40:41 +03:00
ProgramSnail
1feddeed14 intial impl, tests (does nto work for now0 2025-09-18 00:31:50 +03:00
ProgramSnail
abd62b74f0 init, part of lecture 02 practice impl 2025-09-17 17:26:01 +03:00