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
17671
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapperTrace.xtendbin
3140
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_ConstantMapper.xtendbin
3164
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_RelationMapper.xtendbin
8247
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_Support.xtendbin
9398
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_TypeMapper.xtendbin
3224
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_TypeMapperTrace_FilteredTypes.xtendbin
2742
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtendbin
9279
log
stats
plain
blame
-rw-r--r--
.Vampire2LogicMapper.xtendbin
7552
log
stats
plain
blame
-rw-r--r--
.VampireHandler.xtendbin
4907
log
stats
plain
blame
-rw-r--r--
.VampireModelInterpretation_TypeInterpretation.xtendbin
1490
log
stats
plain
blame
-rw-r--r--
.VampireModelInterpretation_TypeInterpretation_FilteredTypes.xtendbin
1691
log
stats
plain
blame
-rw-r--r--
.gitignore
1982
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper.java
25185
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapperTrace.java
1576
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_ConstantMapper.java
1526
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_RelationMapper.java
17930
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_Support.java
13117
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_TypeMapper.java
1519
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_TypeMapperTrace.java
157
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_TypeMapperTrace_FilteredTypes.java
1095
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java
16813
log
stats
plain
blame
-rw-r--r--
Vampire2LogicMapper.java
3243
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
760
log
stats
plain
blame
-rw-r--r--
VampireSolverException.java
575
log
stats
plain
blame