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-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 »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-12 14:37:18 +00:00
f8b89966fb remove old realtional interpreter version
1c399b12ae move old version on relational interpreter, fix the new version
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-11 22:17:17 +00:00
5f7b25be81 fixes, parto of the list / nat oprs replaced
be204de679 fixes, initial approximate structure of the relational interpreter (not correct, is not supposed to work)
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-11 14:07:18 +00:00
909dad6694 replace map with loist of associations
ba4191b64a +rel types def
Compare 2 commits »
st synced commits to main at st/pass_strategy_synthesis from mirror 2026-01-09 21:25:07 +00:00
b8ea97d537 fix build with ocanren syntax (with dune), separate functional and relational implementations
st synced commits to main at st/config from mirror 2025-12-27 17:58:45 +00:00
8466b55f19 add neovim
c1c9bb3e57 add tmp to gitignore
61c486bebd uv, uvx autocompletions
7ccd53b236 python, fixes
76ce2b944b opam roles
Compare 5 commits »