AbsInt

AbsInt's repositories

The CompCert formally-verified C compiler

Language:CoqNOASSERTION1796 64 277

PDF Help Viewer

Language:C++GPL-2.08 50

static analysis benchmarks from Toyota ITC

Language:CNOASSERTION8 50

APP4MC plugin

Language:JavaMIT2 30

A small test suite for the CompCert C verified compiler

Language:CGPL-2.0100

@AbsInt's work-in-progress changes for picolibc. We recommend using the official repository:

Language:CGPL-2.01 40

AbsInt releases of the CompCert formally-verified C compiler

050

@AbsInt's work-in-progress changes to The Meson Build System - please use the upstream repository at https://github.com/mesonbuild/meson

Language:PythonApache-2.0030

Qt 6.x Sources for AbsInt Tools

Language:C++050