Skip to content

arcalab/lince

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
src
 
 
 
 
 
 
 
 
 
 
 
 

Lince Build Status

This prototype analyses hybrid programs using simulation based on symbolic evaluation (via SageMath) and estimation of approximation errors caused by small perturbations.

You can try it online using the link below, or install it on your computer (instructions below).

Lince is developed in Scala, and uses ScalaJS to generate JavaScript. It is developed as one of the sub-modules of ReoLive (https://github.com/ReoLanguage/ReoLive).

Local installation of Lince

git clone git@github.com:ReoLanguage/ReoLive.git
cd ReoLive
  • Pull the git submodules (which will include Lince):
git submodule update --init
  • Use your favourite editor to edit the path to SageMath executables in:
global.properties
  • Run the compilation script:
./compile.sh
  • During development you can recompile faster using sbt fastOptJS.

How to run the framework

  • Start the server using sbt
sbt server/run
  • Open localhost:9000 in a browser
open http://localhost:9000#lince
  • Alternatively, open in a browser the local html file site/lince.html (or site/index.html)
open file/lince.html

About

Hybrid Programming - a Scala library to specify and analyse hybrid programs

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages