Default Branch

master dbab49936d · Renaming and preparing to remove oracles (#985) · Updated 2025-03-13 12:53:01 +09:00

ZIP  TAR.GZ

Branches

uw-rename-fix-deps b116d77883 · Changed deps, rename modules, remove oracles · Updated 2025-03-10 21:09:30 +09:00    uwiger	1 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	1 1	#986 Open	ZIP  TAR.GZ
zomp 3771b6a5f2 · Meta update · Updated 2024-11-12 19:13:20 +09:00    QPQ-AG	1 8	Compare	ZIP  TAR.GZ
ceres a8d708cae0 · [Ceres] Raw pointers as bytes (#493) · Updated 2023-12-15 21:27:12 +09:00    QPQ-AG	30 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	865 84	Compare	ZIP  TAR.GZ
gh-485 8032bad915 · changelog · Updated 2023-09-03 00:41:18 +09:00    QPQ-AG	30 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	34 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	35 7	Compare	ZIP  TAR.GZ
ghallak/split-typechecker 9a95df2108 · Remove unexported functions · Updated 2023-05-07 02:08:16 +09:00    QPQ-AG	42 30	Compare	ZIP  TAR.GZ
gh-400 411399a39a · . · Updated 2023-04-17 04:59:48 +09:00    QPQ-AG	43 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	53 6	Compare	ZIP  TAR.GZ
loop-op 9335db65d0 · Fix liveness · Updated 2022-07-04 02:25:10 +09:00    QPQ-AG	72 27	#889 Open	ZIP  TAR.GZ
type-env 9256a7d31d · Move · Updated 2022-06-30 01:35:10 +09:00    QPQ-AG	72 2	Compare	ZIP  TAR.GZ
ghallak/229 21cc6f2b3e · Add constrained_t to fold · Updated 2022-06-20 15:28:17 +09:00    QPQ-AG	74 15	#881 Open	ZIP  TAR.GZ
option-force-msg 0320ac959b · CHANGELOG update · Updated 2021-07-16 03:43:11 +09:00    QPQ-AG	124 2	#819 Merged	ZIP  TAR.GZ
6.0.2 71f77a8e02 · Minor note · Updated 2021-07-05 22:18:22 +09:00    QPQ-AG	127 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	219 6	Compare	ZIP  TAR.GZ
call-fee 2311d19602 · Merge pull request #291 from aeternity/GH-3282-aens_pointers_cleanup · Updated 2021-04-15 17:26:56 +09:00    QPQ-AG	166 0	Included	ZIP  TAR.GZ
fix-ets 4e60d019ca · Fix constraints ordering · Updated 2021-02-23 19:05:02 +09:00    QPQ-AG	224 0	#790 Merged	ZIP  TAR.GZ
mergesort 1a14602f36 · Upgrade sorting function · Updated 2021-02-09 22:18:42 +09:00    QPQ-AG	224 0	#785 Merged	ZIP  TAR.GZ