Simmo Saan
Simmo Saan
Since #1029 is now done, it should be possible to clean up this TODO: https://github.com/goblint/analyzer/blob/3ad6b396681e0cb936eba09c4d7b6ebed882a0a2/src/analyses/base.ml#L2169-L2173
Verified Polyhedra Library is an OCaml library for polyhedra which has been extracted from a verified Coq implementation: * Paper: https://hal.science/hal-02100006 * OCaml library: https://github.com/VERIMAG-Polyhedra/VPL Mopsa has experimented with it...
SV-COMP has a new SoftwareSystems subcategory where we cannot parse any of the programs. For example: ```console $ ./goblint --conf conf/svcomp25.json --sets ana.specification ../sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 64bit ../sv-benchmarks/c /intel-tdx-module/tdg_servtd_wr__cover__success_havoc_memory.i [Warning]...
A simple `do`-`while` loop like ```c do { i++; } while (i < 10); ``` is converted to the following (according to Goblint's `justcil`): ```c { #line 6 while (1)...
This benchmark suite contains Aget 0.57 according to a README: https://github.com/mc-imperial/sctbench/blob/d59ab26ddaedcd575ffb6a1f5e9711f7d6d2d9f2/benchmarks/conc-bugs/aget-bug2/aget-devel/README#L1-L1 However, the seemingly-official repository for Aget is https://github.com/EnderUNIX/Aget and only mentions v0.4.1. Similarly, [the last working archived version of...
While working on OCaml 5.3 support, I noticed that the "Globals" scope was empty (but it should have some standard modules at least). Apparently since OCaml 5.2 this is broken.
### Checklist - [x] I have used the search function for [**OPEN**](https://github.com/AntennaPod/AntennaPod/issues) issues to see if someone else has already submitted the same feature request. - [x] I have **also**...
## Organisation - Estonian Name: Eesti Teadusinfosüsteem (ETIS) - English Name: Estonian Research Information System - Website: https://www.etis.ee/ ## Scope ETIS is used by Estonian researchers to maintain a CV/bibliography....