Simmo Saan

All EPL unscrambling is broken

5

EPL has changed their scrambling. Example cipher- and plaintexts: https://www.diffchecker.com/rsiul5zu

- GA tracking code - cookie secret

ZNC messages

2

ZNC uses the prefix `*[email protected]` for its messages but the `*status` nickname is not actually RFC conformant, which is what node-irc only accepts as a proper nickname in its parsing...

IRCv3.2 batch Extension

1

IRCv3.2 [`batch`](https://ircv3.net/specs/extensions/batch-3.2.html) capability is unsupported by WeeChat and there seems to be no issue tracking it either. While batches in general are not immediately useful, the `netsplit`/`netjoin` and `chathistory` batch...

BenchExec subprocess hangs in __malloc_fork_lock_parent

10

The following has happened to me twice now, so I guess it's not totally random. I've run Goblint on SV-COMP SoftwareSystems-DeviceDriversLinux64-ReachSafety via BenchExec with the following additional options: ``` --read-only-dir...

JSON-RPC request without params violates specification with null

3

When a JSON-RPC request without `params` (i.e. them being `null` in Java) is emitted, that gets written as `"params": null` instead of just omitting the `params` field from the output....

Port standard plugins to ppxlib registration and attributes

16

This realizes part of #250: 1. All the standard deriving plugins defined here are switched to register themselves directly with ppxlib and declare their attributes directly with ppxlib. 2. ~~Deprecates...

Fix ord on variants conflicting with `Result`

1

Closes #254. Besides `Error` also applies to `Ok`, coming from `Ppx_deriving_runtime`. Conceptually the fix is simple: just add a type constraint to the `to_int` function generated into the `wildcard_case` of...

Analogous to https://github.com/ocaml-ppx/ppx_deriving/pull/263. This doesn't necessarily depend on that PR, but some of the same criticism applies. ~~In particular the point about `[%derive.to_yojson: ...]` and `[%derive.of_yojson: ...]` being unsupported through...

PR #140 fixed multiple issues, so it would be nice to have a new release on opam-repository such that other packages depending on those fixes could also be published.