issues
search
MyersResearchGroup
/
LEMA
Apache License 2.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
The website in the readme no longer works
#67
JMante1
opened
3 years ago
1
NPE on model verification
#66
vdubikhin
opened
6 years ago
1
Remove all non-LEMA specific GUI functions from Gui.java
#65
cjmyers
opened
7 years ago
0
FEATURE: add support break always on level change
#64
cjmyers
opened
7 years ago
0
FEATURE: zone model checker must show state graph
#63
buggsley
opened
7 years ago
0
CHANGE: lpn in atacs/examples cannot import
#62
buggsley
opened
7 years ago
1
CHANGE: verification view to use XML files
#61
buggsley
opened
7 years ago
0
CHANGE: create/open learn views in LEMA
#60
buggsley
opened
7 years ago
0
BUG: integrator data learn creates exeception
#59
buggsley
opened
7 years ago
0
FEATURE: allow access to elements in other projects
#58
buggsley
opened
7 years ago
0
FEATURE: add support for directories within projects
#57
buggsley
opened
7 years ago
0
FEATURE: scatter plot over runs
#56
buggsley
opened
7 years ago
0
FEATURE: present typical behavior in TSD grapher
#55
buggsley
opened
7 years ago
0
CHANGE: potential problem with sweep separator
#54
buggsley
opened
7 years ago
0
FEATURE: Subplots for the TSD graph display
#53
buggsley
opened
7 years ago
1
BUG: cannot import directories using FileDialog
#52
buggsley
opened
7 years ago
1
FEATURE: add support for error bars in grapher
#51
buggsley
opened
7 years ago
1
CHANGE: tsd grapher should group species within components
#50
buggsley
opened
7 years ago
0
FEATURE: Create a LEMA tutorial
#49
buggsley
opened
7 years ago
1
FEATURE: add a software license
#48
buggsley
opened
7 years ago
0
BUG: verification assumes there is a delay always need to fix this
#47
buggsley
opened
7 years ago
0
FEATURE: Let the VHDL compiler report transitions compiled from if statements
#46
buggsley
opened
7 years ago
0
CHANGE: allow undefined variables in expressions
#45
buggsley
opened
7 years ago
0
CHANGE: Make all compiled LPN transitions persistent for a pair of send and receive
#44
buggsley
opened
7 years ago
0
Re: CHANGE: Differentiate delay assignments between immediate and non-immediate transitions
#43
buggsley
opened
7 years ago
0
Re: CHANGE: Differentiate delay assignments between immediate and non-immediate transitions
#42
buggsley
opened
7 years ago
0
Re: CHANGE: Differentiate delay assignments between immediate and non-immediate transitions
#41
buggsley
opened
7 years ago
0
BUG: VHDL compiler allows undefined signals
#40
buggsley
opened
7 years ago
0
Re: CHANGE: Differentiate delay assignments between immediate and non-immediate transitions
#39
buggsley
opened
7 years ago
0
CHANGE: drop transitions with enabling true
#38
buggsley
opened
7 years ago
0
FEATURE: Add support for generics in the VHDL compiler
#37
buggsley
opened
7 years ago
0
CHANGE: Remove overly parenthesized LPN expressions generated from the VHDL compiler
#36
buggsley
opened
7 years ago
0
CHANGE: Make net transformations preserve data for the VHDL compiler
#35
buggsley
opened
7 years ago
0
FEATURE: Compile data for VHDL expressions
#34
buggsley
opened
7 years ago
1
CHANGE: Differentiate delay assignments between immediate and non-immediate transitions
#33
buggsley
opened
7 years ago
0
CHANGE: Compile a VHDL assertion to a failure transition
#32
buggsley
opened
7 years ago
1
FEATURE: support to send constant on a channel
#31
buggsley
opened
7 years ago
0
BUG: VHDL compiler does not handle random assignments
#30
buggsley
opened
7 years ago
2
BUG: VHDL compiler drops signal initial value
#29
buggsley
opened
7 years ago
1
CHANGE: reals in property should not allow equals
#28
buggsley
opened
7 years ago
0
BUG: VHDL compiler does not allow "input" to be a port ID
#27
buggsley
opened
7 years ago
0
BUG: buck converter example has problem with model generation
#26
buggsley
opened
7 years ago
0
CHANGE: combine analysis and verification views
#25
buggsley
opened
7 years ago
1
FEATURE: error trace as TSD file
#24
buggsley
opened
7 years ago
0
CHANGE: property compiler should generate SBML
#23
buggsley
opened
7 years ago
2
BUG: Wrong initial values on DMVs from model generation
#22
buggsley
opened
7 years ago
0
FEATURE: removing a range of places.
#21
buggsley
opened
7 years ago
1
CHANGE: fix the labels on model learn view
#20
buggsley
opened
7 years ago
0
BUG: interpolate illegal for continuous varialbles
#19
buggsley
opened
7 years ago
0
BUG: problems with ranges on discrete variables
#18
buggsley
opened
7 years ago
1
Next