Commit graph

645 commits

Author SHA1 Message Date
danyaberezun
5eab75eeb1
Update README.md
fix links on checks
2023-10-04 14:26:06 +03:00
Dmitry Boulytchev
7d80ef18e9
Merge pull request #24 from egorSheremetov02/1.2
1.2
2023-10-04 14:23:05 +03:00
Danya Berezun
b22daf080d fix merge typo 2023-10-04 12:28:56 +02:00
Danya Berezun
9fbd99ab7a resolve merge 2023-10-04 12:11:33 +02:00
Danya Berezun
d3187e6ac7 remove lama in lama checks 2023-10-04 10:39:39 +02:00
Danya Berezun
3402afdb2b add changelog ) 2023-10-04 09:56:31 +02:00
Danya Berezun
1fb2013454 add links to VS Code plugin 2023-10-04 09:39:20 +02:00
Danya Berezun
c21d51f3c5 upd REAME: upd versions 2023-10-04 09:36:30 +02:00
Danya Berezun
1dfd5f9f00 update action 2023-10-04 09:31:38 +02:00
Danya Berezun
8c059f3c28 update opam file 2023-10-04 09:31:25 +02:00
Egor Sheremetov
e3f28b94b1 Added some details about GC algorithm with references to code fragments 2023-10-04 07:55:25 +02:00
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