Neil Brown
|
3a5881c14f
|
Added an optional flag to the ESeq edge label, ready to be used to indicate whether a condition was true on this branch or not
|
2008-06-06 18:34:50 +00:00 |
|
Neil Brown
|
cbe460f306
|
Added a new part to UsageLabel for conditions in nodes, and added a new corresponding labelling function for nodes
|
2008-06-06 18:32:47 +00:00 |
|
Neil Brown
|
ac3d1ed42a
|
Reordered the type parameters for the FNode' type in the flow graph, and made it a functor over the label
|
2008-06-05 20:11:13 +00:00 |
|
Neil Brown
|
41ff60cb78
|
Removed the Rep constructor from Structured and instead added a Rep constructor to SpecType
This way, all replicators are declared like other names, and their scope is considered replicated. This simplifies the code a little.
Fixes #55
|
2008-06-04 17:00:43 +00:00 |
|
Neil Brown
|
4b6fa48cd3
|
Labelled some of the data type parameters better in the FlowUtils module
|
2008-06-01 17:58:01 +00:00 |
|
Neil Brown
|
0746219984
|
Added support for recording terminator nodes (as well as root nodes) while building the flow graph
|
2008-05-30 17:15:52 +00:00 |
|
Neil Brown
|
60eb320ee0
|
Separated FlowGraph into two modules (the new one being FlowUtils)
|
2008-05-23 14:52:25 +00:00 |
|