acl/type_wraps_term - Branch - Quantinuum/hugr

refactor(hugrv2)!: combine TypeEnum with Term, no RV parametrization

#2895Merged

Comparing

acl/type_wraps_term

(

07490ea

) with

main

(

d6e11c8

)

-43%

Regression: 3

Untouched: 26

Ignored: 7

Skipped: 6

Benchmarks

42 total

construction

hugr/benches/benchmarks/types.rs::benches::bench_construction::types

-43%

11.4 µs20.2 µs

circuit_roundtrip/capnp[1000]

hugr/benches/benchmarks/hugr.rs::benches::bench_serialization

-11%

75 ms84.7 ms

circuit_roundtrip/capnp[100]

hugr/benches/benchmarks/hugr.rs::benches::bench_serialization

-11%

8.4 ms9.4 ms

fewnode_subgraph[100]

hugr/benches/benchmarks/subgraph.rs::benches::bench_fewnode_subgraph

788.2 µs785.5 µs

multinode_subgraph[10]

hugr/benches/benchmarks/subgraph.rs::benches::bench_multinode_subgraph

154.7 µs154.3 µs

fewnode_subgraph[10]

hugr/benches/benchmarks/subgraph.rs::benches::bench_fewnode_subgraph

156.1 µs155.9 µs

big_hugr_roundtrip/json[1048576]

hugr/benches/benchmarks/hugr.rs::benches::bench_big_hugr_serialization

50.8 ms50.8 ms

fewnode_subgraph[1000]

hugr/benches/benchmarks/subgraph.rs::benches::bench_fewnode_subgraph

7 ms7 ms

multinode_subgraph[100]

hugr/benches/benchmarks/subgraph.rs::benches::bench_multinode_subgraph

1.2 ms1.2 ms

multinode_subgraph[1000]

hugr/benches/benchmarks/subgraph.rs::benches::bench_multinode_subgraph

15.9 ms15.9 ms

big_hugr_roundtrip/capnp[1024]

hugr/benches/benchmarks/hugr.rs::benches::bench_big_hugr_serialization

1 ms1 ms

big_hugr_roundtrip/json[1024]

hugr/benches/benchmarks/hugr.rs::benches::bench_big_hugr_serialization

178.3 µs178.8 µs

insert_from_view

hugr/benches/benchmarks/hugr.rs::benches::bench_insertion::insertion

41.7 µs41.8 µs

insert_hugr

hugr/benches/benchmarks/hugr.rs::benches::bench_insertion::insertion

54.3 µs54.5 µs

circuit_roundtrip/json[1000]

hugr/benches/benchmarks/hugr.rs::benches::bench_serialization

204.8 ms205.7 ms

circuit_roundtrip/json[100]

hugr/benches/benchmarks/hugr.rs::benches::bench_serialization

-1%

19.6 ms19.7 ms

circuit_serialize/json[0]

hugr/benches/benchmarks/hugr.rs::benches::bench_serialization

-1%

39.3 µs39.6 µs

circuit_roundtrip/json[10]

hugr/benches/benchmarks/hugr.rs::benches::bench_serialization

-1%

2.1 ms2.2 ms

circuit_serialize/json[1000]

hugr/benches/benchmarks/hugr.rs::benches::bench_serialization

-1%

29.4 ms29.7 ms

circuit_serialize/json[10]

hugr/benches/benchmarks/hugr.rs::benches::bench_serialization

-1%

354.5 µs358.8 µs

insert_forest

hugr/benches/benchmarks/hugr.rs::benches::bench_insertion::insertion

-1%

48.6 µs49.2 µs

circuit_roundtrip/json[1]

hugr/benches/benchmarks/hugr.rs::benches::bench_serialization

-1%

406.7 µs412 µs

circuit_serialize/json[1]

hugr/benches/benchmarks/hugr.rs::benches::bench_serialization

-1%

82.3 µs83.4 µs

insert_view_forest

hugr/benches/benchmarks/hugr.rs::benches::bench_insertion::insertion

-1%

43.9 µs44.5 µs

big_hugr_roundtrip/capnp[1048576]

hugr/benches/benchmarks/hugr.rs::benches::bench_big_hugr_serialization

-3%

11.3 ms11.7 ms

Commits

Click on a commit to change the comparison range

Base

main

d6e11c8

-47.48%

clippy+benchmarks

af2a6f9

2 months ago

by acl-cqc

-0.07%

update hugr-llvm snapshots

8805064

2 months ago

by acl-cqc

-0.14%

update snapshots more

b996510

2 months ago

by acl-cqc

+0.07%

Remove TypeRV (use Term)

4f7be66

2 months ago

by acl-cqc

+5.16%

Make TypeRowRV a struct (the only panicking new); rm GeneralSum, SerTypeRowRV

0ac2b53

2 months ago

by acl-cqc

-2.81%

docs

c563bde

2 months ago

by acl-cqc

+0.23%

comment re. Type::validate

cfed69d

2 months ago

by acl-cqc

+4.67%

Merge branch 'acl/no_1type_row' into acl/type_wraps_term

16b4c5e

2 months ago

by acl-cqc

-0.17%

Fix json-encoding of type variables (showed only in extension defs)

34cb99d

2 months ago

by acl-cqc

+0.35%

TypeRowRV::new() is const no-args; use try_from, but use safe ctors more

2962d96

2 months ago

by acl-cqc

-1.12%

Merge remote-tracking branch 'origin/main' into acl/type_wraps_term

c0badc6

1 month ago

by acl-cqc

+6.32%

reduce change to benchmark

83d9bde

1 month ago

by acl-cqc

+0.1%

Try "optimizing"(?) import_signature not to import_func_type

77a74c5

1 month ago

by acl-cqc

-1.03%

Rename Substitutable -> TypeRowLike, move into type_row.rs

e44bae7

1 month ago

by acl-cqc

-0.36%

drop From<SumType/CustomType> for Term

2697658

1 month ago

by acl-cqc

+1.36%

TypeRowRV::just_row_var=>new_var_use

ca3aa2f

1 month ago

by acl-cqc

-5.7%

FromIterator for both TypeRowRV and TypeRow

3a41dda

1 month ago

by acl-cqc

-0.35%

remove another ALAN

4646a1a

1 month ago

by acl-cqc

-0.39%

comment out get_alias_type and friends

80f1934

1 month ago

by acl-cqc

-2.36%

hide TypeRowRV::new_unchecked

43fedc2

13 days ago

by acl-cqc

+0.03%

missing display specifier for Term::RuntimeExtension

9fe64c5

13 days ago

by acl-cqc

-0.14%

fmt

984cfba

13 days ago

by acl-cqc

+0.03%

Merge remote-tracking branch 'origin/main' into acl/type_wraps_term

aa82fb6

13 days ago

by acl-cqc

+0.34%

Merge remote-tracking branch 'origin/main' into acl/type_wraps_term

07490ea

6 days ago

by acl-cqc

Home Terms Privacy Docs