Sirui Lu
Sirui Lu
The `runTaskGroup` function can crash with a "Match Exception" error when an async task is created and cancelled before it is scheduled to run. This issue can lead to unexpected...
Hello, I compiled the HEAD version of highway (commit: 3cb5c1ae3f9adbf69226f2231791895765a5869b) with a recent snapshot of clang-19 (commit: [`44af53b`](https://github.com/llvm/llvm-project/tree/44af53b22aaa1fe382b22329bbc7e4610ecbacc8)), and I got failed tests. The tests were run on qemu-riscv, and...
This pull request adds an optimized implementation of the `Lt128` operator for RVV targets. The new implementation is synthesized using a program synthesizer. The main computations use LMUL 1/8, which...
This pull request adds refinement to the cegis procedure. This is useful when we are implementing a cegis procedure with a cost model. The cegis will now try to synthesize...
This pull request adds the necessary constructs, instances, and mrg variants for microlens combinators for using microlens with Grisette.
This pull request standardizes the constraints for `*1` classes as described in https://github.com/haskell/core-libraries-committee/issues/10. Resolves #124.
We should align the `*1` classes with the change to the `Eq1` and `Ord1` instances in `base-4.18` (GHC-9.6). The change in `base` is described in https://github.com/haskell/core-libraries-committee/issues/10.
Currently Grisette provides a limited set of wrappers for the library monadic functions to help keep the result merged. We should add more wrappers, e.g., for `StateT`.
Suppose we have a type: ```haskell data AST = Add (UnionM AST) (UnionM AST) | Mul (UnionM AST) (UnionM AST) | Lit SymInteger deriving (Show, Generic) deriving (Mergeable) via (Default...
We need a way to convert from integer/int to bit vectors. An additional bit size parameter is needed so `fromInteger` does not work here.