DavideMonesi / asmeta

asmeta main repository with code and examples

Geek Repo

Github PK Tool

asmeta

asmeta main repository with code and examples

Gitlab CI

Latest Pipeline Run

Latest Coverage Result

Requirements

To use the asmeta framework in Eclipse IDE you need to install:

Zest SDK 1.7
XText SDK >= 2.20
Eclipse Plug-in Development Environment
JavaCC Eclipse Plug-in

https://asmeta.github.io/

eclispe with asmeta:

https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2021_03.zip

About

asmeta main repository with code and examples

Eclipse Public License 2.0

Languages

Language:Assembly 75.6%Language:Java 21.6%Language:GAP 1.3%Language:Xtend 1.2%Language:C++ 0.2%Language:HTML 0.1%Language:Shell 0.1%Language:Limbo 0.0%Language:Batchfile 0.0%