Beast code in Giters

omainv's repositories

RELEASES HERE -> https://github.com/omainv/cseq/releases

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonApache-2.0000

:snake: Complete C99 parser in pure Python

Language:PythonNOASSERTION000

Collection of Verification Tasks

Language:C020