Changes
Summary
- Inserting explicit cast necessary for ATmega target. Because of a fluke (commit: 2d2f3b5) (details)
- fixed #50 (commit: e23e8f0) (details)
- Improvement to number operations so that the largest type gets returned (commit: 6fd06c9) (details)
- Fixed tests in accordance with reduced maximal type change. (commit: 79015eb) (details)
- Maximal type fix for vdmMod. (commit: ad34906) (details)