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-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
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-29 19:07:08 +00:00
3ce800773e model with structures: init from control flow model, model formal difinition draft part
5fa95da8b7 file for abstract domain alternative model, fixes
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-21 15:37:08 +00:00
93e8f23c4a controw flow: synthesizer write modes addition (no tests fix for always and may inersection)
2069b6179e control flow: analyzer combine command (without tests)
406992effb controwl flow: analyzer write modes draft
Compare 3 commits »
st pushed tag opera-utils to st/storage 2026-03-17 12:38:40 +00:00
st released opera-utils at st/storage 2026-03-17 12:38:40 +00:00
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-16 04:57:07 +00:00
869bffb0df control flow semantics draft
9b9c6927cf part semantics changes to include conditions. problem: 'choice' makes undetermenistic changes to vars, need to deal with that => top level-only choice (other choices - syntactic sugar) or more possible values
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-15 20:47:08 +00:00
df26d40669 init new separate mode to implement control flow
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-15 12:37:08 +00:00
036322903b model description fixes & additions, correct memoisation in synthesizer (rec test passed)
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-09 01:37:08 +00:00
0b261943db analyzer fix & synthesizer fix (with prev. tests fix) (no model file fix yet)
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-08 01:07:07 +00:00
270296e7b2 simplest model with mods: test fixes & mark not passed tests
ea03743fee syntesizer with mods: tests update (no result update, no run)
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-07 16:57:07 +00:00
2ec7f963db syntesizer with mods: sucessfull build, no tests done (& pretty much no test updated)
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-03 23:17:11 +00:00
bfe3d8dc92 simplest_model_with_mod: remove commented spoil arg, refactor state'
c2374d198d simplest_model_with_mod: wrong spoil arg function variant (commented)
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-02 22:47:10 +00:00
607743a66f simplest_model_with_mod: fixes & model spec fixes