Jonathan Cubides 0fcf22f693 Fix: add supported targets as option for compile commands (#1983) ... - Closes #1882		2023-04-13 14:16:07 +02:00
..
Asm	New compilation pipeline (#1832)	2023-03-14 16:24:07 +01:00
benchmark	Adapt benchmarks to the new pipeline (#1795)	2023-02-01 15:44:09 +01:00
Compilation	Add builtin integer type to the surface language (#1948)	2023-04-13 08:16:49 +01:00
Core	Fix removal of polymorphic type arguments (#1954)	2023-03-30 19:56:07 +02:00
examplesExpected	Add a test suite for milestone examples (#1920)	2023-03-24 13:16:26 +00:00
Geb/positive	Add FoldTypeSynonyms Transformation to Geb Pipeline and more Geb Tests (#1956)	2023-04-05 10:16:04 +02:00
Internal	Add builtin integer type to the surface language (#1948)	2023-04-13 08:16:49 +01:00
negative	Add builtin integer type to the surface language (#1948)	2023-04-13 08:16:49 +01:00
positive	Fix: add supported targets as option for compile commands (#1983)	2023-04-13 14:16:07 +02:00
runtime/positive	Translation from JuvixAsm to C (#1619)	2022-12-06 11:33:20 +01:00
smoke/Commands	Add juvix global project under xdg directory and other improvements (#1963)	2023-04-13 11:27:39 +02:00
.gitattributes	Juvix C runtime (#1580)	2022-11-03 09:38:09 +01:00