Announcements

Merging Declare and CPN Tools

Merging Declare and CPN Tools

As you may or may not know, I’m maintaining both Declare and CPN Tools.  I would like to make some improvements to Declare, and instead of struggling with the Declare Editor, which is a bit annoying to work with for many tasks, I decided to instead integrate Declare functionality into CPN Tools. This means that […]

By August 14, 2012 1 Comments Read More →
Declare Renaming

Declare Renaming

In some older papers, the Declare tool has been referred to as DECLARE and the language as ConDec.  Starting from version 2.4 (due before the end of the year), the name changes to “Declare” (without quotes, of course), i.e., using normal lowercase.  The reason is that Declare is not an abbreviation and all-uppercase words are […]

By November 9, 2011 1 Comments Read More →