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
18099
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapperTrace.xtendbin
5080
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_ConstantMapper.xtendbin
3164
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_ContainmentMapper.xtendbin
11807
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_RelationMapper.xtendbin
7934
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_ScopeMapper.xtendbin
10676
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_Support.xtendbin
13060
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_TypeMapper.xtendbin
11037
log
stats
plain
blame
-rw-r--r--
.Vampire2LogicMapper.xtendbin
3950
log
stats
plain
blame
-rw-r--r--
.VampireHandler.xtendbin
6882
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
26293
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapperTrace.java
3122
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_ConstantMapper.java
1526
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_ContainmentMapper.java
22346
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_RelationMapper.java
11365
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_ScopeMapper.java
15205
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_Support.java
19960
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_TypeMapper.java
20776
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_TypeMapperTrace.java
157
log
stats
plain
blame
-rw-r--r--
Vampire2LogicMapper.java
2288
log
stats
plain
blame
-rw-r--r--
VampireHandler.java
3034
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--
VampireSolverException.java
575
log
stats
plain
blame