Simmo Saan
Simmo Saan
This is a prototype implementation of an analysis which can split the state by arbitrary (integer) expressions and be path-sensitive w.r.t. those split states. For the purposes of this prototype,...
I just merged `master` into `interactive` and now there are two failures due to the combination of partitioned arrays and int annotations: ``` Expected assert, but registered unknown on 22_01-simple_array:51...
BenchExec allows tools to output special values that can easily be shown as additional columns in the tables: > Overwriting the function `get_value_from_output` will allow you to add `` tags...
When converting `CITATION.cff` containing ``` license: MIT ``` to `.zenodo.json`, the resulting file contains ```json "license": { "id": "MIT" } ``` According to [Zenodo documentation about the file](https://developers.zenodo.org/?python#add-metadata-to-your-github-repository-release): * [The...
[As it came up on discuss](https://discuss.ocaml.org/t/format-conversion-doesnt-support-padding/10437/3?u=sim642), both the documentation and implementation of `-strict-formats` claim that the strict behavior is to become the default: https://github.com/ocaml/ocaml/blob/949e2626c22b5fe8159cb29d47207d5621eabf90/manual/src/cmds/unified-options.etex#L691-L694 https://github.com/ocaml/ocaml/blob/cce52acc7c7903e92078e9fe40745e11a1b944f0/stdlib/camlinternalFormat.mli#L75-L80 The latter comment is 8...
While trying to maximize the margin and max indent of `Format` to practically disable hard wrapping (but still make use of boxes, etc), I stumbled upon the following problem where...
The option currently applies to only dependency version constraints according to the man page: ``` --ignore-constraints-on[=PACKAGES] (default=) Forces opam to ignore version constraints on all dependencies to the listed packages....
Currently, if required files are missing, only a warning is printed: https://github.com/sosy-lab/benchexec/blob/2b5d1fb2d1a806da397af528e79412a74aa2cda1/benchexec/model.py#L400-L404 But the tool is executed nevertheless. Is there any reason to still execute the tool in such cases?...
Closes #980. This works on the example profile from the issue. Also, thanks for the great tool! I regularly use it to analyze perf profiles of OCaml programs. Since they...
Part of issue #317. This is exactly as in ppx_deriving, just in a `Mangle` submodule for slightly better organization (like #95 went to `Quoter`). [ppx_show contains analogous port of these...