GitHub - axel-simon/tvpi: Two-Variable-Per-Inequality abstract domain

axel-simon / tvpi Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Two-Variable-Per-Inequality abstract domain

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
interface		interface
src		src
tests		tests
AUTHORS		AUTHORS
BugLog		BugLog
COPYING		COPYING
ChangeLog		ChangeLog
INSTALL		INSTALL
Makefile.am		Makefile.am
NEWS		NEWS
README		README
compile		compile
config.h.in		config.h.in
config.sub		config.sub
configure.ac		configure.ac
install-sh		install-sh
missing		missing
mkinstalldirs		mkinstalldirs

Repository files navigation

This is the Two-Variables-Per-Inequality polyhedra library to be used
as an abstract domain in static analysis.

Please report problems to the author: [email protected]