dottybot comments

Results 48 comments of


                                            dottybot

Track type variable dependencies to guide instantiation decisions

performance test scheduled: 1 job(s) in queue, 2 running.

Track type variable dependencies to guide instantiation decisions

Performance test finished successfully: Visit https://dotty-bench.epfl.ch/16042/ to see the changes. Benchmarks is based on merging with main (9d574ce1fc)

Track type variable dependencies to guide instantiation decisions

performance test scheduled: 2 job(s) in queue, 1 running.

Track type variable dependencies to guide instantiation decisions

performance test scheduled: 2 job(s) in queue, 1 running.

Track type variable dependencies to guide instantiation decisions

Performance test finished successfully: Visit https://dotty-bench.epfl.ch/16042/ to see the changes. Benchmarks is based on merging with main (731522a283)

Track type variable dependencies to guide instantiation decisions

Performance test finished successfully: Visit https://dotty-bench.epfl.ch/16042/ to see the changes. Benchmarks is based on merging with main (731522a283)

Implement GadtExpr

performance test scheduled: 1 job(s) in queue, 0 running.

Implement GadtExpr

Performance test finished successfully: Visit https://dotty-bench.epfl.ch/15928/ to see the changes. Benchmarks is based on merging with main (a6a33857e7)

Adding support of path-dependent GADT reasoning

performance test scheduled: 1 job(s) in queue, 0 running.

Adding support of path-dependent GADT reasoning

Performance test finished successfully: Visit https://dotty-bench.epfl.ch/14754/ to see the changes. Benchmarks is based on merging with main (634c5807e4)