Pinned Repositories
trainbenchmark
The Train Benchmark framework for evaluating incremental model validation performance
haec
racr
RACR: Scheme metacompiler library based on reference attribute grammar controlled rewriting
racr-mquat
Combination of Multi-Quality Auto-Tuning (MQuAT) and Reference Attribute Controlled Rewriting (RACR).
trainbenchmark
The Train Benchmark framework for evaluating incremental model validation performance
ttc2018liveContest
The repository for the TTC 2018 Live Contest
ttc2018liveContest
The repository for the TTC 2018 Live Contest
ttc2019-tt2bdd
Free form TTC contest (Truth tables to Binary Decision Diagrams, from ATL Zoo)
rene-schoene's Repositories
rene-schoene/haec
rene-schoene/racr
RACR: Scheme metacompiler library based on reference attribute grammar controlled rewriting
rene-schoene/racr-mquat
Combination of Multi-Quality Auto-Tuning (MQuAT) and Reference Attribute Controlled Rewriting (RACR).
rene-schoene/trainbenchmark
The Train Benchmark framework for evaluating incremental model validation performance
rene-schoene/ttc2018liveContest
The repository for the TTC 2018 Live Contest