Matthias Güdemann

git-imerge rebase does not sign commits despite `gpgsign = true` in `.git/config`

3

Thanks for `git-imerge` which is really great to reduce the pain of merge conflicts. For some repos I have the requirement that each commit must be signed. Unfortunately using `git...

Fixes typo in example for arithmetic circuits.

Problem with `stack test`

1

on current `master` (18e15deb2438287820664406c0840067c6ffa301) I get the following error on `stack test` ``` pairing > [10 of 11] Compiling Data.Pairing.Hash pairing > pairing > /tmp/stack-9ebfe010c6b08242/pairing-1.0.0/src/Data/Pairing/Hash.hs:48:12: error: pairing > • Could...

http error 403

5

I get `403` on all subreddits. Initially I though it was that the `old.reddit...` URLs are not accessible anymore, but copy/pasting for example `https://old.reddit.com/r/popular.json?count=25` into the browser does work. I...

Parametric ADT

2

For these constraints ``` (set-logic ALL) (set-option :produce-models true) (declare-datatypes ((Ptr 1)) ((par (T) ((null_ptr))))) ( declare-datatypes ( ( L 0 ) ) ( ( ( mk-L ( val (...

ADT constructor for update

4

Is there an equivalent to `update` (in CVC5) or `update-field` (in Z3) for ADTs in Princess? cf. https://github.com/Z3Prover/z3/discussions/5712