index
:
VIATRA-Generator
Attribute-Solver
Realistic-Generation-SURE
RealisticMetrics
Scope-PS-Refactor
V4transformation
Vampire-ArenB
Vampire-New
cardinality-counter
dreal-integration
hypergraphs
master
models20-measurements
smartgridgenerator
statecoding_new
web-demo
Mirror of https://github.com/viatra/VIATRA-Generator
Contributors to the VIATRA Generator project
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
Solvers
/
Vampire-Solver
/
ca.mcgill.ecse.dslreasoner.vampire.reasoner
/
xtend-gen
/
ca
/
mcgill
/
ecse
/
dslreasoner
/
vampire
/
reasoner
/
builder
Mode
Name
Size
-rw-r--r--
.Logic2VampireLanguageMapper.xtendbin
18151
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapperTrace.xtendbin
4581
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_ConstantMapper.xtendbin
3164
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_ContainmentMapper.xtendbin
11478
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_RelationMapper.xtendbin
6455
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_ScopeMapper.xtendbin
10180
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_Support.xtendbin
13048
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_TypeMapper.xtendbin
11135
log
stats
plain
blame
-rw-r--r--
.Vampire2LogicMapper.xtendbin
1720
log
stats
plain
blame
-rw-r--r--
.VampireHandler.xtendbin
4908
log
stats
plain
blame
-rw-r--r--
.VampireModelInterpretation_TypeInterpretation.xtendbin
1491
log
stats
plain
blame
-rw-r--r--
.VampireModelInterpretation_TypeInterpretation_FilteredTypes.xtendbin
1688
log
stats
plain
blame
-rw-r--r--
.gitignore
2150
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper.java
25968
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapperTrace.java
2628
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_ConstantMapper.java
1526
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_ContainmentMapper.java
21625
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_RelationMapper.java
6604
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_ScopeMapper.java
13078
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_Support.java
19901
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_TypeMapper.java
20917
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_TypeMapperTrace.java
157
log
stats
plain
blame
-rw-r--r--
Vampire2LogicMapper.java
129
log
stats
plain
blame
-rw-r--r--
VampireHandler.java
525
log
stats
plain
blame
-rw-r--r--
VampireModelInterpretation_TypeInterpretation.java
159
log
stats
plain
blame
-rw-r--r--
VampireModelInterpretation_TypeInterpretation_FilteredTypes.java
335
log
stats
plain
blame
-rw-r--r--
VampireSolutionModel.java
734
log
stats
plain
blame
-rw-r--r--
VampireSolverException.java
575
log
stats
plain
blame