- Mar 05, 2025
-
-
Ben Gamari authored
100 tests is entirely insufficient to achieve reasonable coverage.
-
Ben Gamari authored
-
Ben Gamari authored
Otherwise multiple parallel runs may race with one another.
-
- Mar 04, 2025
-
-
Ben Gamari authored
This implements the start of #14, introducing a predicate to determine whether an `Expr` has a well-defined value. We aren't currently using it in the `Arbitrary` instance.
-
Ben Gamari authored
-
Ben Gamari authored
Previously the generator check to avoid signed overflows applied even if we were generating an unsigned division.
-
Ben Gamari authored
Fixes #8.
-
- Feb 17, 2025
-
-
Ben Gamari authored
-
- Dec 17, 2024
-
-
Ben Gamari authored
Older cabal-install versions suffered from a bug where cmm-sources were not included in linking of executables. We previously hacked around this by injecting the flag into the link via `ghc-options`. This has been fixed in `cabal-install-3.12.1.0` so we can drop the hack.
-
- Jul 18, 2024
-
-
Matthew Pickering authored
-
- Jul 01, 2024
-
-
Andreas Klebinger authored
-
Andreas Klebinger authored
Also use -fPIC when compiling cmm, in edge cases the assembler trips up otherwise.
-
- Jun 20, 2024
-
-
- Jun 17, 2024
-
-
Andreas Klebinger authored
-
- Nov 02, 2023
-
-
Andreas Klebinger authored
By respecting/passing the return width instead of always widening to platform width.
-
- Oct 11, 2023
-
-
- Aug 14, 2023
-
-
Ben Gamari authored
-
Ben Gamari authored
Shuffle implementation around to better isolate it and leave some zeros at the beginning we have an easily-available identity for addition.
-
Ben Gamari authored
-
Ben Gamari authored
-
Ben Gamari authored
-
Ben Gamari authored
This is frequently needed.
-
Ben Gamari authored
-
Ben Gamari authored
Track process results purely, makely it easier to see where failure should be handled. The one exception here is `Interpreter`, which still handles divergence via exceptions.
-
- Aug 01, 2023
-
-
Jaro Reinders authored
-
Jaro Reinders authored
-
Jaro Reinders authored
-
- Jul 31, 2023
-
-
Ben Gamari authored
-
Ben Gamari authored
-
Ben Gamari authored
-
Ben Gamari authored
-
Ben Gamari authored
-
Ben Gamari authored
-
Ben Gamari authored
-
Ben Gamari authored
-
Ben Gamari authored
-
Ben Gamari authored
This will hopefully provide some indication whether MO_MulMayOflo is excessively conservative.
-
- Jul 19, 2023
-
-
Matthew Pickering authored
-
Matthew Pickering authored
This adds support for running pipelines from upstream jobs in ghc/ghc
-
- Jul 05, 2023
-
-
Ben Gamari authored
Fix non-emulated case in simple See merge request !15
-