Commit graph

  • 74efa60218 compiler: END command compilation ProgramSnail 2025-01-23 02:09:16 +03:00
  • 44d50c4c8e compiler: Env register_string ProgramSnail 2025-01-22 23:26:10 +03:00
  • 28f4dc191b compiler: some Env parts ProgramSnail 2025-01-22 22:35:01 +03:00
  • 02e22ff99b compiler: compile_call ProgramSnail 2025-01-22 19:44:26 +03:00
  • 1b26d0eaae memoy management fixes ProgramSnail 2025-01-21 19:17:10 +03:00
  • b6b843fb44 interpreter: recursive module fix, more tests ProgramSnail 2025-01-21 00:57:38 +03:00
  • 58f0bfc0b9 interpreter: migration to universial stdlib support (without varargs yet) ProgramSnail 2025-01-20 23:13:42 +03:00
  • 318ebc72aa interpreter: basic stdlib function call mechanism ProgramSnail 2025-01-20 01:12:18 +03:00
  • 3aeb625142 compiler: sm basic instructions compilation, fixes ProgramSnail 2025-01-19 20:57:29 +03:00
  • 446e52a60a compiler: sm instructions (tmp, later should be replaced witd bytecode) ProgramSnail 2025-01-19 12:47:05 +03:00
  • c1b4d9c780 part of env, compile_binop, fixes ProgramSnail 2025-01-18 15:40:19 +03:00
  • 384102e7f0 symbolic stack & abstract symbolic stack ProgramSnail 2025-01-18 02:08:25 +03:00
  • 1e3ea44310 opnd to str + instr to code ProgramSnail 2025-01-14 02:24:35 +03:00
  • 5d43100c5a compiler part ProgramSnail 2025-01-13 02:17:20 +03:00
  • c8bec67bb9 script to run dep tests ProgramSnail 2025-01-12 21:40:22 +03:00
  • 72ec1923e3 fixes + dependency test ProgramSnail 2025-01-12 20:17:24 +03:00
  • 19c99bc7e5 modules: fixes to working condition ProgramSnail 2025-01-11 23:51:50 +03:00
  • ae4d66df48 [tests] Repair tests in stdlib/regression Kakadu 2025-01-05 21:19:26 +03:00
  • eb1ddfa447 modules: 'rebase' from byterun_with_modules, initial impl, without verification ProgramSnail 2025-01-08 23:52:39 +03:00
  • 34d80da611 Revert "[TMP]" byterun_with_modules ProgramSnail 2025-01-08 22:25:01 +03:00
  • bdd64b081b Removed ld warning Roman Venediktov 2025-01-05 10:51:40 +01:00
  • 2dad84df22 Prohibit indirect assignments Roman Venediktov 2024-12-20 19:12:34 +01:00
  • cfe325b121 Fixed movement of large constants Roman Venediktov 2024-12-20 17:37:13 +01:00
  • 4fdbb18843 Added failing if assembly compiler failed Roman Venediktov 2024-12-20 15:58:09 +01:00
  • a4e297648c Fixed placement of arguments for ".match_failure" call Roman Venediktov 2024-12-20 15:57:44 +01:00
  • 6e5315646a Added fail in case of indirect assignment into register Roman Venediktov 2024-12-20 15:57:11 +01:00
  • cec4ef252a Fixed improper STA usage Roman Venediktov 2024-12-20 15:56:11 +01:00
  • b8e5cfeb7b Fixed \r escaping Roman Venediktov 2024-12-20 13:59:50 +01:00
  • 73d3fbc388 interpreter fixes verified_byterun ProgramSnail 2024-12-17 04:15:25 +03:00
  • b25d441287 fixes ProgramSnail 2024-12-16 10:50:09 +03:00
  • 7784696b65 compilation fix ProgramSnail 2024-12-15 16:34:55 +03:00
  • b85b694d78 fix magic constant ProgramSnail 2024-12-15 16:24:59 +03:00
  • d90a8cf89f fixes, cleanup, some copies removed ProgramSnail 2024-12-15 16:19:54 +03:00
  • 2589f6166f fixes, ifdefs for different byterun versions ProgramSnail 2024-12-15 03:33:46 +03:00
  • 5a6dbe3692
    Merge branch 'PLTools:1.30' into verified_byterun ProgramSnail 2024-12-14 22:33:31 +00:00
  • c373b7ef82 fixes ProgramSnail 2024-12-15 01:32:49 +03:00
  • 014f249b16 part of analyzer, interpreter closure processing fix ProgramSnail 2024-12-15 00:54:48 +03:00
  • 4c34a63bb7 byterun build with analyzer ProgramSnail 2024-12-13 13:32:50 +03:00
  • 401805c229 [TMP] ProgramSnail 2024-12-09 01:50:22 +03:00
  • 9ad694a439 imports nitial impl finish ProgramSnail 2024-12-01 01:03:09 +03:00
  • 009fdd6bfe part of multimodule execution impl in interpreter: separation of execution parts ProgramSnail 2024-11-29 23:43:35 +03:00
  • 59f3dfb43e part of multimodule execution impl in interpreter: frame extension, state exstension, call and return ProgramSnail 2024-11-29 23:11:46 +03:00
  • 0a26953318 bytecode compiler impirsts and external functions call support, byyterun imports and external functions calls parsing, initial impl of module manager ProgramSnail 2024-11-29 13:45:03 +03:00
  • 2cd7afe0c5 +1 byterun check ProgramSnail 2024-11-22 17:10:40 +03:00
  • 63e9c83fcd Fixed version 1.20 Dmitry Boulytchev 2024-11-18 23:29:14 +03:00
  • 4cb462c2a8 Merge branch '1.30' of github.com:JetBrains-Research/Lama into 1.30 Dmitry Boulytchev 2024-11-15 23:32:18 +03:00
  • b91ac1b610 opam changed Dmitry Boulytchev 2024-11-15 23:22:30 +03:00
  • 5dfd0a3b43 Repair tests in regression Kakadu 2024-11-15 21:51:22 +03:00
  • c3cc26c0d3 Promote many regression tests Kakadu 2024-11-15 21:45:36 +03:00
  • 708022fbd2 Repair tests in stdlib/regression Kakadu 2024-11-15 21:28:01 +03:00
  • 81d1e710ec Merged src/dune Dmitry Boulytchev 2024-11-15 20:40:30 +03:00
  • 751f55691c Dune fix Dmitry Boulytchev 2024-11-15 20:39:00 +03:00
  • b52a7fcb29 index checks fix ProgramSnail 2024-11-14 14:14:33 +03:00
  • b198e11416 oprs fix ProgramSnail 2024-11-14 14:02:36 +03:00
  • eb6267defe fixes, less allocations ProgramSnail 2024-11-14 02:10:24 +03:00
  • 1548c16eeb fixes, some cleanup ProgramSnail 2024-11-14 00:59:36 +03:00
  • e456304eb3 runtime fixes, byterun fixes ProgramSnail 2024-11-14 00:50:43 +03:00
  • bf74ca7acb
    Merge pull request #29 from deker104/fix/build-files Dmitry Boulytchev 2024-11-12 21:30:17 +03:00
  • 233fa95e14 fixes ProgramSnail 2024-11-12 21:08:41 +03:00
  • 91b18d023b fix: update build files deker104 2024-11-12 07:14:21 +00:00
  • 1df2624c25 gloal state ProgramSnail 2024-11-12 02:38:26 +03:00
  • f5c7843942 buffer fixes ProgramSnail 2024-11-12 02:12:28 +03:00
  • 959c06cc65 remove debug options, remove od makefile, inline most op functions ProgramSnail 2024-11-12 01:56:09 +03:00
  • 963e286f49 better failure reporting ProgramSnail 2024-11-12 00:10:02 +03:00
  • 34675f0cb7 fixes, performance check ProgramSnail 2024-11-09 23:32:09 +03:00
  • 0ba3c33af5 cleanup, add actual argc argv ProgramSnail 2024-11-07 19:31:25 +03:00
  • 8800fd3b1d cleanup ProgramSnail 2024-11-07 19:07:26 +03:00
  • ce013b682c failure fix, format, etc. ProgramSnail 2024-11-07 01:14:57 +03:00
  • e9c4d48cf9 closure fix ProgramSnail 2024-11-07 00:56:21 +03:00
  • bd27e79b22 basically initial impl of all except sti. sexp with params not working, some bugs in closure impl ProgramSnail 2024-11-06 02:28:46 +03:00
  • 1e38ffaefb fixes, some checks, made working on part of simple tests (functions, arrays, operations, read, write, loops) ProgramSnail 2024-11-04 01:43:43 +03:00
  • da050c082c build fixes ProgramSnail 2024-11-03 12:52:25 +03:00
  • e17f1f70ed part of operations, migration to 1.30 ProgramSnail 2024-11-02 01:19:54 +03:00
  • 2c03654cca TMP changes ProgramSnail 2024-11-01 23:27:19 +03:00
  • 39715334c7 types fix, frame fix to work with runtime ProgramSnail 2024-11-01 20:54:48 +03:00
  • 26a42d4c81 move to runtime ProgramSnail 2024-10-31 21:08:48 +03:00
  • 6c39c65076 structure fixes, xmake, gitignore ProgramSnail 2024-10-31 00:54:04 +03:00
  • 23835d92fd builtin operations, some fixes, list made of sexpr, clojure ProgramSnail 2024-10-30 02:44:33 +03:00
  • 1c85bf553a some fixes to work with gc and one stack of pointers ProgramSnail 2024-10-25 19:38:45 +03:00
  • d782934f0c part of migration to gc ProgramSnail 2024-10-20 16:42:57 +03:00
  • fb1ec1c7ae interpreter part ProgramSnail 2024-10-12 00:37:28 +03:00
  • 0cdfa3911d new interpreter file, basic interprater state implementaion ProgramSnail 2024-10-11 17:07:04 +03:00
  • e07987fd2a init ProgramSnail 2024-10-01 00:26:37 +03:00
  • 5da0273afa Add space after 'Version' Kakadu 2024-11-01 22:20:04 +03:00
  • 09810470fc Fixed paths Dmitry Boulytchev 2024-11-01 22:16:30 +03:00
  • 0553fc764d Repair uninstall command Kakadu 2024-11-01 22:09:26 +03:00
  • d836301dd7
    Merge pull request #28 from PLTools/more-dune Dmitry Boulytchev 2024-09-13 03:34:06 +03:00
  • cd033ddbe3 Fixing mac build: negating Darwin ~~> OKaying linux Kakadu 2024-09-05 21:14:49 +03:00
  • 8a8fc3432b Disable x32 when os_type = Darwin Kakadu 2024-09-05 19:52:45 +03:00
  • 59273f734e Fix Makefile Kakadu 2024-09-05 19:36:55 +03:00
  • cee8955ca5 Improve opam file Kakadu 2024-09-05 19:00:48 +03:00
  • 0ccc1c6e7d Minor polishing Kakadu 2024-09-05 18:32:06 +03:00
  • 39fa6c2be9 dunify in stdlib/regression Kakadu 2024-09-05 18:22:56 +03:00
  • d3d2535f97 Minor fixes of minor tools Kakadu 2024-09-05 17:32:45 +03:00
  • f6277da16e Add cram tests in regressin directory Kakadu 2024-09-05 17:07:12 +03:00
  • e471b35ed0 More long tests in to separate directory Kakadu 2024-09-05 16:41:30 +03:00
  • d849a2e6c7 Cramify tests in regression/deep-expression Kakadu 2024-09-05 16:40:39 +03:00
  • b8d59c0309 Cramify tests in regression/expressions Kakadu 2024-09-05 15:24:00 +03:00
  • bd6dd12df3 Fix generation of tests for expressions Kakadu 2024-09-05 14:52:02 +03:00
  • a91f4824c4 Dunify tutorial Kakadu 2024-09-05 14:51:37 +03:00