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-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 »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-31 15:57:13 +00:00
096da9d934 fixes, basic tests working (including tag synthesis)
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-30 15:27:11 +00:00
cdd029e14b fixes, more tests
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-29 14:57:10 +00:00
d4e7f7c02e simple type structure tests for oc interpreter types
7d21d99960 remove unrequired commend
cdf85131f4 move stmt test to oc interpreter
bea18df70e test extension, types moved to ocanren_inject
e2dcf6c2a1 ocanren type syntax test file, migration to 4.14.2 (with pinned ocanren from repo)
Compare 5 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-28 22:37:11 +00:00
30f052b1b1 test experiments, list_assoco simplification
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-27 22:07:10 +00:00
118834c9b7 functions rewrite with ocanren syntax extension
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-26 21:37:11 +00:00
f15613d192 start of test draft imgl
6cb7c30e1f fix functions with new types
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-26 13:27:10 +00:00
22901cdc22 types replaced with modules to use ppx
de72954207 change macros style to ppx
Compare 2 commits »