GitHub - Wessbas/synoptic

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.settings		.settings
META-INF		META-INF
input		input
lib		lib
output		output
src		src
test-output		test-output
.checkstyle		.checkstyle
.classpath		.classpath
.gitignore		.gitignore
.project		.project
Licence.md		Licence.md
build.properties		build.properties
daikonizer_1427034238433.dtrace		daikonizer_1427034238433.dtrace
daikonizer_1427034240123.dtrace		daikonizer_1427034240123.dtrace
daikonizer_1427034241156.dtrace		daikonizer_1427034241156.dtrace
pom.xml		pom.xml
readme.txt		readme.txt

Repository files navigation

INTRODUCTION
------------

Synoptic (url) project by Ivan Beschastnikh et. al. including extension for a new invariant type CntAlwaysEqualsGreaterInvariant.
This project is needed as dependency by the project wessbas.modelgenerator to generate the invariants which
are used to generate guards and actions.