Commit graph

  • 03adc4df07 Fixed spec Dmitry Boulytchev 2023-03-12 05:28:12 +03:00
  • 413ab65b1f fix installation guide, fix some spells, update README danyaberezun 2023-02-01 15:43:28 +02:00
  • b738da8c34
    Merge pull request #22 from Soarex16/1.10 Dmitry Boulytchev 2023-01-10 00:09:53 +03:00
  • eb11bd1add Fix incorrect handling of mmap error soarex 2023-01-09 02:47:24 +03:00
  • f47d872df1 Sync Dmitry Boulytchev 2022-11-01 09:22:19 +03:00
  • 80b391aff1 Fixed performance/Sort.lama Dmitry Boulytchev 2022-10-25 02:57:51 +03:00
  • 1a1c2e6280
    Merge pull request #24 from JetBrains-Research/stringBuf_init Dmitry Boulytchev 2022-10-11 17:05:26 +03:00
  • f947024453 A test about bad initialization of stringBuf in runtime Kakadu 2022-10-11 15:47:26 +03:00
  • e18b46787f .gitignore files Kakadu 2022-10-11 15:47:04 +03:00
  • d17ceb3c53 Runtime: Initializate concatenation buffer by zeros kakadu 2022-10-10 18:31:27 +03:00
  • 666ca3b580 Merge with Lama Dmitry Boulytchev 2022-09-13 09:26:16 +03:00
  • 79460b7442 Merge branch '1.10' of github.com:JetBrains-Research/Lama into 1.10 Dmitry Boulytchev 2022-09-13 09:20:45 +03:00
  • 98804770e6 Fixed chop-suffix Dmitry Boulytchev 2022-09-13 09:19:28 +03:00
  • 2b4a9fef9e
    README: update switch creation command Dmitrii Kosarev 2022-09-10 14:42:23 +00:00
  • 0353e77a26 Add latex magic commands to many files Kakadu 2022-08-23 17:25:52 +03:00
  • 2a5e644101 Fix compilation by changing newcommand->renewcommad Kakadu 2022-08-23 17:25:33 +03:00
  • e5c5f914bd Merged Lama Dmitry Boulytchev 2022-04-14 17:41:56 +03:00
  • 33b082f21f Merge branch '1.10' of github.com:JetBrains-Research/Lama into 1.10 Dmitry Boulytchev 2022-04-14 17:40:35 +03:00
  • 0cda5108b0 Merged Lama Dmitry Boulytchev 2022-04-14 17:38:18 +03:00
  • f0eec7aaf5 Transition to GT 0.5.0 Dmitry Boulytchev 2022-04-14 17:35:18 +03:00
  • 7160b84748 Merge branch '1.10' of github.com:JetBrains-Research/Lama-devel into 1.10 Dmitry Boulytchev 2022-04-14 17:20:58 +03:00
  • 168bd6a9e9 Sync Dmitry Boulytchev 2022-04-12 18:39:47 +03:00
  • 42018ebf0a Tutorial: fix compilation with locally compiled LaMa Kakadu 2022-02-15 01:25:47 +03:00
  • a9e97ed957 README.md: Fix installation instructions Kakadu 2022-02-15 01:25:10 +03:00
  • 137207a6d9 Use SVG LaMa icon instead of PNG Kakadu 2022-02-15 00:36:00 +03:00
  • 07a131a31d
    Readme: add badges for Lama-devel Dmitrii Kosarev 2022-02-14 21:03:35 +00:00
  • 901aecfc09
    Update README.md: repair build badge Dmitrii Kosarev 2022-02-14 20:42:26 +00:00
  • 20ab1a27fa Fix constraint on GT's version Kakadu 2022-02-14 20:24:28 +03:00
  • d0cc8d0fa9 Fixed bug in makeArray Dmitry Boulytchev 2022-02-14 01:13:14 +03:00
  • 69c0b89e3c Switching off invalid hashconsing Dmitry Boulytchev 2022-01-31 23:46:18 +03:00
  • f953814c76 Fixed bug in potential reuse of args in vsnprintf Dmitry Boulytchev 2021-12-03 03:56:58 +03:00
  • 669a4288d7 Performance test Dmitry Boulytchev 2021-11-22 15:51:47 +03:00
  • 9ff649e563 fexists added Dmitry Boulytchev 2021-11-19 01:38:22 +03:00
  • eb098a6fac Merged PR from Lama Dmitry Boulytchev 2021-10-31 15:34:34 +03:00
  • 594fa7bf8f
    Merge pull request #21 from trilis/1.10 Dmitry Boulytchev 2021-10-30 19:24:25 +03:00
  • 987381c751 Fix bytecode generation for .array Alexey Trilis 2021-10-29 14:52:35 +03:00
  • ac02ff3b8d Fixed SM Dmitry Boulytchev 2021-10-04 23:42:17 +03:00
  • 4d56ccc068 Byterun/some intrinsics Dmitry Boulytchev 2021-10-03 17:10:21 +03:00
  • c90a73c10f Fixed typo Dmitry Boulytchev 2021-09-28 10:39:02 +03:00
  • e03e2dda25 Added comments Dmitry Boulytchev 2021-09-28 09:58:10 +03:00
  • fa874b4a4c Byterun Dmitry Boulytchev 2021-09-28 03:02:05 +03:00
  • 11203f3a85 Added arrayFind Dmitry Boulytchev 2021-08-31 01:47:49 +03:00
  • 9e5c562d60 Fixed stringcat Dmitry Boulytchev 2021-08-13 09:50:07 +03:00
  • 849162aa92 Added isEmptySet/isEmptyMap Dmitry Boulytchev 2021-03-24 18:51:25 +07:00
  • 8359b674f8 Increated extra-roots yet again Dmitry Boulytchev 2021-03-20 13:46:03 +03:00
  • f1384146cf Increased MAX_EXTRA_ROOTS Dmitry Boulytchev 2021-03-14 07:08:07 +03:00
  • d61049b152 Added missing files Dmitry Boulytchev 2021-02-25 10:04:50 +03:00
  • b4af583378 Added correct spec Dmitry Boulytchev 2021-02-25 08:46:08 +03:00
  • f8179e78df Merge branch '1.10' of github.com:JetBrains-Research/Lama into 1.10 Dmitry Boulytchev 2021-02-25 08:42:59 +03:00
  • 757c22f2de Merge branch '1.10' of github.com:JetBrains-Research/Lama-devel into 1.10 Dmitry Boulytchev 2021-02-25 08:41:07 +03:00
  • 8bdd666ea8 Added limitation section into the spec; fixed typo in spec; fixed .gdbinit Dmitry Boulytchev 2021-02-25 08:40:44 +03:00
  • c83b153a1d
    Update README.md Kakadu 2021-02-17 16:39:46 +00:00
  • 9b3678f8bd Update compilation of tutorial and instruction in README Kakadu 2021-02-15 21:34:23 +03:00
  • 107a2e2061
    Update URLs in README Kakadu 2021-02-14 17:17:39 +00:00
  • 882ca93f89 Allow to specify C compiler when building runtime Kakadu 2021-02-14 18:54:44 +03:00
  • aba621a73b Mention depexts in README Kakadu 2021-02-13 11:46:01 +03:00
  • a9d9a4e2be Merge branch '1.10' of github.com:JetBrains-Research/Lama-devel into 1.10 Dmitry Boulytchev 2021-02-13 11:16:28 +03:00
  • 58ffcbe512 Fixed LAMAC in tutorial Dmitry Boulytchev 2021-02-13 11:16:12 +03:00
  • 827e07522a Added initial CI workflow Kakadu 2021-02-12 23:46:46 +03:00
  • ba6a5382c8
    Add GPLv3 license Kakadu 2021-02-12 19:36:25 +00:00
  • 6123bf0da6
    Merge pull request #23 from JetBrains-Research/1.10+ocaml4.10 Kakadu 2021-02-12 19:28:51 +00:00
  • 43af0d24f0 Update .gitignore files Kakadu 2021-02-12 21:49:17 +03:00
  • eaa03785ed Update README and opam files Kakadu 2021-02-12 20:20:49 +03:00
  • ebfb05856f Update build for new GT Kakadu 2020-08-26 16:37:24 +03:00
  • e44ca6b948 Fixed README yet again Dmitry Boulytchev 2021-02-10 14:15:02 +03:00
  • 3fe8d225c2 Fixed README Dmitry Boulytchev 2021-02-10 14:14:10 +03:00
  • dfac360318 Typos in Changes Dmitry Boulytchev 2021-02-10 01:01:22 +03:00
  • ec655ea22d Abstract layer in spec started Dmitry Boulytchev 2021-02-10 00:56:28 +03:00
  • 59f78fe38a Spec changed; Changes introduced; fixed minor bugs Dmitry Boulytchev 2021-02-01 10:39:12 +03:00
  • 7c7ef67e1d Promoted spec to 1.10 Dmitry Boulytchev 2021-02-01 09:52:28 +03:00
  • f1430a1cdf Length, string -> std functions Dmitry Boulytchev 2021-01-31 22:57:12 +03:00
  • 216e716251 local -> var; scope reformatted; singleton is killed finally Dmitry Boulytchev 2021-01-31 22:25:31 +03:00
  • 5ae88f820d unboxed -> val, boxed -> box Dmitry Boulytchev 2021-01-31 21:07:17 +03:00
  • 919cda5556 Converted repeat .. until .. -> do .. while .. od Dmitry Boulytchev 2021-01-31 19:27:00 +03:00
  • 297139c72a Return expression eliminated Dmitry Boulytchev 2021-01-31 19:11:03 +03:00
  • 7eb3e223b8 Merging with origin Dmitry Boulytchev 2021-01-25 01:38:59 +03:00
  • 2b9adec087 Added assert Dmitry Boulytchev 2021-01-25 01:22:56 +03:00
  • eeddb0b25a eta in test Dmitry Boulytchev 2021-01-12 01:14:18 +03:00
  • af0c21a06f README spelling Kakadu 2020-12-31 11:31:55 +03:00
  • 19252991a5 Added state monad Dmitry Boulytchev 2020-12-24 02:54:54 +03:00
  • 5356537fd0 Add README for go-to-definition tool Kakadu 2020-12-24 01:47:21 +03:00
  • a48db74053 Find usages works Kakadu 2020-12-18 16:43:39 +03:00
  • 0ad369b43a WIP on finfing usages Kakadu 2020-12-16 02:20:08 +03:00
  • 1683207775 Prepare for a tool Kakadu 2020-12-16 02:19:39 +03:00
  • 73016b2992 Improve pretty-printing of infixes kakadu 2020-10-27 15:24:53 +03:00
  • bc52979e39 Disable pretty-printer in the compiler Kakadu 2020-10-25 20:31:22 +03:00
  • b07cdebe7f Added Demo about infix Kakadu 2020-10-25 20:27:54 +03:00
  • ae6fad97c6 Benchmarking many files at once Kakadu 2020-10-25 18:20:19 +03:00
  • 62d1aa7316 Adding benchmarking executable Kakadu 2020-10-03 11:38:29 +03:00
  • c74757cbb7 src: Adding new switch and moving code from Driver to Language Kakadu 2020-10-03 11:49:43 +03:00
  • 6a7ba9df5f Rework depend target to not being executed during 'clean' target Kakadu 2020-10-03 11:48:59 +03:00
  • 64d49ccd01 .gitignore files Kakadu 2020-10-03 00:27:45 +03:00
  • 53b2efc3b5 Bugfix (push/pop scopes) Dmitry Boulytchev 2020-12-11 01:22:25 +03:00
  • 66dc5c3063 Fix for https://github.com/JetBrains-Research/Lama/issues/16 Dmitry Boulytchev 2020-11-24 23:11:17 +03:00
  • 8f01e5eb5b Fix for https://github.com/JetBrains-Research/Lama/issues/15 Dmitry Boulytchev 2020-11-24 01:51:11 +03:00
  • 1849c7029b Fixed call frame info (for gdb's bt command) Dmitry Boulytchev 2020-11-16 20:49:07 +03:00
  • 6822582552 Spec fix (emptyCustomMemo) Dmitry Boulytchev 2020-11-16 16:20:19 +03:00
  • 8cddb126b9 emptyCustomMap Dmitry Boulytchev 2020-11-16 03:00:16 +03:00
  • 695ddc7d88 A fix for https://github.com/JetBrains-Research/Lama/issues/14 Dmitry Boulytchev 2020-10-31 02:59:20 +03:00
  • 674214cea6 A fix for https://github.com/JetBrains-Research/Lama/issues/13 Dmitry Boulytchev 2020-10-31 02:17:44 +03:00