st - Code

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

st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-02 14:37:13 +00:00

c3775feccb simplest_model_with_mods: first draft of the formal semantics

st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-01 22:17:11 +00:00

d590f28f9b simplest_model_with_mods: advanced analyzer with more argument properties

st synced commits to main at st/pass_strategy_synthesis from mirror 2026-03-01 14:07:13 +00:00

5b49f139cc simplest_model_with_mods: const tests

st synced commits to main at st/pass_strategy_synthesis from mirror 2026-02-28 21:47:10 +00:00

afb4ccfda4 simplest_model_with_mods: memoization => recursive calls, regression: all args assumend to be read in funection (example: marked test)

st synced commits to main at st/pass_strategy_synthesis from mirror 2026-02-23 19:17:10 +00:00

8852c0577d simplest_model_with_mods: remove assignments (are not requirend in presense of mods)

248c6a1b35 simplest_model_with_mods: mods in analyzer (without additional tests)

04fb1da502 add types to the analyzer

7b312fcfdd init separate parallel version to include const/mut modifiers for arguments

2349f49f0a test with recursive function (currently inf work)

Compare 6 commits »

st synced commits to main at st/pass_strategy_synthesis from mirror 2026-02-23 11:07:10 +00:00

6fa679f623 model fixes, model for correct declarations & multiarg functions

72805e06c9 model description fix

Compare 2 commits »

st synced commits to main at st/pass_strategy_synthesis from mirror 2026-02-22 18:47:10 +00:00

00d13ddbbe initial formal model semantics document, etc.

8885c4891c projct structure refactoring

3f6844835c parser: init as ostap sample, modify dune file

Compare 3 commits »

st synced commits to main at st/pass_strategy_synthesis from mirror 2026-02-15 23:27:07 +00:00

9d2f508291 remove old relational interpreter version (was not fixed)

5af2728354 extract types tests

98d0fe2995 remove (most of the) tests from interpreter module

97be28ff56 tests in the separated module

77b8bdc2b9 more tests, foldr fix

Compare 6 commits »