PRINCIPIA
ProductsAbout Us

SyncStitch: A Tool for Designing Concurrent Systems

History

Version 2.0.4  2018/10/28

for Linux version

Version 2.0.3  2018/07/23

adjust the high DPI mode on Microsoft Windows 10.

Version 2.0.2  2018/07/19

fix the problem that CR (0x0D) codes are inserted into text when paste.

Version 2.0.1  2018/07/17

fix the problem that wrong values are shown in the Env window in some cases.

Version 2.0.0  2018/07/16

release