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
578 commits 5 branches 0 tags 22 MiB
Commit graph

578 commits

This branch
This branch
All branches
Author SHA1 Message Date
Dmitry Boulytchev
b738da8c34
Merge pull request #22 from Soarex16/1.10 
Fix incorrect handling of mmap error
 2023-01-10 00:09:53 +03:00
soarex
eb11bd1add Fix incorrect handling of mmap error 2023-01-09 02:47:24 +03:00
Dmitry Boulytchev
f47d872df1 Sync 2022-11-01 09:22:19 +03:00
Dmitry Boulytchev
80b391aff1 Fixed performance/Sort.lama 2022-10-25 02:57:51 +03:00
Dmitry Boulytchev
1a1c2e6280
Merge pull request #24 from JetBrains-Research/stringBuf_init 
Runtime: Initializate concatenation buffer by zeros
 2022-10-11 17:05:26 +03:00
Kakadu
f947024453 A test about bad initialization of stringBuf in runtime 
Signed-off-by: Kakadu <Kakadu@pm.me>
 2022-10-11 15:47:26 +03:00
Kakadu
e18b46787f .gitignore files 
Signed-off-by: Kakadu <Kakadu@pm.me>
 2022-10-11 15:47:04 +03:00
kakadu
d17ceb3c53 Runtime: Initializate concatenation buffer by zeros 
There was a bug about stringcat-ing of empty list,
where it would be filled by garbage. It seems to
happen becase stringBuf.contents are used without
proper check of length of the buffer. We defend from
that my initializing buffer by zeros (end of string)

Signed-off-by: kakadu <kakadu@pm.me>
 2022-10-10 18:31:27 +03:00
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