Skip to content
forked from asmeta/asmeta

asmeta main repository with code and examples

License

Notifications You must be signed in to change notification settings

GaloisInc/asmeta

 
 

Repository files navigation

asmeta

asmeta main repository with code and examples

Gitlab CI

Build Status Code Size LoC Issues Commit Activity Licence Licence

Latest Pipeline Run

Latest Coverage Result

Requirements

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

  • XText SDK >= 2.20
  • GEF Classic Zest SDK (for the visualizer)
  • Eclipse Plug-in Development Environment
  • JavaCC Eclipse Plug-in (optional)

https://asmeta.github.io/

eclispe with asmeta:

new version! - some improvements regarding the parsing and some minor bugs are fixed:

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

old versions

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

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

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

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

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

About

asmeta main repository with code and examples

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Java 60.1%
  • Assembly 30.6%
  • GAP 3.5%
  • Xtend 3.1%
  • C++ 2.5%
  • HTML 0.2%