Commit graph

746 commits

Author SHA1 Message Date
danyaberezun
c81788363b
Update version.ml 2023-05-31 12:48:10 +03:00
danyaberezun
3a5a85a87e fixci 2023-05-31 11:39:09 +02:00
danyaberezun
2a42e1e176 add tag print in error in get_type_header_ptr 2023-05-31 11:33:04 +02:00
danyaberezun
e4fd3c487a add FLAGS 2023-05-31 11:11:19 +02:00
danyaberezun
ccd04c2159 add clang-format; reformat files 2023-05-31 11:01:11 +02:00
Egor Sheremetov
f20d351dd0 removed old (recursive) version of mark phase from the code 2023-05-31 01:08:03 +02:00
Egor Sheremetov
9107a26668 implemented non-recursive mark phase, added time measurement for stress tests 2023-05-31 01:06:53 +02:00
Egor Sheremetov
5da89d0c2e removed some unnecessary debug output, also modified tests to recently changed gc_runtime.s 2023-05-30 22:58:02 +02:00
Egor Sheremetov
4eea9a7933 Fixed bug in physically_relocate + bug fix in runtime.c list iteration 2023-05-23 13:40:46 +02:00
Egor Sheremetov
313997496d Added tests + fixed bunch of bugs in GC implementation 2023-04-26 14:22:14 +02:00
kakadu
9834194180 Add camlp5 >= 8.00.05 constaraints to fix CI
this version should no longer need PERL system packages

Signed-off-by: Kakadu <Kakadu@pm.me>
2023-03-30 21:10:20 +03:00
danyaberezun
d23a0fcf61 fflush stdout before failure in vfailure 2023-03-29 14:26:53 +02:00
Egor Sheremetov
3826c8dd32 Added MREMAP_MAYMOVE flag to mremap to ensure similar to realloc behavior 2023-03-27 10:30:06 +02:00
Egor Sheremetov
113c57e7c8 First version of mark-compact GC, runtime.c is severely outdated at the moment 2023-03-27 10:09:54 +02:00
Dmitry Boulytchev
97d881959e Merged Lama 2023-03-12 05:53:08 +03:00
Dmitry Boulytchev
1bafe839dc Merge branch '1.10' of github.com:JetBrains-Research/Lama into 1.10 2023-03-12 05:30:58 +03:00
Dmitry Boulytchev
03adc4df07 Fixed spec 2023-03-12 05:28:12 +03:00
danyaberezun
413ab65b1f fix installation guide, fix some spells, update README 2023-02-01 15:43:28 +02:00
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