Nadia Yvette Chambers
Nadia Yvette Chambers
Xilinx' Vivado tcl tool rejects some identifiers generated by clash because they contain '$', so this avoids generating such identifiers. Worked on at ZuriHac with @alex-mckenna Fixes #2242
This adds addition theorems, Pythagorean analogues, and derivatives where absent for cos, sin, cosh, sinh, and sn, cn, and dn in a new file in test/ -- Jacobi.hs derived from...
Update TraceStartLeadershipCheckPlus with fields to track the DRep count and DRep map size. Update LedgerQueries with methods to extract the information to fill TraceStartLeadershipCheckPlus with. Update forgeTracerTransform to go about...
# Description 1. Ensure .stylish-haskell.yaml is picked up properly. 2. Avoid descending into inappropriate subdirectories. 3. Pick up language extensions from the sub-projects' cabal files. Failures to parse source files...
**Template B: This PR does not modify behaviour or interface** 4.13 and older have fallen out of the support window. Hence this commit removes code only conditionally included for base...
# Description This passes -j flags down from MAKEFLAGS to nix and cabal to speed up builds for me. It also sets ERA=coay and there could be some wanting to...
# Description Anomalies were seen with 85% CPU span calculations. This is at least trying to figure out what's going on and explain it to everyone else. That said, it...