Pinned Repositories
a2l
A2L: A compiler for ATL based on AnATLyzer static analysis
anatlyzer
An static analyzer for ATL
anatlyzer.github.io
Website for AnATLyzer
beautyocl
Simplification of OCL expressions
anatlyzer's Repositories
anatlyzer/anatlyzer
An static analyzer for ATL
anatlyzer/a2l
A2L: A compiler for ATL based on AnATLyzer static analysis
anatlyzer/anatlyzer.github.io
Website for AnATLyzer
anatlyzer/beautyocl
Simplification of OCL expressions