Commit graph

784 commits

Author SHA1 Message Date
Egor Sheremetov
f78d7280c1 Added negative tests execution to the CI and root Makefile 2023-10-04 05:27:33 +02:00
Egor Sheremetov
f51e482449 Added negative test scenarios 2023-10-04 05:23:14 +02:00
Egor Sheremetov
304c21260e Removed currently unused flag __ENABLE_GC__ 2023-10-04 04:17:40 +02:00
Danya Berezun
17cf7f4682 add no-pie flags in lama on lama 2023-10-02 13:28:42 +02:00
Danya Berezun
7300ed72e4 remove axtra no-pie flags 2023-10-02 13:20:50 +02:00
Egor Sheremetov
b5a0b81d11 Got rid of ASM for runtime pre_gc, post_gc and stack scan 2023-09-29 19:40:01 +02:00
Egor Sheremetov
8b073cbd48 Fixed unit tests + fixed different compilation flags' combinations so that code compiles and works properly + added unit tests execution into a github actions workflow 2023-09-27 03:45:58 +02:00
Danya Berezun
ec9beed470 upd comments 2023-09-05 20:56:10 +02:00
Danya Berezun
20cb055883 update makes 2023-09-05 20:55:48 +02:00
Danya Berezun
da9bff2045 replace with make 2023-09-05 20:55:15 +02:00
Danya Berezun
fdf70f0888 make: j to j8 2023-09-04 23:36:36 +02:00
Danya Berezun
63f73f3c96 uncomment Lbinoperror-s functions 2023-09-04 21:54:38 +02:00
Danya Berezun
cf5890674d rm test111 2023-09-04 21:48:58 +02:00
Danya Berezun
9a8de00d10 fix clean: add byterun clean 2023-09-04 21:47:25 +02:00
Danya Berezun
a78bbaee3f upd 2023-09-04 21:46:09 +02:00
Danya Berezun
5119f69863 fix regression 2023-09-04 21:45:50 +02:00
Danya Berezun
17a7aa0116 fix warnings 2023-09-04 21:44:26 +02:00
Danya Berezun
9170b9c860 move to dune; fix warnings 2023-09-04 21:43:28 +02:00
Danya Berezun
41fb7b15f9 outdated 2023-09-04 21:42:39 +02:00
Egor Sheremetov
89536c67e0 Included lama compilation in root's make regression target 2023-09-04 13:25:12 +02:00
Egor Sheremetov
52ef663986 Fixed bug for version without extra word for sexp 2023-08-28 11:19:02 +02:00
Egor Sheremetov
c61159cfc6 Different PRE_GC and POST_GC attempt, floating 0 bug is present again 2023-08-14 09:40:56 +02:00
Egor Sheremetov
8c02877974 fix TODO.md 2023-08-09 20:24:09 +02:00
Egor Sheremetov
b10c098fe1 Added new todo to run Lama compiler on Lama 2023-08-09 20:23:07 +02:00
Egor Sheremetov
3937ecf387 Removed extra word in sexp 2023-08-09 20:16:51 +02:00
Egor Sheremetov
dd7cbc7869 fixed illegal use of cur_id with FULL_INVARIANT_CHECKS flag 2023-07-28 17:15:48 +02:00
Egor Sheremetov
65c9b1924b disabled FULL_INVARIANTS_CHECK for lama version 2023-07-28 16:44:28 +02:00
Egor Sheremetov
99ce39ca28 Debug output is now hidden when DEBUG_VERSION compilation option is off, added LAMA_ENV compilation option to control whether global area scan is needed 2023-07-28 16:37:39 +02:00
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