ProgramSnail
02e22ff99b
compiler: compile_call
2025-01-22 19:44:26 +03:00
ProgramSnail
1b26d0eaae
memoy management fixes
2025-01-21 19:17:10 +03:00
ProgramSnail
b6b843fb44
interpreter: recursive module fix, more tests
2025-01-21 00:57:38 +03:00
ProgramSnail
58f0bfc0b9
interpreter: migration to universial stdlib support (without varargs yet)
2025-01-20 23:13:42 +03:00
ProgramSnail
318ebc72aa
interpreter: basic stdlib function call mechanism
2025-01-20 01:12:18 +03:00
ProgramSnail
3aeb625142
compiler: sm basic instructions compilation, fixes
2025-01-19 20:57:29 +03:00
ProgramSnail
446e52a60a
compiler: sm instructions (tmp, later should be replaced witd bytecode)
2025-01-19 12:47:05 +03:00
ProgramSnail
c1b4d9c780
part of env, compile_binop, fixes
2025-01-18 16:03:31 +03:00
ProgramSnail
384102e7f0
symbolic stack & abstract symbolic stack
2025-01-18 02:08:25 +03:00
ProgramSnail
1e3ea44310
opnd to str + instr to code
2025-01-14 02:24:35 +03:00
ProgramSnail
5d43100c5a
compiler part
2025-01-13 02:17:20 +03:00
ProgramSnail
c8bec67bb9
script to run dep tests
2025-01-12 21:40:22 +03:00
ProgramSnail
72ec1923e3
fixes + dependency test
2025-01-12 20:17:24 +03:00
ProgramSnail
19c99bc7e5
modules: fixes to working condition
2025-01-11 23:52:44 +03:00
Kakadu
ae4d66df48
[tests] Repair tests in stdlib/regression
...
I was failing because leftover grep command that
filters out a warning about '.note.GNU-stack'
(No idea where it was fixed)
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-01-09 10:35:26 +01:00
ProgramSnail
eb1ddfa447
modules: 'rebase' from byterun_with_modules, initial impl, without verification
2025-01-08 23:52:39 +03:00
Roman Venediktov
bdd64b081b
Removed ld warning
2025-01-05 10:51:40 +01:00
Roman Venediktov
2dad84df22
Prohibit indirect assignments
2025-01-05 10:47:18 +01:00
Roman Venediktov
cfe325b121
Fixed movement of large constants
2025-01-05 10:47:18 +01:00
Roman Venediktov
4fdbb18843
Added failing if assembly compiler failed
2025-01-05 10:47:18 +01:00
Roman Venediktov
a4e297648c
Fixed placement of arguments for ".match_failure" call
2025-01-05 10:47:18 +01:00
Roman Venediktov
6e5315646a
Added fail in case of indirect assignment into register
2025-01-05 10:47:18 +01:00
Roman Venediktov
cec4ef252a
Fixed improper STA usage
2025-01-05 10:47:18 +01:00
Roman Venediktov
b8e5cfeb7b
Fixed \r escaping
2025-01-05 10:47:18 +01:00
ProgramSnail
73d3fbc388
interpreter fixes
2024-12-17 04:15:25 +03:00
ProgramSnail
b25d441287
fixes
2024-12-16 10:50:09 +03:00
ProgramSnail
7784696b65
compilation fix
2024-12-15 16:34:55 +03:00
ProgramSnail
b85b694d78
fix magic constant
2024-12-15 16:24:59 +03:00
ProgramSnail
d90a8cf89f
fixes, cleanup, some copies removed
2024-12-15 16:19:54 +03:00
ProgramSnail
2589f6166f
fixes, ifdefs for different byterun versions
2024-12-15 03:33:46 +03:00
ProgramSnail
5a6dbe3692
Merge branch 'PLTools:1.30' into verified_byterun
2024-12-14 22:33:31 +00:00
ProgramSnail
c373b7ef82
fixes
2024-12-15 01:32:49 +03:00
ProgramSnail
014f249b16
part of analyzer, interpreter closure processing fix
2024-12-15 00:54:48 +03:00
ProgramSnail
4c34a63bb7
byterun build with analyzer
2024-12-13 13:32:50 +03:00
ProgramSnail
2cd7afe0c5
+1 byterun check
2024-11-22 17:10:40 +03:00
Dmitry Boulytchev
4cb462c2a8
Merge branch '1.30' of github.com:JetBrains-Research/Lama into 1.30
2024-11-15 23:32:18 +03:00
Dmitry Boulytchev
b91ac1b610
opam changed
2024-11-15 23:22:30 +03:00
Kakadu
5dfd0a3b43
Repair tests in regression
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-15 21:51:22 +03:00
Kakadu
c3cc26c0d3
Promote many regression tests
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-15 21:45:36 +03:00
Kakadu
708022fbd2
Repair tests in stdlib/regression
...
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-15 21:28:01 +03:00
Dmitry Boulytchev
81d1e710ec
Merged src/dune
2024-11-15 20:40:30 +03:00
Dmitry Boulytchev
751f55691c
Dune fix
2024-11-15 20:39:00 +03:00
ProgramSnail
b52a7fcb29
index checks fix
2024-11-14 14:14:33 +03:00
ProgramSnail
b198e11416
oprs fix
2024-11-14 14:02:36 +03:00
ProgramSnail
eb6267defe
fixes, less allocations
2024-11-14 02:10:24 +03:00
ProgramSnail
1548c16eeb
fixes, some cleanup
2024-11-14 00:59:36 +03:00
ProgramSnail
e456304eb3
runtime fixes, byterun fixes
2024-11-14 00:50:54 +03:00
Dmitry Boulytchev
bf74ca7acb
Merge pull request #29 from deker104/fix/build-files
...
Update build files to install standard library
2024-11-12 21:30:17 +03:00
ProgramSnail
233fa95e14
fixes
2024-11-12 21:08:41 +03:00
deker104
91b18d023b
fix: update build files
...
Add `install` stanza to `dune` files to install std and runtime to
expected directories
Delete manual copying from `install` scenario in `Makefile`
2024-11-12 07:43:17 +00:00