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

50 commits

Author SHA1 Message Date
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
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
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
62e6a55810 struct: model update to use reverse paths in valupd (fix) 2026-05-10 16:56:42 +00:00
ProgramSnail
ee8ff429cf struct: correct glob context handling in synthesizer (fix ported from ananlyzer) 2026-05-06 17:17:36 +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
ddde0e9541 struct: fixes, full untested version of synt (without memoization, strightforward rewrite without testing) 2026-05-05 18:14:58 +00:00
ProgramSnail
b31415cf8e struct: sythesizer util functions 2026-05-04 13:42:53 +00:00
ProgramSnail
b99aa58db0 struct: synthesizer basic types (relational, without tests) 2026-05-04 13:00:32 +00:00
ProgramSnail
66ea0e53da struct: init synthesizer rewrite 2026-05-01 13:45:09 +00:00
ProgramSnail
80ac511c7a structures: ref expr (semantics & impl, only for var refs for now), simple tests & constructor abbriviations for future 2026-05-01 13:40:56 +00:00
ProgramSnail
1bacb6dfd7 structures: analyzer prog eval, some trivial tests 2026-04-29 15:12:45 +00:00
ProgramSnail
1c7f676a54 structures: context initialization in analyzer 2026-04-29 12:44:15 +00:00
ProgramSnail
1d28d01c17 structures: context initialization semantics 2026-04-29 12:25:56 +00:00
ProgramSnail
35de5946f0 structures: store set of all possible function bodies in values (semantices & annalyzer, combining semantics?) 2026-04-29 12:07:33 +00:00
ProgramSnail
40e02c0e5a structures: call stmt in analyzer, addarg & spoil for expressions, semantics fixes 2026-04-29 11:03:52 +00:00
ProgramSnail
250776f1f7 structures: semantics fixes, another part of analyzer (up to most part of stmt eval) 2026-04-29 09:16:24 +00:00
ProgramSnail
0be430a59b structures: semantics fixes, part of analyzer 2026-04-28 14:37:54 +00:00
ProgramSnail
967d213f54 structures: grammar fixes 2026-04-28 11:17:15 +00:00
ProgramSnail
4eb3dea966 structures: spoil fix, corectness added 2026-04-25 17:25:21 +00:00
ProgramSnail
22111a37ed structures: call add arguments (without typecheck), new value funciton fix 2026-04-25 16:58:59 +00:00
ProgramSnail
5a33161117 structures: call finalization fix (wothout correctness requirements) 2026-04-25 16:44:08 +00:00
ProgramSnail
eb90ba5449 structures: statement eval fix (?) 2026-04-25 16:15:23 +00:00
ProgramSnail
9d21c99556 structures: expr eval & typing 2026-04-25 16:11:29 +00:00
ProgramSnail
9d8dc1000c structures: partial statement eval 2026-04-25 15:47:46 +00:00
ProgramSnail
fd29f7d3da structures: combine + combine all 2026-04-25 15:07:16 +00:00
ProgramSnail
18d19051c4 structures: combine in shared memory 2026-04-25 14:51:38 +00:00
ProgramSnail
0937d91f54 structures: remove in & out accessors 2026-04-25 13:45:24 +00:00
ProgramSnail
e786cc6135 structures: week fixes, part 1 (most syntactic fixes) 2026-04-25 13:43:12 +00:00
ProgramSnail
adeefc1c87 structures: part of eval rules 2026-04-19 13:13:51 +00:00
ProgramSnail
ac88ca11cf structures: part of semantics (new value) 2026-04-19 11:10:52 +00:00
ProgramSnail
57bb3a72ec structures: value & memory model fixes (embed memory into the values), functions fixes (rerite with new syntax) 2026-04-14 11:32:28 +00:00
ProgramSnail
6a3368cbdf structs model: remove unrequired def 2026-04-11 14:54:39 +00:00
ProgramSnail
a34007a63d structs model: path functions, tag accessors 2026-04-11 14:51:56 +00:00
ProgramSnail
8d01ce80cc structs model: syntax, start of the value & memory models 2026-04-11 13:17:15 +00:00
ProgramSnail
84d1ce7eb5 structures: model fixes, analyzer part 2026-04-05 21:45:18 +00:00
ProgramSnail
2e040599f3 kodil with structs: formal semantics draft 2026-04-04 13:07:15 +00:00
ProgramSnail
7e88e1b10a struct args synt: todo chenge 2026-04-03 10:05:23 +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