Simmo Saan
Simmo Saan
If `t` isn't recursive (and thus its derived `equal` isn't recursive), then you should be able to just do ```ocaml type 'a t = Thing [@@deriving eq] let equal =...
I suspect this reveals why such support wouldn't fully work. Even if for `type 'a t = Thing` we derive `val equal: 'a t -> 'a t -> bool`, then...
@mutilin Since you know the structure of these benchmarks better than I do, could you open a PR to put the missing initialization to some appropriate place which would restore...
It might very well be true that all such locations are unreachable, but as is, nothing about the benchmarks is requiring a verifier to prove that they are actually unreachable....
Actually in ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i seems reachable as well, although likely only due to LDV modelling. There `__builtin_unreachable` is reachable (at least when inline ASM isn't to be analyzed) in the following...
What value do you have set for `colorize_nicks.look.greedy_matching`? By default it is `on but I've found `off` to work better in general, maybe that also fixes this. Also what value...
I'm not sure if `/url set` has ever been a real thing but the options in question are just like any other. You can modify them using `/set` and they're...
I'm aware, but usually that simply means tomorrow's data is also empty, which is useful for charts. There's no use to tomorrow's data being a copy of today's if it's...
I was surprised to also get this error when just trying to publish the distribution archive _without documentation_ (`dune-release publish distrib`). Apparently it still looks at the `doc` field and...
> * Which version of dune-release are you running? 1.5.2 > * Which dune-release command were you running? I think it applies to most the steps: `tag` wants to read...