| Id | Summary | Notes | Move To |
|---|
| 4734
|
FEATURE: add atacs option to not project state graph
"Chris J. Myers" <myers@ece.utah.edu>
Fri, 17 Apr 2009 11:02:01 -0600
| LEMA 1.3
Chris
|
|
4744
1 replies
|
BUG: graph transformation problem with initial marking
"Chris J. Myers" <myers@ece.utah.edu>
Fri, 5 Jun 2009 08:55:04 -0600
| LEMA 1.3
Chris
|
|
| 4755
|
FEATURE: add a parameter editor to LEMA's verification view
"Chris J. Myers" <myers@ece.utah.edu>
Thu, 25 Jun 2009 11:57:47 -0600
| LEMA 1.3
Kevin
|
|
| 4757
|
FEATURE: Multiple Initial markings from different simulation traces
SATISH BATCHU <satish.batchu@utah.edu>
Mon, 6 Jul 2009 12:23:08 -0600
| LEMA 1.3
Satish
|
|
| 4759
|
FEATURE: Conflicting dmvc behaviors from different simulation traces
SATISH BATCHU <satish.batchu@utah.edu>
Mon, 6 Jul 2009 12:47:20 -0600
| LEMA 1.3
Satish
|
|
| 4760
|
FEATURE: Causal relation specification for getting accurate dmv
SATISH BATCHU <satish.batchu@utah.edu>
Mon, 6 Jul 2009 13:13:16 -0600
| LEMA 1.3
Satish
|
|
| 4767
|
FEATURE: Changes related to coverage
SATISH BATCHU <satish.batchu@utah.edu>
Fri, 10 Jul 2009 18:56:00 -0600
| LEMA 1.3
Satish
|
|
| 4769
|
BUG: atacs should not use .grf file extension as it is used for graphs in GUI
"Chris J. Myers" <myers@ece.utah.edu>
Thu, 27 Aug 2009 16:14:24 -0600
| LEMA 1.3
Chris
|
|