Static-analysis traces generated with Mopsa after rewriting the same source programs used by obtain_data into abstract-set/interval inputs and extracting the final overapproximation from a dedicated Mopsa hook.
Columns:
code: abstractized source code analyzed by Mopsa.
original_code: original source code without the Solution header.
trace_raw: cleaned Mopsa execution trace.
trace_seps: code/trace groups extracted from trace_raw.
dataset: source dataset name.
id:… See the full description on the dataset page:
https://huggingface.co/datasets/giovannidemuri/mopsa-set.
