Mingwei Samuel issues

Results 194 issues of


                                            Mingwei Samuel

remove old hydroflow lattice tracking/spurious warnings

enhancement

hydroflow syntax

Implement lattice analysis and optimizations in hydroflow+

enhancement

lattices/properties

hydroflow+

Large

hydro_deploy: principled deployment logging mechanisms

Two areas - right now logging has to be done through `ProgressTracker::println` as otherwise the progress bars will overwrite. This caused an debugging headache for me because the `perf command...

deploy

Medium

style: use new inline `format!` syntax now that rust analyzer supports it

Small

hydro_deploy: encapsulate stdout/stderr receiver logic into a new `Broadcast` type

deploy

Small

Investigate removing lifetime `'a` from `Hydroflow<'a>` struct

Small

ci(hydro_deploy): CI test hydro deploy iteself

> once we get these perf thingies merged in we should prob take some time to write some rust unit tests for hydro deploy behavior > > right now the...

testing

deploy

Large

Use trybuild-esque build process for Hydroflow+

To simplify the build process

hydroflow+

Large

feat(hydroflow_lang)!: change `state()` to output a stream of only de-duplicated items, fix #1291

FOR REFERENCE ONLY FOR NOW - NEEDS DESIGN DISCUSSION