eMoflon/emoflon-sygrav
1
0
Fork 0
mirror of https://github.com/eMoflon/emoflon-sygrav.git synced 2024-09-16 11:58:20 +00:00
Code Issues Projects Releases Packages Wiki Activity
Symbolic Graph Analysis and Verification tool by Frederick Deckwerth
8 commits 1 branch 0 tags 50 MiB
Java 74.5%
Python 11.4%
C 7.8%
C++ 6.3%
Find a file
Roland Kluge 2758fdb9c8 Use formatter 'Eclipse [built-in]'
2018-03-21 06:50:29 +01:00
de.tudarmstadt.maki.modeling.jvlc Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
de.tudarmstadt.maki.modeling.jvlc.specification Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.gervarro.democles.codegen.emf Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.gervarro.democles.codegen.velocity Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.gervarro.democles.common Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.gervarro.democles.compiler Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.gervarro.democles.emf Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.gervarro.democles.feature.compiler Import of SyGrAV 2017-10-05 08:15:37 +02:00
org.gervarro.democles.feature.dependencies Import of SyGrAV 2017-10-05 08:15:37 +02:00
org.gervarro.democles.feature.specification Import of SyGrAV 2017-10-05 08:15:37 +02:00
org.gervarro.democles.interpreter Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.gervarro.democles.interpreter.emf Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.gervarro.democles.plan Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.gervarro.democles.specification.emf Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.gervarro.util Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.democles.reachability.javabdd Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tests Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tests.cms Add missing EMF test metamodel and all missing files 2017-10-05 08:48:43 +02:00
org.moflon.maave.tests.lang.abc Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tests.lang.cms Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tests.lang.cmsNew Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tests.lang.enumlang Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tests.lang.featuremodel Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tests.lang.mnoq Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tests.lang.rbac Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tests.lang.tggcpa Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tests.lang.vwxyz Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tests.testgen.diachase Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tests.testgen.genfeaturemodel Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tests.testsuite Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tool Add missing EMF test metamodel and all missing files 2017-10-05 08:48:43 +02:00
org.moflon.maave.tool.analysis Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tool.analysis.acenforcment Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tool.analysis.confluence Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tool.category Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tool.graphtransformation Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tool.maaveutil Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tool.sdm.stptransformation Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tool.smt.constraintlib Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tool.smt.smtlib Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tool.smt.solverutil Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tool.smt.z3 Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tool.symbolicgraphs Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tool.symbolicgraphs.secondorder.constraints Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.tool.symbolicgraphs.secondorder.matching Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
org.moflon.maave.tool.symbolicgraphs.secondorder.transformation Ensure compatibility with eMoflon Tool 3 2018-03-20 14:40:00 +01:00
org.moflon.maave.wsconfig Use formatter 'Eclipse [built-in]' 2018-03-21 06:50:29 +01:00
.gitignore Add missing EMF test metamodel and all missing files 2017-10-05 08:48:43 +02:00
README.md Create README.md 2017-10-04 15:18:38 +02:00

README.md

SyGrAV - Symbolic Graph Analysis and Verification

by Frederick Deckwerth