search

anoma / juvix-arm-specs

0 stars 1 forks source link

Use the `nspec` identity machine definitions #8

Open heueristik opened 1 month ago

heueristik commented 1 month ago

Replace the Identity definitions with the Juvix definitions from https://specs.anoma.net/latest/system_architecture/identity/identity.html

heueristik commented 2 days ago

I ran into a problem when trying to use the definitions: https://github.com/anoma/nspec/issues/202 Also, there seem to be a lot of custom definitions and the containers that juvix-stdlib provides seem to not be used.