Skip to content
/ MARGe Public
forked from Dtinas10/MARGe

Tool for the analysis of reactive systems (LTS where transitions are (de)activated as a side-effect of executing a transition).

Notifications You must be signed in to change notification settings

FM-DCC/MARGe

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

56 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Animator of Multi Action Reactive Graphs (MARGe)

Run a snapshot of this tool in https://fm-dcc.github.io/MARGe

Tutorial Video: https://www.dropbox.com/scl/fo/cm0tw42zlebqqzh7s054a/h?rlkey=urd0z5ern6akgkc3l8dqq8l7c&dl=0

Caos

This project uses and the Caos's framework, placed at lib/caos. More information on it can be found online:

The project can also be included as a submodule, as explained in the documentation of Caos.

Requirements

  • JVM (>=1.8)
  • sbt

Compilation

You need to get the submodules dependencies (CAOS library), and later compile using ScalaJS, following the steps below. The result will be a JavaScript file that is already being imported by an existing HTML file.

  1. git submodule update --init
  2. sbt fastLinkJS
  3. open the file lib/tool/index.html

About

Tool for the analysis of reactive systems (LTS where transitions are (de)activated as a side-effect of executing a transition).

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Scala 100.0%