Nico Naus

Type error on HighParam assignment

1

Hi, I tried to use the scripts in this repo to dump PCode, but I can't get the script to compile, I get the following error: PCodeDumpSF.java:509: error: incompatible types:...

Unable to install on M1/M2 Mac

1

I'm running into issues installing Haskell z3 on my m2 MacBook. I've ran the following commands: ``` brew install z3 cabal install z3 --lib ``` This results in the following...

It seems that microsoft has changed the url containing the Z3 documentation, breaking the links in the Haskell Z3 module documentation. For example: [https://hackage.haskell.org/package/z3-408.2/docs/Z3-Monad.html#v:mkTrue](https://hackage.haskell.org/package/z3-408.2/docs/Z3-Monad.html#v:mkTrue) Points to: [http://research.microsoft.com/en-us/um/redmond/projects/z3/group__capi.html#gae898e7380409bbc57b56cc5205ef1db7](http://research.microsoft.com/en-us/um/redmond/projects/z3/group__capi.html#gae898e7380409bbc57b56cc5205ef1db7 ) Which leads...

Unable to run judgedeamon as a service, documentation seems to be incorrect

1

### Description of the problem When trying to run the judgehost deamon as a service, I get an error. ### Your environment - DOMjudge version 8.3.0 - Operating system Ubuntu...