sophia

fix wrong regex for sophia constructors

Sophia Tests / tests (push) Successful in 1m20s

Details

#991 opened 2026-05-13 16:47:30 +09:00 by pharpend

master

prh-docs-fix

1 approval

1

1st commit: add MLDSA sig verification

Sophia Tests / tests (push) Failing after -4m36s

Details

#990 opened 2026-01-29 22:16:25 +09:00 by uwiger

master

uw-mldsa-crypto

4 waiting reviews

Changed deps, rename modules, remove oracles

#987 opened 2025-03-10 21:18:22 +09:00 by uwiger

master

uw-rename-fix-deps

4 waiting reviews 10 conflicting files

Bump gmserialization to v1.2.0

#986 opened 2025-03-01 22:00:00 +09:00 by dimitar.p.ivanov

master

bump_gmserialization

1 approval 10 conflicting files

1

Renaming and preparing to remove oracles

Sophia Tests / tests (push) Successful in 48m12s

Details

#985 by zxq9 was merged 2025-03-13 12:53:02 +09:00

master

gm2

1 approval 2 waiting reviews

1

Update docs

#984 by zxq9 was closed 2025-02-24 21:03:37 +09:00

master

gm

1

Disable unused type warnings for type used inside of records

#983 by ghallak was merged 2023-11-27 18:12:30 +09:00

master

ghallak/490

4

Improve resolution of relative includes

#980 by zxq9 was merged 2023-09-14 22:00:34 +09:00

master

fix_relative_includes

9

Prepare release v7.4.0

#978 by zxq9 was merged 2023-09-05 17:04:51 +09:00

master

prepare_7_4_0

5

Name lambdas by their locations

#977 by zxq9 was merged 2023-09-05 01:50:38 +09:00

master

gh-485

5

Prepare v7.3.0 release

#975 by zxq9 was merged 2023-08-24 17:59:47 +09:00

master

prepare_7_3_0

3

Improve independence analysis in code optimizer

#974 by zxq9 was merged 2023-08-24 16:43:46 +09:00

master

fix_optimization_bug

4

[Ceres] Allow arbitrary sized message in Crypto.verify_sig

#972 by zxq9 was merged 2023-08-24 23:14:44 +09:00

ceres

arbitrary_sized_signed_message

4

Improve constraint solving

#971 by zxq9 was merged 2023-08-23 16:43:57 +09:00

master

improve_constraint_solving

7

Bump pygments from 2.14.0 to 2.15.0 in /.github/workflows dependencies

#964 opened 2023-07-20 20:28:04 +09:00 by zxq9

master

dependabot/pip/dot-github/workflows/pygments-2.15.0

1 conflicting file

Unify typesigs when implementing interface funs

#960 by ghallak was merged 2023-07-17 19:32:15 +09:00

master

ghallak/polymorphism-bugfix

3

[Ceres] Add Chain.network_id

#959 by zxq9 was merged 2023-07-03 15:04:22 +09:00

ceres

add_chain_network_id

4

Prepare v7.2.1 release

#957 by ghallak was merged 2023-06-29 20:46:27 +09:00

master

ghallak/release-7.2.1

4

Fix bugs caused by the addition of debugging symbols

#955 by ghallak was merged 2023-06-28 23:43:54 +09:00

master

ghallak/fix-incomplete-patterns

3

Rebase new_ceres branch on top of new master

#954 by ghallak was closed -

new_ceres

ghallak/new_ceres_rebased

1