Łukasz Czajka dcea0bbecb Add field element type (#2659) ... * Closes #2571 * It is reasonable to finish this PR before tackling #2562, because the field element type is the primary data type in Cairo. * Depends on #2653 Checklist --------- - [x] Add field type and operations to intermediate representations (JuvixCore, JuvixTree, JuvixAsm, JuvixReg). - [x] Add CLI option to choose field size. - [x] Add frontend field builtins. - [x] Automatic conversion of integer literals to field elements. - [x] Juvix standard library support for fields. - [x] Check if field size matches when loading a stored module. - [x] Update the Cairo Assembly (CASM) interpreter to use the field type instead of integer type. - [x] Add field type to VampIR backend. - [x] Tests --------- Co-authored-by: Jan Mas Rovira <janmasrovira@gmail.com>		2024-02-27 14:54:43 +01:00
..
demo	Extract builtin definitions for loading a Package into bundled package-base package (#2535)	2023-11-30 16:22:18 +00:00
midsquare	Extract builtin definitions for loading a Package into bundled package-base package (#2535)	2023-11-30 16:22:18 +00:00
milestone	Add field element type (#2659)	2024-02-27 14:54:43 +01:00