Commit graph

Select branches

Hide pull requests

main

Mono Color

• 4eb3dea966 structures: spoil fix, corectness added main ProgramSnail 2026-04-25 17:25:21 +00:00
• 22111a37ed structures: call add arguments (without typecheck), new value funciton fix ProgramSnail 2026-04-25 16:58:59 +00:00
• 5a33161117 structures: call finalization fix (wothout correctness requirements) ProgramSnail 2026-04-25 16:44:08 +00:00
• eb90ba5449 structures: statement eval fix (?) ProgramSnail 2026-04-25 16:15:23 +00:00
• 9d21c99556 structures: expr eval & typing ProgramSnail 2026-04-25 16:11:29 +00:00
• 9d8dc1000c structures: partial statement eval ProgramSnail 2026-04-25 15:47:46 +00:00
• fd29f7d3da structures: combine + combine all ProgramSnail 2026-04-25 15:07:16 +00:00
• 18d19051c4 structures: combine in shared memory ProgramSnail 2026-04-25 14:51:38 +00:00
• 0937d91f54 structures: remove in & out accessors ProgramSnail 2026-04-25 13:45:24 +00:00
• e786cc6135 structures: week fixes, part 1 (most syntactic fixes) ProgramSnail 2026-04-25 13:43:12 +00:00
• adeefc1c87 structures: part of eval rules ProgramSnail 2026-04-19 13:13:51 +00:00
• ac88ca11cf structures: part of semantics (new value) ProgramSnail 2026-04-19 11:10:52 +00:00
• 57bb3a72ec structures: value & memory model fixes (embed memory into the values), functions fixes (rerite with new syntax) ProgramSnail 2026-04-14 11:32:28 +00:00
• 6a3368cbdf structs model: remove unrequired def ProgramSnail 2026-04-11 14:54:39 +00:00
• a34007a63d structs model: path functions, tag accessors ProgramSnail 2026-04-11 14:51:56 +00:00
• 8d01ce80cc structs model: syntax, start of the value & memory models ProgramSnail 2026-04-11 13:17:15 +00:00
• 84d1ce7eb5 structures: model fixes, analyzer part ProgramSnail 2026-04-05 21:45:18 +00:00
• 2e040599f3 kodil with structs: formal semantics draft ProgramSnail 2026-04-04 13:07:15 +00:00
• 7e88e1b10a struct args synt: todo chenge ProgramSnail 2026-04-03 10:05:23 +00:00
• 3ce800773e model with structures: init from control flow model, model formal difinition draft part ProgramSnail 2026-03-29 15:32:35 +00:00
• 5fa95da8b7 file for abstract domain alternative model, fixes ProgramSnail 2026-03-29 15:31:40 +00:00
• 93e8f23c4a controw flow: synthesizer write modes addition (no tests fix for always and may inersection) ProgramSnail 2026-03-21 12:13:49 +00:00
• 2069b6179e control flow: analyzer combine command (without tests) ProgramSnail 2026-03-21 04:18:45 +00:00
• 406992effb controwl flow: analyzer write modes draft ProgramSnail 2026-03-21 03:28:23 +00:00
• 869bffb0df control flow semantics draft ProgramSnail 2026-03-15 20:49:31 +00:00
• 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 ProgramSnail 2026-03-15 16:05:22 +00:00
• df26d40669 init new separate mode to implement control flow ProgramSnail 2026-03-15 14:24:43 +00:00
• 036322903b model description fixes & additions, correct memoisation in synthesizer (rec test passed) ProgramSnail 2026-03-15 12:26:47 +00:00
• 0b261943db analyzer fix & synthesizer fix (with prev. tests fix) (no model file fix yet) ProgramSnail 2026-03-08 22:12:52 +00:00
• 270296e7b2 simplest model with mods: test fixes & mark not passed tests ProgramSnail 2026-03-07 22:27:05 +00:00
• ea03743fee syntesizer with mods: tests update (no result update, no run) ProgramSnail 2026-03-07 21:44:55 +00:00
• 2ec7f963db syntesizer with mods: sucessfull build, no tests done (& pretty much no test updated) ProgramSnail 2026-03-07 14:38:54 +00:00
• bfe3d8dc92 simplest_model_with_mod: remove commented spoil arg, refactor state' ProgramSnail 2026-03-03 17:29:48 +00:00
• c2374d198d simplest_model_with_mod: wrong spoil arg function variant (commented) ProgramSnail 2026-03-03 17:26:10 +00:00
• 607743a66f simplest_model_with_mod: fixes & model spec fixes ProgramSnail 2026-03-02 16:34:34 +00:00
• c3775feccb simplest_model_with_mods: first draft of the formal semantics ProgramSnail 2026-03-02 08:40:28 +00:00
• d590f28f9b simplest_model_with_mods: advanced analyzer with more argument properties ProgramSnail 2026-03-01 15:56:43 +00:00
• 5b49f139cc simplest_model_with_mods: const tests ProgramSnail 2026-03-01 08:11:17 +00:00
• afb4ccfda4 simplest_model_with_mods: memoization => recursive calls, regression: all args assumend to be read in funection (example: marked test) ProgramSnail 2026-02-28 16:13:30 +00:00
• 8852c0577d simplest_model_with_mods: remove assignments (are not requirend in presense of mods) ProgramSnail 2026-02-23 17:11:30 +00:00
• 248c6a1b35 simplest_model_with_mods: mods in analyzer (without additional tests) ProgramSnail 2026-02-23 17:08:44 +00:00
• 04fb1da502 add types to the analyzer ProgramSnail 2026-02-23 15:25:20 +00:00
• 7b312fcfdd init separate parallel version to include const/mut modifiers for arguments ProgramSnail 2026-02-23 14:25:03 +00:00
• 2349f49f0a test with recursive function (currently inf work) ProgramSnail 2026-02-23 14:21:37 +00:00
• f5acc7137d assymetric args test, args fold fix ProgramSnail 2026-02-23 13:51:50 +00:00
• 6fa679f623 model fixes, model for correct declarations & multiarg functions ProgramSnail 2026-02-23 09:12:47 +00:00
• 72805e06c9 model description fix ProgramSnail 2026-02-23 08:13:08 +00:00
• 00d13ddbbe initial formal model semantics document, etc. ProgramSnail 2026-02-22 15:53:15 +00:00
• 8885c4891c projct structure refactoring ProgramSnail 2026-02-22 13:17:41 +00:00
• 3f6844835c parser: init as ostap sample, modify dune file ProgramSnail 2026-02-22 12:58:04 +00:00
• 9d2f508291 remove old relational interpreter version (was not fixed) ProgramSnail 2026-02-15 18:56:35 +00:00
• 5af2728354 extract types tests ProgramSnail 2026-02-15 18:50:45 +00:00
• 98d0fe2995 remove (most of the) tests from interpreter module ProgramSnail 2026-02-15 18:42:13 +00:00
• 97be28ff56 tests in the separated module ProgramSnail 2026-02-15 18:40:55 +00:00
• 77b8bdc2b9 more tests, foldr fix ProgramSnail 2026-02-15 17:32:55 +00:00
• ae8e39c03a index fix, more tests (including several params) ProgramSnail 2026-02-15 16:01:42 +00:00
• 096da9d934 fixes, basic tests working (including tag synthesis) ProgramSnail 2026-01-31 14:07:09 +03:00
• cdd029e14b fixes, more tests ProgramSnail 2026-01-30 16:45:50 +03:00
• d4e7f7c02e simple type structure tests for oc interpreter types ProgramSnail 2026-01-29 16:37:49 +03:00
• 7d21d99960 remove unrequired commend ProgramSnail 2026-01-29 16:37:22 +03:00
• cdf85131f4 move stmt test to oc interpreter ProgramSnail 2026-01-29 15:38:45 +03:00
• bea18df70e test extension, types moved to ocanren_inject ProgramSnail 2026-01-29 15:31:54 +03:00
• e2dcf6c2a1 ocanren type syntax test file, migration to 4.14.2 (with pinned ocanren from repo) ProgramSnail 2026-01-29 13:49:39 +03:00
• 30f052b1b1 test experiments, list_assoco simplification ProgramSnail 2026-01-28 20:34:17 +03:00
• 118834c9b7 functions rewrite with ocanren syntax extension ProgramSnail 2026-01-27 19:39:56 +03:00
• f15613d192 start of test draft imgl ProgramSnail 2026-01-26 17:00:10 +03:00
• 6cb7c30e1f fix functions with new types ProgramSnail 2026-01-26 16:46:49 +03:00
• 22901cdc22 types replaced with modules to use ppx ProgramSnail 2026-01-26 15:42:48 +03:00
• de72954207 change macros style to ppx ProgramSnail 2026-01-26 14:36:32 +03:00
• f8b89966fb remove old realtional interpreter version ProgramSnail 2026-01-12 17:25:22 +03:00
• 1c399b12ae move old version on relational interpreter, fix the new version ProgramSnail 2026-01-12 17:24:49 +03:00
• 5f7b25be81 fixes, parto of the list / nat oprs replaced ProgramSnail 2026-01-11 20:10:00 +03:00
• be204de679 fixes, initial approximate structure of the relational interpreter (not correct, is not supposed to work) ProgramSnail 2026-01-11 17:24:45 +03:00
• 909dad6694 replace map with loist of associations ProgramSnail 2026-01-11 15:12:33 +03:00
• ba4191b64a +rel types def ProgramSnail 2026-01-10 07:40:46 +03:00
• b8ea97d537 fix build with ocanren syntax (with dune), separate functional and relational implementations ProgramSnail 2026-01-09 19:41:39 +03:00
• c72883f489 store assignments by var id instead of mem id ProgramSnail 2025-12-16 15:49:22 +03:00
• a2d4bb93e6 semantic interpreter v1, semantic interpreter tests, fixes ProgramSnail 2025-12-14 15:59:18 +03:00
• 1c74f0c3ef interpretera, logic & abstract types draft, fixes ProgramSnail 2025-12-09 16:40:20 +03:00
• 658415536b draft rules in prolog-like syntax ProgramSnail 2025-12-09 16:39:47 +03:00
• f770620742 language simplification, original language is moved to the lib_next module ProgramSnail 2025-12-02 19:21:22 +03:00
• b64cf6e9ce basic programs types & type checker part ProgramSnail 2025-12-02 15:45:09 +03:00
• 19b9d3aa56 start with template code https://github.com/Kakadu/OCanren-basic-template ProgramSnail 2025-11-30 00:42:04 +03:00
• f1433eb62d init ProgramSnail 2025-11-29 12:40:43 +03:00