Add field element type#2659

Merged

lukaszcz merged 22 commits intomainfrom field-type

Feb 27, 2024

+1,196-160

Commits on Feb 26, 2024

Field.hs
lukaszcz
committed
use SingI instead of KnownNat

janmasrovira
authored and
lukaszcz
committed
finite field
lukaszcz
committed
field type (wip)
lukaszcz
committed
field type in the backend
lukaszcz
committed
field type in IRs
lukaszcz
committed
fix compilation
lukaszcz
committed
fix tests
lukaszcz
committed
field functions
lukaszcz
committed
traits
lukaszcz
committed
fix core evaluator
lukaszcz
committed
tests
lukaszcz
committed
check field size of stored modules
lukaszcz
committed
update CASM interpreter
lukaszcz
committed
Cairo field size
lukaszcz
committed
update vampir backend
lukaszcz
committed
cli options
lukaszcz
committed
fix Bank example
lukaszcz
committed

Commits on Feb 27, 2024