Ralf Vogler

Implicit vs. explicit defaults give different output

1

``` type t = { outfile : string option; includes : string list [@default []]; kernel_includes : string list; (* ... *) } [@@deriving yojson, create] let _ = print_endline...

to_yojson ?(omit_defaults=true)

6

It would be nice if one could also enable the output of default values.

I have gtm setup via brew on macOS and linuxbrew on WSL, but I can't install it on my Raspberry Pis (RPi3 with 32bit kernel, RPi4 with 64bit kernel). Both...

 The `'b` in the second case should also be bold. Version 0.6.26

highlight matched values for wildcard patterns

3

Minimal example of what I stumble upon from time to time: ``` ocaml type t = A | B | C (* ... *) let f = function | A...

`commentLine` should comment the whole line

2

`commentLine` on `let x = 1 (* foo *)` results in `let x = 1 foo` instead of the expected `(* let x = 1 (* foo *) *)`.

auto close comment

1

It would be nice if typing `(*` would give `(* | *)` instead of `(*|)`, but it looks like vscode's `autoClosingPairs` doesn't work with multiple characters.

Some cleanup, renaming, comments.

`--compare_runs` now segfaults

6

Comparing results from `--save_run` with `--compare_runs` worked fine before, but now it leads to segmentation faults. ~~~sh $ ./goblint -v --compare_runs out/coreutils/cksum_comb.c.always-side_widen out/coreutils/cksum_comb.c.cycle-side_widen coreutils/cksum_comb.c ... Unmarshalling out/coreutils/cksum_comb.c.always-side_widen/solver.marshalled... If type of...

use ppx to reduce boilerplate code

2

Use type-driven code generation to get rid of boilerplate (see [ppx_deriving](https://github.com/whitequark/ppx_deriving)): - [x] `yojson` for output of domains values (see #210) - [ ] `show` for output of domains values...