Default Branch

master c8cd4816bd · Merge pull request 'fix wrong regex for sophia constructors' (#991) from prh-docs-fix into master · Updated 2026-07-25 00:15:17 +09:00

ZIP  TAR.GZ

Branches

uw-aci 80c369b4d0 · Add missing BurnTx type to Auth.tx fcode table · Updated 2026-08-23 14:26:10 +09:00    uwiger	2 4	#992 Open	ZIP  TAR.GZ
prh-docs-fix 6099566cfe · fix wrong regex for sophia constructors · Updated 2026-05-13 16:37:44 +09:00    pharpend	1 0	#991 Merged	ZIP  TAR.GZ
uw-mldsa-crypto 4f6529ed9d · update deps, add mldsa-related byte codes · Updated 2026-02-03 04:05:07 +09:00    uwiger	2 2	#990 Open	ZIP  TAR.GZ
uw-rename-fix-deps b116d77883 · Changed deps, rename modules, remove oracles · Updated 2025-03-10 21:09:30 +09:00    uwiger	3 1	#987 Open	ZIP  TAR.GZ
bump_gmserialization e30d99d87b · Bump gmserialization to v1.2.0 · Updated 2025-03-01 23:12:45 +09:00    dimitar.p.ivanov	3 1	#986 Open	ZIP  TAR.GZ
zomp 3771b6a5f2 · Meta update · Updated 2024-11-12 19:13:20 +09:00    QPQ-AG	3 8	Compare	ZIP  TAR.GZ
ceres a8d708cae0 · [Ceres] Raw pointers as bytes (#493) · Updated 2023-12-15 21:27:12 +09:00    QPQ-AG	32 9	Compare	ZIP  TAR.GZ
gh-pages 72f583fa52 · Deployed cdbd430 to master with MkDocs 1.4.2 and mike 1.1.2 · Updated 2023-11-27 18:12:50 +09:00    QPQ-AG	867 84	Compare	ZIP  TAR.GZ
gh-485 8032bad915 · changelog · Updated 2023-09-03 00:41:18 +09:00    QPQ-AG	32 2	#977 Merged	ZIP  TAR.GZ
dependabot/pip/dot-github/workflows/pygments-2.15.0 a809c12b95 · Bump pygments from 2.14.0 to 2.15.0 in /.github/workflows · Updated 2023-07-20 20:28:03 +09:00    QPQ-AG	36 1	#964 Open	ZIP  TAR.GZ
old_ceres 1538af79ed · [Ceres] Add Chain.network_id (#468) · Updated 2023-07-03 15:04:16 +09:00    QPQ-AG	37 7	Compare	ZIP  TAR.GZ
ghallak/split-typechecker 9a95df2108 · Remove unexported functions · Updated 2023-05-07 02:08:16 +09:00    QPQ-AG	44 30	Compare	ZIP  TAR.GZ
gh-400 411399a39a · . · Updated 2023-04-17 04:59:48 +09:00    QPQ-AG	45 4	Compare	ZIP  TAR.GZ
new_ceres 8e191b0c88 · [Ceres]: Document generic all names delegation signatures (#440) · Updated 2023-03-22 16:55:57 +09:00    QPQ-AG	55 6	Compare	ZIP  TAR.GZ
loop-op 9335db65d0 · Fix liveness · Updated 2022-07-04 02:25:10 +09:00    QPQ-AG	74 27	#889 Open	ZIP  TAR.GZ
type-env 9256a7d31d · Move · Updated 2022-06-30 01:35:10 +09:00    QPQ-AG	74 2	Compare	ZIP  TAR.GZ
ghallak/229 21cc6f2b3e · Add constrained_t to fold · Updated 2022-06-20 15:28:17 +09:00    QPQ-AG	76 15	#881 Open	ZIP  TAR.GZ
option-force-msg 0320ac959b · CHANGELOG update · Updated 2021-07-16 03:43:11 +09:00    QPQ-AG	126 2	#819 Merged	ZIP  TAR.GZ
6.0.2 71f77a8e02 · Minor note · Updated 2021-07-05 22:18:22 +09:00    QPQ-AG	129 2	#817 Merged	ZIP  TAR.GZ
lima fd6cde535e · Merge pull request #296 from davidyuk/patch-3 · Updated 2021-06-24 16:30:08 +09:00    QPQ-AG	221 6	Compare	ZIP  TAR.GZ