st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 06:48:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
570 commits 5 branches 0 tags 22 MiB
Commit graph

570 commits

This branch
This branch
All branches
Author SHA1 Message Date
Dmitry Boulytchev
666ca3b580 Merge with Lama 2022-09-13 09:26:16 +03:00
Dmitry Boulytchev
79460b7442 Merge branch '1.10' of github.com:JetBrains-Research/Lama into 1.10 2022-09-13 09:20:45 +03:00
Dmitry Boulytchev
98804770e6 Fixed chop-suffix 2022-09-13 09:19:28 +03:00
Dmitrii Kosarev
2b4a9fef9e
README: update switch creation command 2022-09-10 14:42:23 +00:00
Kakadu
0353e77a26 Add latex magic commands to many files 
Signed-off-by: Kakadu <Kakadu@pm.me>
 2022-08-23 17:25:52 +03:00
Kakadu
2a5e644101 Fix compilation by changing newcommand->renewcommad 
Signed-off-by: Kakadu <Kakadu@pm.me>
 2022-08-23 17:25:33 +03:00
Dmitry Boulytchev
e5c5f914bd Merged Lama 2022-04-14 17:41:56 +03:00
Dmitry Boulytchev
33b082f21f Merge branch '1.10' of github.com:JetBrains-Research/Lama into 1.10 2022-04-14 17:40:35 +03:00
Dmitry Boulytchev
0cda5108b0 Merged Lama 2022-04-14 17:38:18 +03:00
Dmitry Boulytchev
f0eec7aaf5 Transition to GT 0.5.0 2022-04-14 17:35:18 +03:00
Dmitry Boulytchev
7160b84748 Merge branch '1.10' of github.com:JetBrains-Research/Lama-devel into 1.10 2022-04-14 17:20:58 +03:00
Dmitry Boulytchev
168bd6a9e9 Sync 2022-04-12 18:39:47 +03:00
Kakadu
42018ebf0a Tutorial: fix compilation with locally compiled LaMa 
Signed-off-by: Kakadu <Kakadu@pm.me>
 2022-02-15 01:27:04 +03:00
Kakadu
a9e97ed957 README.md: Fix installation instructions 
Mention Lama instead of Lama-devel

Signed-off-by: Kakadu <Kakadu@pm.me>
 2022-02-15 01:25:10 +03:00
Kakadu
137207a6d9 Use SVG LaMa icon instead of PNG 
Because PNG is not scalable and looks ugly.
The actual SVG was generated using https://viereck.ch/latex-to-svg/ from
the following LaTeX code:

\lambda\kern -.1667em\lower -.5ex\hbox{$a$}\kern -.1000em\lower .2ex\hbox{$\mathcal M$}\kern -.1000em\lower -.5ex\hbox{$a$}

Signed-off-by: Kakadu <Kakadu@pm.me>
 2022-02-15 00:49:53 +03:00
Dmitrii Kosarev
07a131a31d
Readme: add badges for Lama-devel 2022-02-14 21:03:35 +00:00
Dmitrii Kosarev
901aecfc09
Update README.md: repair build badge 
(s/lama-devel/lama)
 2022-02-14 20:42:26 +00:00
Kakadu
20ab1a27fa Fix constraint on GT's version 
Signed-off-by: Kakadu <Kakadu@pm.me>
 2022-02-14 20:24:28 +03:00
Dmitry Boulytchev
d0cc8d0fa9 Fixed bug in makeArray 2022-02-14 01:13:14 +03:00
Dmitry Boulytchev
69c0b89e3c Switching off invalid hashconsing 2022-01-31 23:46:18 +03:00
Dmitry Boulytchev
f953814c76 Fixed bug in potential reuse of args in vsnprintf 2021-12-03 03:56:58 +03:00
Dmitry Boulytchev
669a4288d7 Performance test 2021-11-22 15:51:47 +03:00
Dmitry Boulytchev
9ff649e563 fexists added 2021-11-19 01:38:22 +03:00
Dmitry Boulytchev
eb098a6fac Merged PR from Lama 2021-10-31 15:34:34 +03:00
Dmitry Boulytchev
594fa7bf8f
Merge pull request #21 from trilis/1.10 
Fix bytecode generation for .array
 2021-10-30 19:24:25 +03:00
Alexey Trilis
987381c751 Fix bytecode generation for .array 2021-10-29 14:52:35 +03:00
Dmitry Boulytchev
ac02ff3b8d Fixed SM 2021-10-04 23:42:17 +03:00
Dmitry Boulytchev
4d56ccc068 Byterun/some intrinsics 2021-10-03 17:10:21 +03:00
Dmitry Boulytchev
c90a73c10f Fixed typo 2021-09-28 10:39:02 +03:00
Dmitry Boulytchev
e03e2dda25 Added comments 2021-09-28 09:58:10 +03:00
Dmitry Boulytchev
fa874b4a4c Byterun 2021-09-28 03:02:05 +03:00
Dmitry Boulytchev
11203f3a85 Added arrayFind 2021-08-31 01:47:49 +03:00
Dmitry Boulytchev
9e5c562d60 Fixed stringcat 2021-08-13 09:50:07 +03:00
Dmitry Boulytchev
849162aa92 Added isEmptySet/isEmptyMap 2021-03-24 18:51:25 +07:00
Dmitry Boulytchev
8359b674f8 Increated extra-roots yet again 2021-03-20 13:46:03 +03:00
Dmitry Boulytchev
f1384146cf Increased MAX_EXTRA_ROOTS 2021-03-14 07:08:07 +03:00
Dmitry Boulytchev
d61049b152 Added missing files 2021-02-25 10:04:50 +03:00
Dmitry Boulytchev
b4af583378 Added correct spec 2021-02-25 08:46:08 +03:00
Dmitry Boulytchev
f8179e78df Merge branch '1.10' of github.com:JetBrains-Research/Lama into 1.10 2021-02-25 08:42:59 +03:00
Dmitry Boulytchev
757c22f2de Merge branch '1.10' of github.com:JetBrains-Research/Lama-devel into 1.10 2021-02-25 08:41:07 +03:00
Dmitry Boulytchev
8bdd666ea8 Added limitation section into the spec; fixed typo in spec; fixed .gdbinit 2021-02-25 08:40:44 +03:00
Kakadu
c83b153a1d
Update README.md 2021-02-17 16:39:46 +00:00
Kakadu
9b3678f8bd Update compilation of tutorial and instruction in README 
Signed-off-by: Kakadu <Kakadu@pm.me>
 2021-02-15 21:36:42 +03:00
Kakadu
107a2e2061
Update URLs in README 2021-02-14 17:17:39 +00:00
Kakadu
882ca93f89 Allow to specify C compiler when building runtime 
Try something like `make -C runtime CC=clang-11 all`. It was tested only
on GNU/Linux

Signed-off-by: Kakadu <Kakadu@pm.me>
 2021-02-14 18:54:44 +03:00
Kakadu
aba621a73b Mention depexts in README 
Signed-off-by: Kakadu <Kakadu@pm.me>
 2021-02-13 11:46:01 +03:00
Dmitry Boulytchev
a9d9a4e2be Merge branch '1.10' of github.com:JetBrains-Research/Lama-devel into 1.10 2021-02-13 11:16:28 +03:00
Dmitry Boulytchev
58ffcbe512 Fixed LAMAC in tutorial 2021-02-13 11:16:12 +03:00
Kakadu
827e07522a Added initial CI workflow 
Signed-off-by: Kakadu <Kakadu@pm.me>
 2021-02-13 01:34:31 +03:00
Kakadu
ba6a5382c8
Add GPLv3 license 2021-02-12 19:36:25 +00:00