sophia

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

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

Prepare v7.2.0 release

#953 by ghallak was merged 2023-06-19 19:24:55 +09:00

master

ghallak/release-7.2.0

5

Document Chain.spend and sort Chain functions

#951 by zxq9 was merged 2023-06-21 16:54:13 +09:00

master

add_chain_spend_doc

6

fix AENS.update stdlib doc

#950 by zxq9 was merged 2023-06-16 05:45:43 +09:00

master

fix_aens_doc

4

Introduce API to encode/decode Sophia value to/from FATE

#948 by zxq9 was merged 2023-06-21 16:54:15 +09:00

master

add_encode_decode_value

4

Add arbitrary size byte arrays

#947 by zxq9 was merged 2023-06-30 23:21:55 +09:00

ceres

arbitrary_sized_byte_arrays

6