Viewing all changes in revision 109.
- Committer: Jonas G
- Date: 2012-05-10 12:43:29 UTC
- Revision ID: launchpad@ftlog.net-20120510124329-833ud1wrhj0r5lal
Changes in all autotests
Fixes to models. Primarily model errors in RVC.
Changes in interval clocks and successor generator.
Proper comparison with interval clocks and discrete update method for IntervalDiscreteClock
Fixes to models. Primarily model errors in RVC.
Changes in interval clocks and successor generator.
Proper comparison with interval clocks and discrete update method for IntervalDiscreteClock
- files modified:
- opaal/lattices/interval_discrete_clock.py
expand all
collapse all
added
removed
