| Id | Summary | Notes | Move To |
|---|
| 42
|
attempt at implementing assignment postprocesses to nothing
Eric Peskin <peskin@eng.utah.edu>
Wed, 3 Mar 1999 14:47:57 -0700 (MST)
| Hao
Example now called erp.hse.
Removing self-loops during postprocess causes it to create incorrect graph.
|
|
43
1 followups
|
Segmentation Fault: my infamous lab3 example
Eric Peskin <peskin@eng.utah.edu>
Wed, 3 Mar 1999 14:56:35 -0700 (MST)
| Wendy
[See report 107]
|
|
| 45
|
non-loop process postprocesses to nothing
Eric Peskin <peskin@eng.utah.edu>
Wed, 3 Mar 1999 15:08:05 -0700 (MST)
| Hao
|
|
| 49
|
udding.csp deadlocks untimed and cores with posets.
Eric Peskin <peskin@eng.utah.edu>
Thu, 4 Mar 1999 13:31:17 -0700 (MST)
| Wendy
The session below runs the example first with Untimed AND THEN with Posets
( -mu -ya -ms -ya ) The highlights of the log are:
...
|
|
| 50
|
splitsemi.csp causes coredump with posets
Eric Peskin <peskin@eng.utah.edu>
Thu, 4 Mar 1999 13:40:34 -0700 (MST)
| Wendy
|
|
51
2 replies
2 followups
|
BUG.csp diverges during state space exploration
peskin@cs.utah.edu
Fri, 5 Mar 1999 14:14:01 -0700 (MST)
| Wendy
Example now called BUG.hse.
It works with geometric, but diverges for posets.
...
|
|
| 53
|
Storeg should dump init_state.
Eric Peskin <peskin@eng.utah.edu>
Fri, 5 Mar 1999 15:56:53 -0700 (MST)
| Chris
|
|
55
1 followups
|
error messages wrong in loadg
Eric Peskin <peskin@eng.utah.edu>
Fri, 5 Mar 1999 16:03:51 -0700 (MST)
| Chris
loadg can't even parse the output just written by storeg
...
|
|