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
144 commits 3 branches 0 tags 1.6 MiB
Commit graph

21 commits

Author SHA1 Message Date
ProgramSnail
eff48a1c6e struct: minor model fixes, read combination fix 2026-05-17 17:09:14 +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
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
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
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
64935b3c7e struct: synt. memoization (+ rec function test), fixes 2026-05-09 17:29:54 +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
5833e5949c struct: fixes, som more tests for analyzer 2026-05-06 15:01:34 +00:00
ProgramSnail
3ce800773e model with structures: init from control flow model, model formal difinition draft part 2026-03-29 15:32:35 +00:00