← Back to branch summary

~jonathan-r-beaumont/workcraft/trunk-bug-1537854

~jonathan-r-beaumont/workcraft/trunk-bug-1537854

Viewing all changes in revision 703.

Committer: Danil Sokolov
Date: 2016-01-02 22:46:33 UTC
Revision ID: danilovesky@gmail.com-20160102224633-1es3590xmyqmgcey

https://launchpad.net/bugs/1530480

Substitute the internal signals with dummies for the purpose of circuit conformation check.

files modified:
CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitStgUtils.java

CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java

STGPlugin/src/org/workcraft/plugins/stg/STG.java

STGPlugin/src/org/workcraft/plugins/stg/StgUtils.java

Show diffs side-by-side

added added

removed removed

CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitStgUtils.java

CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java

DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java

STGPlugin/src/org/workcraft/plugins/stg/STG.java

STGPlugin/src/org/workcraft/plugins/stg/StgUtils.java

Older »