Search results

The website in the readme no longer works

Status: Open.

#67 In MyersResearchGroup/LEMA;

· JMante1 opened on Nov 24, 2020

NPE on model verification

Status: Open.

#66 In MyersResearchGroup/LEMA;

· vdubikhin opened on Apr 23, 2018

Remove all non-LEMA specific GUI functions from Gui.java

Status: Open.

#65 In MyersResearchGroup/LEMA;

· cjmyers opened on Jun 9, 2017

FEATURE: add support break always on level change

Status: Open.

#64 In MyersResearchGroup/LEMA;

· cjmyers opened on Nov 8, 2016

FEATURE: zone model checker must show state graph

Andrew

LEMA

Needstesting

Status: Open.

#63 In MyersResearchGroup/LEMA;

· buggsley opened on Nov 7, 2016

·  

3.0

CHANGE: lpn in atacs/examples cannot import

LEMA

Needstesting

Status: Open.

#62 In MyersResearchGroup/LEMA;

· buggsley opened on Nov 7, 2016

·  

3.0

CHANGE: verification view to use XML files

LEMA

Needstesting

Status: Open.

#61 In MyersResearchGroup/LEMA;

· buggsley opened on Nov 7, 2016

·  

3.0

CHANGE: create/open learn views in LEMA

LEMA

Needstesting

Status: Open.

#60 In MyersResearchGroup/LEMA;

· buggsley opened on Nov 7, 2016

·  

2.0

BUG: integrator data learn creates exeception

LEMA

Needstesting

Status: Open.

#59 In MyersResearchGroup/LEMA;

· buggsley opened on Nov 7, 2016

·  

2.0

FEATURE: allow access to elements in other projects

BioSim

GUI

LEMA

Status: Open.

#58 In MyersResearchGroup/LEMA;

· buggsley opened on Nov 7, 2016

·  

2.0

FEATURE: add support for directories within projects

BioSim

GUI

LEMA

Status: Open.

#57 In MyersResearchGroup/LEMA;

· buggsley opened on Nov 7, 2016

·  

2.0

FEATURE: scatter plot over runs

BioSim

GUI

LEMA

Status: Open.

#56 In MyersResearchGroup/LEMA;

· buggsley opened on Nov 7, 2016

·  

2.0