• Joined on 2025-07-19
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-22 19:22:43 +00:00
06f69ec4c2 struct: remove test parts that are not required now (with new lambda model)
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-21 19:02:42 +00:00
441b383762 struct: make mode constructor named in analyzers (to unify code view with synt)
90986d9681 struct: half-manual solution for the complex send example with code from analyzer rw, test presented with fixed tags
f457ed746e struct: analyzer_rw: remove commenedtext
3a2caa6e27 struct: analyzer_rw: rw tags gen for complex example
4209d8ea2c struct: analyzer_rw: rw tags gen tests, 2nd test from presentation
Compare 9 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-21 10:52:42 +00:00
d06f6d53bc struct: analyzer_rw init (from analyzer)
st synced commits to lambdas_no_value at st/pass_strategy_synthesis from mirror 2026-05-20 18:32:43 +00:00
st synced new reference lambdas_no_value to st/pass_strategy_synthesis from mirror 2026-05-20 18:32:43 +00:00
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-20 18:32:43 +00:00
3111194714 struct: synthesiszer fix, tests fix
ae01a435ff struct: synthesizer lambdas without value fix, analyzer and model minor fixes; broken synt call tests
e718ccb24b struct: analyzer: fixes to match model with lambdas without stmts
b8d704d0d0 struct: model: final model fixes (+ ret glob val decland stmt) to match analyzer
b6568704f0 struct: model: fix tfunceval rule header
Compare 10 commits »
st synced commits to memory_ext at st/pass_strategy_synthesis from mirror 2026-05-20 18:32:43 +00:00
2d6516c105 struct: small exmple fixes
st synced commits to memory_ext at st/pass_strategy_synthesis from mirror 2026-05-18 01:22:42 +00:00
fac507bebf struct: analyzer & synthesizer val build, small fixes
7d8ab19675 struct: model: build rule
Compare 2 commits »
st synced commits to memory_ext at st/pass_strategy_synthesis from mirror 2026-05-17 17:12:42 +00:00
eff48a1c6e struct: minor model fixes, read combination fix
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-17 00:52:43 +00:00
de71aea4e1 struct: cosmetic fixes
99669ba2f8 struct: add substructure read / write to analyzer & synthesizer, fix model (add writability test & fix conditions in stmt eval)
0c83218109 struct: model: add substructure read / write
d684b8eeb9 struct: progam eval rule in modal, fix func eval rule
506ea25b10 struct: lambda tags check fix in model
Compare 5 commits »
st synced commits to memory_ext at st/pass_strategy_synthesis from mirror 2026-05-17 00:52:43 +00:00
de71aea4e1 struct: cosmetic fixes
99669ba2f8 struct: add substructure read / write to analyzer & synthesizer, fix model (add writability test & fix conditions in stmt eval)
Compare 2 commits »
st synced commits to memory_ext at st/pass_strategy_synthesis from mirror 2026-05-16 16:42:42 +00:00
0c83218109 struct: model: add substructure read / write
d684b8eeb9 struct: progam eval rule in modal, fix func eval rule
506ea25b10 struct: lambda tags check fix in model
Compare 3 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-15 16:32:42 +00:00
8fc0ffa805 struct: fixes, test 2 from presentation (mostly, choice removed for now)
0ef7ebdad2 struct: fixes, ref memcopy test (need to copy due to new memory model), test from presentation
1d65b67260 struct: fixes, synt working (except complex example, still too slow)
04b2be8456 struct: synthesizer build fixed
a56a8ffebc struct: new model in synthesizer (not compilling for now but necessery parts are implemented)
Compare 9 commits »
st synced commits to memory_ext at st/pass_strategy_synthesis from mirror 2026-05-15 16:32:42 +00:00
8fc0ffa805 struct: fixes, test 2 from presentation (mostly, choice removed for now)
0ef7ebdad2 struct: fixes, ref memcopy test (need to copy due to new memory model), test from presentation
Compare 2 commits »
st synced commits to memory_ext at st/pass_strategy_synthesis from mirror 2026-05-15 00:12:43 +00:00
1d65b67260 struct: fixes, synt working (except complex example, still too slow)
st synced commits to memory_ext at st/pass_strategy_synthesis from mirror 2026-05-14 16:02:43 +00:00
04b2be8456 struct: synthesizer build fixed
st synced commits to memory_ext at st/pass_strategy_synthesis from mirror 2026-05-13 23:42:43 +00:00
a56a8ffebc struct: new model in synthesizer (not compilling for now but necessery parts are implemented)
5f55e3ecee struct: analyzer fixes (except tags fix for complex test)
60da9bdb3f struct: model change in analyzer (tests are not fixed yet), semantics fixes
Compare 3 commits »
st synced commits to memory_ext at st/pass_strategy_synthesis from mirror 2026-05-13 15:32:42 +00:00
st synced new reference memory_ext to st/pass_strategy_synthesis from mirror 2026-05-13 15:32:42 +00:00
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-12 23:22:42 +00:00
783260b38c struct: complex example synt, too many wars to chek full synt
279a548a58 struct: first attempt to synt in complex example, functions to omit capabilities
62f8bc53a1 struct: relational interpreter: complex test (in forward direction, no synt, no complex annotations)
Compare 3 commits »