diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-02-01 14:29:16 +0100 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-02-01 14:29:16 +0100 |
commit | 94107f140402b3d63f17b3c4727b3cc8c3752082 (patch) | |
tree | 71f73dace064335609466f57566314cab433f295 /Solvers/SMT-Solver | |
parent | Type coloring (diff) | |
download | VIATRA-Generator-94107f140402b3d63f17b3c4727b3cc8c3752082.tar.gz VIATRA-Generator-94107f140402b3d63f17b3c4727b3cc8c3752082.tar.zst VIATRA-Generator-94107f140402b3d63f17b3c4727b3cc8c3752082.zip |
Eclass trace notation changed from "[X]" to "<X>".
Diffstat (limited to 'Solvers/SMT-Solver')
0 files changed, 0 insertions, 0 deletions