st/pass_strategy_synthesis
1
0
Fork 0
mirror of https://github.com/ProgramSnail/pass_strategy_synthesis.git synced 2026-06-11 03:38:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
150 commits 3 branches 0 tags 1.6 MiB
Commit graph

86 commits

Author SHA1 Message Date
ProgramSnail
3111194714 struct: synthesiszer fix, tests fix 2026-05-20 16:13:53 +00:00
ProgramSnail
ae01a435ff struct: synthesizer lambdas without value fix, analyzer and model minor fixes; broken synt call tests 2026-05-20 15:59:44 +00:00
ProgramSnail
e718ccb24b struct: analyzer: fixes to match model with lambdas without stmts 2026-05-20 14:24:57 +00:00
ProgramSnail
b8d704d0d0 struct: model: final model fixes (+ ret glob val decland stmt) to match analyzer 2026-05-20 14:24:30 +00:00
ProgramSnail
b6568704f0 struct: model: fix tfunceval rule header 2026-05-20 14:03:03 +00:00
ProgramSnail
d567cfd295 struct: model change for lambdas to not include statements (+ as a result all program is now a function & there is no glob variables) 2026-05-20 13:39:16 +00:00
ProgramSnail
2d6516c105 struct: small exmple fixes 2026-05-20 12:49:29 +00:00
ProgramSnail
fac507bebf struct: analyzer & synthesizer val build, small fixes 2026-05-17 18:19:31 +00:00
ProgramSnail
7d8ab19675 struct: model: build rule 2026-05-17 18:09:39 +00:00
ProgramSnail
eff48a1c6e struct: minor model fixes, read combination fix 2026-05-17 17:09:14 +00:00
ProgramSnail
de71aea4e1 struct: cosmetic fixes 2026-05-16 17:39:08 +00:00
ProgramSnail
99669ba2f8 struct: add substructure read / write to analyzer & synthesizer, fix model (add writability test & fix conditions in stmt eval) 2026-05-16 17:33:10 +00:00
ProgramSnail
0c83218109 struct: model: add substructure read / write 2026-05-16 16:20:46 +00:00
ProgramSnail
d684b8eeb9 struct: progam eval rule in modal, fix func eval rule 2026-05-16 12:49:05 +00:00
ProgramSnail
506ea25b10 struct: lambda tags check fix in model 2026-05-16 12:28:31 +00:00
ProgramSnail
8fc0ffa805 struct: fixes, test 2 from presentation (mostly, choice removed for now) 2026-05-15 11:41:59 +00:00
ProgramSnail
0ef7ebdad2 struct: fixes, ref memcopy test (need to copy due to new memory model), test from presentation 2026-05-15 10:06:42 +00:00
ProgramSnail
1d65b67260 struct: fixes, synt working (except complex example, still too slow) 2026-05-14 21:48:48 +00:00
ProgramSnail
04b2be8456 struct: synthesizer build fixed 2026-05-14 10:16:33 +00:00
ProgramSnail
a56a8ffebc struct: new model in synthesizer (not compilling for now but necessery parts are implemented) 2026-05-13 18:46:01 +00:00
ProgramSnail
5f55e3ecee struct: analyzer fixes (except tags fix for complex test) 2026-05-13 16:55:15 +00:00
ProgramSnail
60da9bdb3f struct: model change in analyzer (tests are not fixed yet), semantics fixes 2026-05-13 15:54:40 +00:00
ProgramSnail
18481550d3 struct: model change: spoil fix; model change probably done 2026-05-13 14:17:52 +00:00
ProgramSnail
cea67b09ce struct: model change: additional read & write cells in trivial value for better analysis, most of the model without spoil function fix 2026-05-13 13:17:19 +00:00
ProgramSnail
783260b38c struct: complex example synt, too many wars to chek full synt 2026-05-12 19:07:35 +00:00
ProgramSnail
279a548a58 struct: first attempt to synt in complex example, functions to omit capabilities 2026-05-12 17:42:54 +00:00
ProgramSnail
62f8bc53a1 struct: relational interpreter: complex test (in forward direction, no synt, no complex annotations) 2026-05-12 17:06:51 +00:00
ProgramSnail
6181f405f7 struct: analyzer: remove old commented tests, etc. 2026-05-10 17:34:45 +00:00
ProgramSnail
e8e6acc122 struct: reverse paths in valupd (fix): update for analyzer and synthesizer 2026-05-10 17:19:00 +00:00
ProgramSnail
62e6a55810 struct: model update to use reverse paths in valupd (fix) 2026-05-10 16:56:42 +00:00
ProgramSnail
855a3d1ef9 struct: rev fix, fixes (test is still broken) 2026-05-10 16:56:15 +00:00
ProgramSnail
123012f68f struct: send test: impl for analyzer (currently broken), fix of rev order in tuplecopy 2026-05-10 13:44:35 +00:00
ProgramSnail
64935b3c7e struct: synt. memoization (+ rec function test), fixes 2026-05-09 17:29:54 +00:00
ProgramSnail
810b655ba8 struct: analyzer memoization (store list of stmts for now) 2026-05-09 16:34:47 +00:00
ProgramSnail
1a61fb01ee struct: remove commented tests from prev iteration 2026-05-09 15:49:07 +00:00
ProgramSnail
e79b7fa7bc struct: synthesizer simple synthesis tests 2026-05-09 15:48:28 +00:00
ProgramSnail
a771173364 struct: synt. argument modes tests 2026-05-09 15:22:11 +00:00
ProgramSnail
10cea01338 struct: synt. tests fixes, simple forward tests done 2026-05-09 14:35:21 +00:00
ProgramSnail
2cc87d74df struct: some synt. tests (some test bodies without actual check) 2026-05-08 15:58:44 +00:00
ProgramSnail
1bcf567839 struct: synt. ref arg in call fix 2026-05-08 14:50:36 +00:00
ProgramSnail
68f2569922 struct: synt. ambuity fixes, simple read call test 2026-05-08 12:46:53 +00:00
ProgramSnail
130079f7bd struct: synt. left & right fold fix (swap), simple var synt. tests, fixes, not working (yet) call test 2026-05-08 12:06:53 +00:00
ProgramSnail
ee8ff429cf struct: correct glob context handling in synthesizer (fix ported from ananlyzer) 2026-05-06 17:17:36 +00:00
ProgramSnail
a130ffe819 struct: fixes, first (empty) synthesizer test 2026-05-06 16:57:14 +00:00
ProgramSnail
781fdbafd2 struct: fix test & shadowing test in analyzer 2026-05-06 16:18:42 +00:00
ProgramSnail
547d419b48 struct: fox spoil in root: use copy capability Cp 2026-05-06 16:14:35 +00:00
ProgramSnail
bd809ed1cf struct: glob state fix: init func internal state with glob state, some tests 2026-05-06 15:20:44 +00:00
ProgramSnail
5833e5949c struct: fixes, som more tests for analyzer 2026-05-06 15:01:34 +00:00
ProgramSnail
6620b0d0ef struct: remove unrequired comments - old code 2026-05-06 10:41:29 +00:00
ProgramSnail
da7e489a78 struct: remove unrequired comment 2026-05-06 10:39:49 +00:00