someplaceguy
someplaceguy
## Environment * OS: NixOS 23.05 * age version: 1.1.1 ## What were you trying to do Trying to run tests as part of the package's build process. ## What...
I had a SILE document and was trying to see how it would look with a different font (Roboto Slab). Surprisingly, the `\em{}` portions of the document stopped being italicized....
If you have a git repository that contains a file that is committed but matches a `.gitignore` rule, it will be checked out by `git` but not by `gitignore.nix`. Example...
I'm running into an issue where both `intLib.ARITH_PROVE` and `intLib.COOPER_PROVE` are failing to prove certain goals, even though it seems like they should be able to handle them. Here are...
**Describe the bug** When building `gdu` on NixOS 24.05, which runs gdu tests, I've observed the following test failure: ``` --- FAIL: TestStoredAnalyzer (2.12s) stored_test.go:64: Error Trace: /build/source/pkg/analyze/stored_test.go:64 Error: Not...
I've noticed that `RealField.REAL_ARITH_TAC` is unable to prove certain goals which naively I would've expected it to prove: 1. `-1r / x + -1 * (1 / (-1 * x))...
I've observed `Thm.SPEC` taking an unreasonable amount of time to complete in certain conditions experienced during the replay of a Z3 proof certificate which contains terms that, while containing a...
The former, unlike the latter, avoids traversing the entire term, which can take exponentially long in certain degenerate conditions observed while replaying certain Z3 proof certificates. Unfortunately, this only fixes...
Hi, I'm running into an incompatibility between HOL and the way Nix works. After building a Nix package (such as HOL), Nix installs the package to a directory tree that...
When building the HOL `trindemossen-2` release in 32-bit mode, the following build failure occurred, which was did not occur with the `trindemossen-1` release: ``` Building directory src/portableML/rawtheory [27 Sep, 12:34:37]...