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

Commit graph

  • 9c3825e0d4 fix: do not exclude expressions with new examples from the pool (do not consider them nonequal to any other) main ProgramSnail 2025-11-26 12:36:22 +03:00
  • 75dafdab5e new saturate step archetecture: call saturate only at the end, speedup ProgramSnail 2025-11-18 16:27:05 +03:00
  • 15cbf78ed5 monor fixes, sepated caching eval ProgramSnail 2025-11-18 15:44:01 +03:00
  • f27f6c5559 fix types, delete old escher ProgramSnail 2025-11-05 12:43:53 +03:00
  • 753ca23cbc empty list type check fix, add typecheck to forward step (no tests yet) ProgramSnail 2025-11-05 02:36:33 +03:00
  • edc6c373b0 type check preparation: add types to oracle ProgramSnail 2025-11-05 01:58:03 +03:00
  • b7963e87a6 02 changes ProgramSnail 2025-11-05 01:57:37 +03:00
  • 83720426c1 fix errors (gen InputE 0 in patterns 1, more logs), split files ProgramSnail 2025-11-05 01:19:45 +03:00
  • 72e32c4b1d type check function, change inputs structure ProgramSnail 2025-11-05 01:11:55 +03:00
  • 3fe524b5a0 main, fixes, works for length & reverse (for int lists) ProgramSnail 2025-10-27 01:47:15 +03:00
  • e8524a170f fix wrong gets usage, caching will require more changes ProgramSnail 2025-10-26 23:29:03 +03:00
  • b04a28fd51 replace direct get of state in most places, fixes ProgramSnail 2025-10-26 22:06:40 +03:00
  • 0270c44bf6 self eval fix: return oracle result without recursion ProgramSnail 2025-10-26 20:38:40 +03:00
  • 482b41680e different fixes, length & reverse examples ProgramSnail 2025-10-26 20:34:44 +03:00
  • c609f9c9f7 expr eval fixes, examples, etc. ProgramSnail 2025-10-22 12:42:40 +03:00
  • d06c1a93f9 structural rec comparasion, syntesis step parts, no deduplication & tests ProgramSnail 2025-10-21 16:45:45 +03:00
  • 372d38d813 most of syntestis step & utils ProgramSnail 2025-10-21 14:33:00 +03:00
  • 2f39933512 part of step eval ProgramSnail 2025-10-19 23:37:38 +03:00
  • c61121e2da expr generation ProgramSnail 2025-10-19 18:31:24 +03:00
  • bfbff8b7cd get concat shuffle from 02, part of genNexts, patterns ProgramSnail 2025-10-18 13:22:07 +03:00
  • e78372fbfc syntesis steps, goal match, fill holes ProgramSnail 2025-10-18 12:59:10 +03:00
  • bf08ed8143 escher: controils in eval (without example add), split goal ProgramSnail 2025-10-04 14:51:23 +03:00
  • ed13182e92 escher: eval ProgramSnail 2025-10-04 12:58:34 +03:00
  • 07195be85e 02: unique exprs: use reduced exprs set in next steps ProgramSnail 2025-09-30 12:37:37 +03:00
  • 99b0b9d672 02: unique exprs: better concat ProgramSnail 2025-09-30 11:02:26 +03:00
  • 67fabd4dc2 02: unique exprs: pass old exprs without last ones into the function ProgramSnail 2025-09-30 10:59:11 +03:00
  • bffbf6e0b2 02: unique exprs: merge lists manually ProgramSnail 2025-09-30 10:47:20 +03:00
  • da9ceb714e 02: fixes, nextSimpleExprs & same nodes deletion integration ProgramSnail 2025-09-30 10:34:37 +03:00
  • bcfed9769c 02: fixes, different gen separation, ~unique expr gen ProgramSnail 2025-09-30 10:10:43 +03:00
  • 5e7729e4ac 02: use one expr type ProgramSnail 2025-09-23 19:34:52 +03:00
  • 597f34e709 02: fixes ProgramSnail 2025-09-23 11:40:41 +03:00
  • 1feddeed14 intial impl, tests (does nto work for now0 ProgramSnail 2025-09-18 00:31:50 +03:00
  • abd62b74f0 init, part of lecture 02 practice impl ProgramSnail 2025-09-17 17:26:01 +03:00