Commit graph

655 commits

Author SHA1 Message Date
danyaberezun
539e9712e5 add new function for debug in Lama: LprintfPerrror --- synonym for fprintf(perror,...) 2024-02-29 15:30:23 +02:00
Dmitry Boulytchev
7541ea64c2 Spec updated 2023-12-06 19:50:49 +03:00
Dmitry Boulytchev
d94bda0dcc Merge branch '1.20' of github.com:JetBrains-Research/Lama into 1.20 2023-12-06 19:45:40 +03:00
Dmitry Boulytchev
a3efdeb359 stdout/stderr 2023-12-06 19:45:29 +03:00
Danya Berezun
be0b32f7b9 update link to correct lsp-server 2023-11-08 13:17:23 +01:00
danyaberezun
ccd8df1828
Merge pull request #25 from blonded04/blonded04/readme-installation-fixes
Clarify `lib32gcc-*-dev` installation FAQ
2023-10-12 13:41:59 +03:00
blonded04
1b91a663e0 Merge branch '1.2' of https://github.com/PLTools/Lama into blonded04/readme-installation-fixes 2023-10-12 03:41:04 +03:00
blonded04
9de3e980a2 clarify FAQ 2023-10-12 03:37:24 +03:00
danyaberezun
3b8c6586eb
Update README.md 2023-10-04 15:40:24 +03:00
Danya Berezun
308a9f47d9 upd version print 2023-10-04 14:35:35 +02:00
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