QPQ-AG/sophia
12
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Add Sophia AIC builtins and Auth.tx constructors #992

Open
uwiger wants to merge 4 commits from uw-aci into master
pull from: uw-aci
merge into: :master
Conversation 0 Commits 4 Files Changed 12
+233 -27
4 Commits
Author SHA1 Message Date
Ulf Wiger 80c369b4d0 Add missing BurnTx type to Auth.tx fcode table
Sophia Tests / tests (push) Failing after 48m33s
Details 
init_type_env/0 listed five new Chain.base_tx constructors in
con_env and arities but omitted BurnTx from the variant type,
so compiling switches on Chain.BurnTx crashed in split_vars/2.
 2026-08-23 07:26:10 +02:00
Ulf Wiger 8a635c2e73 Add Sophia AIC builtins and Auth.tx constructors
Sophia Tests / tests (push) Failing after 48m33s
Details 
Expose Chain.spend_currency, Chain.balance_currency, and
Chain.currency_supply, compiling to the new FATE opcodes.
Auth.tx inspection gains AccountCreateTx, MintTx, ExchangeTx,
SpendCurrenciesTx, and BurnTx. Pin gmbytecode to c44313e.
 2026-08-23 00:19:06 +02:00
Ulf Wiger 4f6529ed9d update deps, add mldsa-related byte codes
Sophia Tests / tests (push) Failing after -4m36s
Details
2026-02-02 20:05:07 +01:00
Ulf Wiger ed72e393ab 1st commit: add MLDSA sig verification
Sophia Tests / tests (push) Failing after -4m44s
Details
2026-01-29 14:14:33 +01:00