Simmo Saan

OCaml module name literally not found

1

**Describe the bug** Pattern with literal OCaml module name doesn't match it in code. Even normal `grep` would find it... **To Reproduce** https://semgrep.dev/playground/s/Gx6Dn **Expected behavior** All four instances of `Json_repr.Yojson`...

Install with `--dry-run` wiped opam files for installed packages that are no longer available

1

While trying to upgrade dune from 3.16.0 to 3.19.1 I ran `opam install --dry-run dune.3.19.1` and was trying to figure out why it wanted to do some seemingly-unrelated upgrades (which...

Too many open files

6

I just came back to a BenchExec run which seems to have crashed after a long series of "too many open files" errors from various places. Here's the dump of...

Table Min:Max filter produces unexpected results due to rounded values

3

Consider this unfiltered table from SV-COMP 2025: https://sv-comp.sosy-lab.org/2025/results/results-verified/goblint.2024-11-29_20-22-51.results.SV-COMP25_unreach-call.ReachSafety-Fuzzle.xml.bz2.fixed.xml.bz2.table.html#/table. With CPU time filter `961:` it still shows results with CPU time 960: https://sv-comp.sosy-lab.org/2025/results/results-verified/goblint.2024-11-29_20-22-51.results.SV-COMP25_unreach-call.ReachSafety-Fuzzle.xml.bz2.fixed.xml.bz2.table.html#/table?filter=0(4*cpu*(value(961%3A))). Only with filter `962:` these get filtered out:...

Builtin file browser search is broken

2

In `~/Downloads`, when searching for "these", sioyek shows: However, when searching for "Halbw" in the same directory, it shows: Both of the latter file names contain "these" but weren't found...

`breaklines` causes different spacing with some `frame`s

2

```latex \documentclass{article} \usepackage{minted} \begin{document} \section*{lines} \begin{minipage}{3cm} \begin{minted}[frame=lines,breaklines=false]{C} int main() { return 0; } \end{minted} \end{minipage} \begin{minipage}{3cm} \begin{minted}[frame=lines,breaklines=true]{C} int main() { return 0; } \end{minted} \end{minipage} \section*{single} \begin{minipage}{3cm} \begin{minted}[frame=single,breaklines=false]{C} int main()...

`escapeinside` strips leading/trailing newlines

2

```latex \documentclass{article} \usepackage{minted} \setminted{linenos,frame=single} \begin{document} Without \verb|escapeinside|: \begin{minted}{c} LINE \end{minted} With \verb|escapeinside|: \begin{minted}[escapeinside=||]{c} LINE \end{minted} \end{document} ``` produces

Broken hyperlink to `\label` inside `\footnote` inside `minipage`

1

Consider this document: ```latex \documentclass{article} \usepackage{float} \usepackage{booktabs} \usepackage{hyperref} \begin{document} \section{minipage} \begin{table}[H] \begin{minipage}{\linewidth} \centering \begin{tabular}{ccc} \toprule X\footnote{\label{minipage}minipage} & \footnote{other} & X\footref{minipage} \\ \bottomrule \end{tabular} \end{minipage} \end{table} \end{document} ``` Here the `\footref`...

> Looks like a [Pygments](https://github.com/pygments/pygments) issue. > > ``` > $ cat minted-gh460-escapeinside.txt > > LINE > > $ pygmentize -f latex -P stripnl=false minted-gh460-escapeinside.txt > \begin{Verbatim}[commandchars=\\\{\}] > > LINE...

The `-x` option allows custom lexers (`-l`) and formatters (`-f`) from files. But it seems that filters (`-F`) cannot come from custom files. Would it be possible to allow that...