Simmo Saan
Simmo Saan
https://developers.zenodo.org/#github links to "deposit JSON schema" which is now 404: https://zenodo.org/schemas/deposits/records/legacyrecord.json.
The non-semantic highlighting used to highlight format string conversion specifiers like `%a` in blue in the middle of the red-ish string literal. The semantic highlighting does not do that and...
`Ast_builder.Default.pexp_tuple`, etc. currently have a special case for the one-element list: https://github.com/ocaml-ppx/ppxlib/blob/6baf858275937bfafa05c8ce958f0e75ced00262/src/ast_builder.ml#L91-L99 I wonder if it makes sense to also have a special case for the empty list, degrading to...
Closes #1003. We can finally do this because mlgmpidl and apron have been released on opam for OCaml 5.0. ### TODO - [ ] Merge https://github.com/goblint/gobview/pull/26.
Builds on #1357. Adapts to change of YAML witness format schema. Ultimate has already made the change, so we need to to remain compatible. ### TODO - [ ] Also...
Previously ```c pthread_mutex_init(&mut, NULL); ``` resulted in a must dereference NULL pointer error because the pointer was always dereferenced. However, `NULL` is valid for default attributes, so this avoids the...
This is a quick implementation of the idea we had a long time ago for exporting our protected invariants into YAML witnesses with ghosts. #### protection privatization For the Freiburg...
This is an alternative optimized fix for #1374. This is extracted from the end of #1396.
Inspired by @michael-schwarz's rant, this issue is for possible ideas and discussions about improving `dune runtest` output from #1367. - [x] `update_suite`: instead of printing every executed test, print a...
Leftover from #1372: Cannot have `location_invariant` right before loop because we have no non-loop-head node there. This meant our existing witness tests had to be changed to `loop_invariant`s which make...