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
18008
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapperTrace.xtendbin
3708
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_ConstantMapper.xtendbin
3164
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_RelationMapper.xtendbin
8177
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_ScopeMapper.xtendbin
6096
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_Support.xtendbin
11367
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_TypeMapper.xtendbin
3223
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_TypeMapperTrace_FilteredTypes.xtendbin
2643
log
stats
plain
blame
-rw-r--r--
.Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtendbin
8565
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
2036
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper.java
25632
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapperTrace.java
2216
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_ConstantMapper.java
1526
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_RelationMapper.java
15650
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_ScopeMapper.java
5989
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_Support.java
17869
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
1022
log
stats
plain
blame
-rw-r--r--
Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java
10916
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