Commit graph

Select branches

Hide pull requests

lambdas_no_value

main

memory_ext

Mono Color

• 06f69ec4c2 struct: remove test parts that are not required now (with new lambda model) main ProgramSnail 2026-05-22 12:50:47 +00:00
• 441b383762 struct: make mode constructor named in analyzers (to unify code view with synt) ProgramSnail 2026-05-21 13:00:06 +00:00
• 90986d9681 struct: half-manual solution for the complex send example with code from analyzer rw, test presented with fixed tags ProgramSnail 2026-05-21 12:47:17 +00:00
• f457ed746e struct: analyzer_rw: remove commenedtext ProgramSnail 2026-05-21 12:12:02 +00:00
• 3a2caa6e27 struct: analyzer_rw: rw tags gen for complex example ProgramSnail 2026-05-21 12:10:58 +00:00
• 4209d8ea2c struct: analyzer_rw: rw tags gen tests, 2nd test from presentation ProgramSnail 2026-05-21 11:56:39 +00:00
• 194a3e1b22 struct: analyzer_rw: rw tags gen tests, 2nd test from presentation ProgramSnail 2026-05-21 11:56:13 +00:00
• 98d3d56a13 struct: analyzer_rw: add GT show to types ProgramSnail 2026-05-21 11:15:59 +00:00
• a82ff74663 struct: analyzer_rw: tags fill impl (not checked), tests for standard behaviour ProgramSnail 2026-05-21 11:05:16 +00:00
• c9a09d4ba1 struct: analyzer_rw: add undef read & write ProgramSnail 2026-05-21 10:42:38 +00:00
• d06f6d53bc struct: analyzer_rw init (from analyzer) ProgramSnail 2026-05-21 10:24:51 +00:00
• 3111194714 struct: synthesiszer fix, tests fix lambdas_no_value ProgramSnail 2026-05-20 16:13:53 +00:00
• ae01a435ff struct: synthesizer lambdas without value fix, analyzer and model minor fixes; broken synt call tests ProgramSnail 2026-05-20 15:59:44 +00:00
• e718ccb24b struct: analyzer: fixes to match model with lambdas without stmts ProgramSnail 2026-05-20 14:24:57 +00:00
• b8d704d0d0 struct: model: final model fixes (+ ret glob val decland stmt) to match analyzer ProgramSnail 2026-05-20 14:24:30 +00:00
• b6568704f0 struct: model: fix tfunceval rule header ProgramSnail 2026-05-20 14:03:03 +00:00
• d567cfd295 struct: model change for lambdas to not include statements (+ as a result all program is now a function & there is no glob variables) ProgramSnail 2026-05-20 13:39:16 +00:00
• 2d6516c105 struct: small exmple fixes memory_ext ProgramSnail 2026-05-20 12:49:29 +00:00
• fac507bebf struct: analyzer & synthesizer val build, small fixes ProgramSnail 2026-05-17 18:19:31 +00:00
• 7d8ab19675 struct: model: build rule ProgramSnail 2026-05-17 18:09:39 +00:00
• eff48a1c6e struct: minor model fixes, read combination fix ProgramSnail 2026-05-17 17:09:14 +00:00
• de71aea4e1 struct: cosmetic fixes ProgramSnail 2026-05-16 17:39:08 +00:00
• 99669ba2f8 struct: add substructure read / write to analyzer & synthesizer, fix model (add writability test & fix conditions in stmt eval) ProgramSnail 2026-05-16 17:33:02 +00:00
• 0c83218109 struct: model: add substructure read / write ProgramSnail 2026-05-16 16:20:46 +00:00
• d684b8eeb9 struct: progam eval rule in modal, fix func eval rule ProgramSnail 2026-05-16 12:49:05 +00:00
• 506ea25b10 struct: lambda tags check fix in model ProgramSnail 2026-05-16 12:28:25 +00:00
• 8fc0ffa805 struct: fixes, test 2 from presentation (mostly, choice removed for now) ProgramSnail 2026-05-15 11:41:59 +00:00
• 0ef7ebdad2 struct: fixes, ref memcopy test (need to copy due to new memory model), test from presentation ProgramSnail 2026-05-15 10:06:42 +00:00
• 1d65b67260 struct: fixes, synt working (except complex example, still too slow) ProgramSnail 2026-05-14 21:48:48 +00:00
• 04b2be8456 struct: synthesizer build fixed ProgramSnail 2026-05-14 10:16:33 +00:00
• a56a8ffebc struct: new model in synthesizer (not compilling for now but necessery parts are implemented) ProgramSnail 2026-05-13 18:46:01 +00:00
• 5f55e3ecee struct: analyzer fixes (except tags fix for complex test) ProgramSnail 2026-05-13 16:55:15 +00:00
• 60da9bdb3f struct: model change in analyzer (tests are not fixed yet), semantics fixes ProgramSnail 2026-05-13 15:54:40 +00:00
• 18481550d3 struct: model change: spoil fix; model change probably done ProgramSnail 2026-05-13 14:17:52 +00:00
• cea67b09ce struct: model change: additional read & write cells in trivial value for better analysis, most of the model without spoil function fix ProgramSnail 2026-05-13 13:17:19 +00:00
• 783260b38c struct: complex example synt, too many wars to chek full synt ProgramSnail 2026-05-12 19:07:35 +00:00
• 279a548a58 struct: first attempt to synt in complex example, functions to omit capabilities ProgramSnail 2026-05-12 17:42:54 +00:00
• 62f8bc53a1 struct: relational interpreter: complex test (in forward direction, no synt, no complex annotations) ProgramSnail 2026-05-12 17:06:51 +00:00
• 6181f405f7 struct: analyzer: remove old commented tests, etc. ProgramSnail 2026-05-10 17:34:45 +00:00
• e8e6acc122 struct: reverse paths in valupd (fix): update for analyzer and synthesizer ProgramSnail 2026-05-10 17:19:00 +00:00
• 62e6a55810 struct: model update to use reverse paths in valupd (fix) ProgramSnail 2026-05-10 16:56:42 +00:00
• 855a3d1ef9 struct: rev fix, fixes (test is still broken) ProgramSnail 2026-05-10 16:56:15 +00:00
• 123012f68f struct: send test: impl for analyzer (currently broken), fix of rev order in tuplecopy ProgramSnail 2026-05-10 13:44:35 +00:00
• 64935b3c7e struct: synt. memoization (+ rec function test), fixes ProgramSnail 2026-05-09 17:29:54 +00:00
• 810b655ba8 struct: analyzer memoization (store list of stmts for now) ProgramSnail 2026-05-09 16:34:47 +00:00
• 1a61fb01ee struct: remove commented tests from prev iteration ProgramSnail 2026-05-09 15:49:07 +00:00
• e79b7fa7bc struct: synthesizer simple synthesis tests ProgramSnail 2026-05-09 15:48:28 +00:00
• a771173364 struct: synt. argument modes tests ProgramSnail 2026-05-09 15:22:11 +00:00
• 10cea01338 struct: synt. tests fixes, simple forward tests done ProgramSnail 2026-05-09 14:35:21 +00:00
• 2cc87d74df struct: some synt. tests (some test bodies without actual check) ProgramSnail 2026-05-08 15:58:44 +00:00
• 1bcf567839 struct: synt. ref arg in call fix ProgramSnail 2026-05-08 14:50:36 +00:00
• 68f2569922 struct: synt. ambuity fixes, simple read call test ProgramSnail 2026-05-08 12:46:53 +00:00
• 130079f7bd struct: synt. left & right fold fix (swap), simple var synt. tests, fixes, not working (yet) call test ProgramSnail 2026-05-08 12:06:53 +00:00
• ee8ff429cf struct: correct glob context handling in synthesizer (fix ported from ananlyzer) ProgramSnail 2026-05-06 17:17:36 +00:00
• a130ffe819 struct: fixes, first (empty) synthesizer test ProgramSnail 2026-05-06 16:57:14 +00:00
• 781fdbafd2 struct: fix test & shadowing test in analyzer ProgramSnail 2026-05-06 16:18:42 +00:00
• 547d419b48 struct: fox spoil in root: use copy capability Cp ProgramSnail 2026-05-06 16:14:35 +00:00
• bd809ed1cf struct: glob state fix: init func internal state with glob state, some tests ProgramSnail 2026-05-06 15:20:44 +00:00
• 5833e5949c struct: fixes, som more tests for analyzer ProgramSnail 2026-05-06 15:01:34 +00:00
• 6620b0d0ef struct: remove unrequired comments - old code ProgramSnail 2026-05-06 10:41:29 +00:00
• da7e489a78 struct: remove unrequired comment ProgramSnail 2026-05-06 10:39:49 +00:00
• ddde0e9541 struct: fixes, full untested version of synt (without memoization, strightforward rewrite without testing) ProgramSnail 2026-05-05 18:14:58 +00:00
• 99a18feee9 struct: synt: valspoil ProgramSnail 2026-05-05 16:52:43 +00:00
• 3e61eb3204 struct: part sythesizer functions + some minor (mostly stylistic) analyzer corrections ProgramSnail 2026-05-05 14:35:35 +00:00
• b31415cf8e struct: sythesizer util functions ProgramSnail 2026-05-04 13:42:53 +00:00
• b99aa58db0 struct: synthesizer basic types (relational, without tests) ProgramSnail 2026-05-04 13:00:32 +00:00
• 66ea0e53da struct: init synthesizer rewrite ProgramSnail 2026-05-01 13:45:09 +00:00
• 80ac511c7a structures: ref expr (semantics & impl, only for var refs for now), simple tests & constructor abbriviations for future ProgramSnail 2026-05-01 13:40:56 +00:00
• 1bacb6dfd7 structures: analyzer prog eval, some trivial tests ProgramSnail 2026-04-29 15:12:45 +00:00
• ac67849c5d structures: remove or comment old code in the analyzer ProgramSnail 2026-04-29 12:45:20 +00:00
• 1c7f676a54 structures: context initialization in analyzer ProgramSnail 2026-04-29 12:44:15 +00:00
• 1d28d01c17 structures: context initialization semantics ProgramSnail 2026-04-29 12:25:56 +00:00
• 35de5946f0 structures: store set of all possible function bodies in values (semantices & annalyzer, combining semantics?) ProgramSnail 2026-04-29 12:07:33 +00:00
• 40e02c0e5a structures: call stmt in analyzer, addarg & spoil for expressions, semantics fixes ProgramSnail 2026-04-29 11:03:52 +00:00
• 250776f1f7 structures: semantics fixes, another part of analyzer (up to most part of stmt eval) ProgramSnail 2026-04-29 09:16:24 +00:00
• 0be430a59b structures: semantics fixes, part of analyzer ProgramSnail 2026-04-28 14:37:54 +00:00
• 967d213f54 structures: grammar fixes ProgramSnail 2026-04-28 11:17:15 +00:00
• 4eb3dea966 structures: spoil fix, corectness added 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