Łukasz Czajka fcd52a443f Improve specialization optimization (#2944) ... * Specialization has become less effective after recent changes to the codebase. This PR fixes issues with specialization. * Closes #2939 * Closes #2945 Checklist --------- - [X] Preserve pragmas for letrec and lambda in Stored Core - [x] Remove the assumption that all type variables are at the front (closes #2945) - [x] Allow specialization when the argument is a constructor application - [x] Make renaming adjust pragmas - [x] Allow pragmas for fields in record definitions (closes #2939) - [x] Update standard library pragmas - [x] Fix JuvixTree printing		2024-08-14 10:04:30 +02:00
..
Cairo/reference	Cairo Elliptic Curve builtin (#2731)	2024-04-22 14:24:09 +02:00
Compilation	Improve specialization optimization (#2944)	2024-08-14 10:04:30 +02:00
negative	Cairo ASM language and interpreter (#2572)	2024-01-12 11:57:02 +00:00
positive	Peephole optimization of Cairo assembly (#2858)	2024-06-27 12:41:27 +02:00
Reg/positive	Dead code elimination in JuvixReg (#2835)	2024-06-24 13:56:50 +02:00