Commit graph

656 commits

Author SHA1 Message Date
danyaberezun
18eac4375c comment out ERRORs check 2023-07-24 14:22:44 +02:00
Egor Sheremetov
ffa0b69841 Added checks that stack-frame didn't move 2023-07-24 10:01:35 +02:00
danyaberezun
ce0b369958 fix: do not fix extra root if it points to lama stack; uncomment extra roots registration; rise error if binary operation is done over pointers 2023-07-03 17:58:55 +02:00
Danya Berezun
8bc173762d fix 2023-06-29 20:05:54 +02:00
Egor Sheremetov
144db5d677 Added extra debug output in debug mode and added one more check of invariants 2023-06-29 15:01:24 +02:00
Egor Sheremetov
1a2342c411 fixed issues with heap traversal output 2023-06-25 22:51:40 +02:00
Egor Sheremetov
31551e73fd Added check of invariance of objects' topology before and after compaction 2023-06-20 16:22:35 +02:00
Egor Sheremetov
11d496405b Merge remote-tracking branch 'origin/1.10' into 1.10 after CI fix 2023-06-01 16:08:33 +02:00
Egor Sheremetov
fc81547ca3 changed MINIMUM_HEAP_CAPACITY 2023-06-01 16:06:23 +02:00
danyaberezun
89881d848e fix ci 2023-05-31 15:59:42 +02:00
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