st
0 followers · 0 following
  • Joined on 2025-07-19
Repositories
19
 Projects Packages Public activity Starred repositories
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-10 22:22:43 +00:00
6181f405f7 struct: analyzer: remove old commented tests, etc.
e8e6acc122 struct: reverse paths in valupd (fix): update for analyzer and synthesizer
62e6a55810 struct: model update to use reverse paths in valupd (fix)
855a3d1ef9 struct: rev fix, fixes (test is still broken)
Compare 4 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-10 14:12:43 +00:00
123012f68f struct: send test: impl for analyzer (currently broken), fix of rev order in tuplecopy
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-09 21:52:42 +00:00
64935b3c7e struct: synt. memoization (+ rec function test), fixes
810b655ba8 struct: analyzer memoization (store list of stmts for now)
1a61fb01ee struct: remove commented tests from prev iteration
e79b7fa7bc struct: synthesizer simple synthesis tests
a771173364 struct: synt. argument modes tests
Compare 6 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-08 21:32:42 +00:00
2cc87d74df struct: some synt. tests (some test bodies without actual check)
1bcf567839 struct: synt. ref arg in call fix
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-08 13:22:42 +00:00
68f2569922 struct: synt. ambuity fixes, simple read call test
130079f7bd struct: synt. left & right fold fix (swap), simple var synt. tests, fixes, not working (yet) call test
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-06 20:32:42 +00:00
ee8ff429cf struct: correct glob context handling in synthesizer (fix ported from ananlyzer)
a130ffe819 struct: fixes, first (empty) synthesizer test
781fdbafd2 struct: fix test & shadowing test in analyzer
547d419b48 struct: fox spoil in root: use copy capability Cp
bd809ed1cf struct: glob state fix: init func internal state with glob state, some tests
Compare 6 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-06 12:22:42 +00:00
6620b0d0ef struct: remove unrequired comments - old code
da7e489a78 struct: remove unrequired comment
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-05 20:02:43 +00:00
ddde0e9541 struct: fixes, full untested version of synt (without memoization, strightforward rewrite without testing)
99a18feee9 struct: synt: valspoil
3e61eb3204 struct: part sythesizer functions + some minor (mostly stylistic) analyzer corrections
Compare 3 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-04 19:32:43 +00:00
b31415cf8e struct: sythesizer util functions
b99aa58db0 struct: synthesizer basic types (relational, without tests)
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-05-01 18:12:42 +00:00
66ea0e53da struct: init synthesizer rewrite
80ac511c7a structures: ref expr (semantics & impl, only for var refs for now), simple tests & constructor abbriviations for future
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-04-29 17:22:43 +00:00
1bacb6dfd7 structures: analyzer prog eval, some trivial tests
ac67849c5d structures: remove or comment old code in the analyzer
1c7f676a54 structures: context initialization in analyzer
1d28d01c17 structures: context initialization semantics
35de5946f0 structures: store set of all possible function bodies in values (semantices & annalyzer, combining semantics?)
Compare 7 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-04-28 17:02:04 +00:00
0be430a59b structures: semantics fixes, part of analyzer
967d213f54 structures: grammar fixes
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-04-26 00:04:49 +00:00
4eb3dea966 structures: spoil fix, corectness added
22111a37ed structures: call add arguments (without typecheck), new value funciton fix
5a33161117 structures: call finalization fix (wothout correctness requirements)
eb90ba5449 structures: statement eval fix (?)
9d21c99556 structures: expr eval & typing
Compare 8 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-04-25 15:54:49 +00:00
0937d91f54 structures: remove in & out accessors
e786cc6135 structures: week fixes, part 1 (most syntactic fixes)
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-04-19 21:04:50 +00:00
adeefc1c87 structures: part of eval rules
ac88ca11cf structures: part of semantics (new value)
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-04-14 18:37:09 +00:00
57bb3a72ec structures: value & memory model fixes (embed memory into the values), functions fixes (rerite with new syntax)
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-04-11 17:07:08 +00:00
6a3368cbdf structs model: remove unrequired def
a34007a63d structs model: path functions, tag accessors
8d01ce80cc structs model: syntax, start of the value & memory models
Compare 3 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-04-05 22:37:08 +00:00
84d1ce7eb5 structures: model fixes, analyzer part
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-04-04 13:57:07 +00:00
2e040599f3 kodil with structs: formal semantics draft
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-04-03 13:27:07 +00:00
7e88e1b10a struct args synt: todo chenge