Simmo Saan
Simmo Saan
This is on top of #1496. It's been a while since we've last upgraded our locked opam dependencies. ### TODO - [ ] Fix Gobview. I don't know what the...
Yojson now has JSON5 support: https://github.com/ocaml-community/yojson/pull/152. This would give support for comments and trailing commas. The annoying thing about JSON5 is that Microsoft and VSCode seem to be immune to...
Closes #1301. Most of this is just adding YAML witness `violation_sequence` parsing support and adapting the parsing of locations in YAML witnesses to allow for fields which the updated 2.0...
In #1448 we bumped our OCaml lower bound from 4.10 to 4.14. This gives access to new language and standard library features that we could exploit. Below is a list...
Part of #1477. The `Stdlib` version is more readable and less error-prone because the `prefix`/`suffix` is a labeled argument, so there's no ambiguity which way the two string arguments are...
This is on top of #1500. It is a continuation of #1430. The fix from #1500 made it possible to replace the remaining usages of addresses with mvals with definite...
The pinned performance optimizations have finally been released on opam, so we can get rid of the pin. ### TODO - [ ] Merge GobView lock file update.
Extracted from #1392: > Remove `TODO` _only if_ passing thanks to analysis improvement. Otherwise improvement is unsound from a bug. #### update_suite incremental ast - [ ] Excellent: ignored check...
Based on the delayed widening from #1483, we could easily implement a domain lifter for narrowing that applies `meet` at most a fixed number of times. This makes it possible...
On our pthread bench programs, I've already found via `git bisect` two regressions caused by #1048: 1. e94b0cce9a15ebbd5a20f063dcf08ba8a17289da causes aget_comb evals to go from 7138 to 7932. 2. 52fea5d72beabc85fb6c522b957965e9f0e1d24e causes...