Adds new VampIR functions including range-checked arithmetic operations, inductive operations on lists, range-decomposition for arbitrary bitwidth along with an updated standard library. The library will serve as the minimal library needed to compile arbitrary JuvixCore code into VampIR allowing the result to compile.
Adds new VampIR functions including range-checked arithmetic operations, inductive operations on lists, range-decomposition for arbitrary bitwidth along with an updated standard library. The library will serve as the minimal library needed to compile arbitrary JuvixCore code into VampIR allowing the result to compile.