Find them at Post to Post Links II error: No post found with slug "user-manual".
Monthly archives for October, 2008
Old News
- 28, Feb, 2011: PAT 3.2.3 is released!
- 21, Jan, 2011: PAT 3.2.2 is released!
- 13, Jan, 2011: Experiments for FM 2011 are added!
- 24, Dec, 2010: PAT 3.2.1 is released!
- 11, Dec, 2010: Videos are avaiable for PCSP and NesC module!
- 3, Dec, 2010: PAT 3.2.0 is released!
- 06, Nov, 2010: PAT experiments are standardized and published
- 13, Oct, 2010: PAT API is released!
- 22, Sep, 2010: Two Posrdoc Positions on Model Checking at National University of Singapore
- 2, Sep, 2010: PAT 3.2.0 (beta) is released!
- 1, Aug, 2010: PAT 3.1.0 is released. PAT is cross-platform now: running on Linux, Mac OS and more!
- 14, July, 2010: PAT 3.0.0 is released!
- 30, May, 2010: PAT Forum is up!
- 22, May, 2010: PAT 3.0.0 beta is released!
- 18, March, 2010: PAT 2.9.1 is released!
- 16, March, 2010: Appreciation for PAT Japanese User Group
- 29, Jan, 2010: PAT 2.9.0 is released!
- 02, Dec, 2009: PAT 2.8.0 is released!
- 4, Nov, 2009: PAT is presented FM 09
- 24, Oct, 2009: Warning List is supported. PAT makes the modeling easier!
- 30, Sep, 2009: PAT Japanese user group formed
- 25, Sep, 2009: PAT supports user defined data structures
- 05, Sep, 2009: PAT 2.7.0 is released!
- 29, Jul, 2009: PAT is presented CAV 09 and TASE 09
- 09, Jun, 2009: PAT 2.6.0 is released!
- 02, Jun, 2009: PAT 2.5.0 is released!
- 30, Apr, 2009: http://www.patroot.com is online
- 30, Apr, 2009: PAT 2.4.0 is released!
- 13, Apr, 2009: PAT 2.3.0 is released!
- 30, Mar, 2009: PAT 2.2 User Manual is online!
- 27, Mar, 2009: PAT 2.2.0 is released!
- 09, Mar, 2009: PAT 2.1.0 is released!
- 05, Jan, 2009: PAT 2.0 is released!
- 21, Dec, 2008: PAT 1.3.1 is released!
- 10, Dec, 2008: PAT 2.0 Beta is released!
- 04, Dec, 2008: PAT User Manual is online!
- 25, Nov, 2008: PAT 1.3.0 is released!
- 19, Nov, 2008: PAT 1.2.9 is released! Please re-install PAT!
- 15, Nov, 2008: PAT 1.2.8 is released!
- 04, Nov, 2008: PAT 1.2.7 is released!
- 13, Oct, 2008: PAT tutorials and lecture notes are added
- 06, Oct, 2008: New URL and PAT MailList
- 06, Oct, 2008: PAT 1.2.6 is released!
- 03, Oct, 2008: PAT 1.2.5 is released!
- 11, Sep, 2008: PAT 1.2.4 is released!
- 8, Aug, 2008: PAT 1.2.3 is released!
- 6, Aug, 2008: PAT User Manual is updated
- 31, July, 2008: PAT 1.2.2 is released!
- 10, July, 2008: PAT 1.2.0 is released!
- 17, June, 2008: PAT is presented in TASE 2008
- 25, May, 2008: PAT is presented in ICSE 2008
- 5, May, 2008: The PAT's User Interface and Language Parser are completely redesigned.
- 5, May, 2008: PAT wants You!
06, Oct, 2008: New URL and PAT MailList
PAT has its own domain now: https://pat.comp.nus.edu.sg
The email address is “pat at comp dot nus dot edu dot sg”, replace dot with ‘.’
Send an email to pat to join the mail list to get the update of PAT!
Note: due to the URL change, the auto update function will not working for the old version of PAT.
Please download the new version!
06, Oct, 2008: PAT 1.2.6 is released!
Sorry for the fast version update. 🙂
But we changed some syntax, which is big enough to make a new version.
Language Change:
1 use var to declare a variable, similar to javascript and ation script.
2 () is optional in process definition if there is no parameter.
Assertion:
State refinement srefine and sequal assertions is added into the system.
Optimization:
1 Self implemented hashtable and dictionary is used in the code.
2 Code tidy up.
User Manual:
User Manual is updated to the latest syntax.
03, Oct, 2008: PAT 1.2.5 is released!
After some effort, we come up some archetecture improvement:
1 Assersion checking is separated into independed class.
2 Data Manager is introduced, which supports of difference way of storing the states information.
Currently, we are testing for different way of hashing the states. Truong Khanh is working on the tree data structure at the moment.
In the GUI, user can select the different data manager for different purpose.
Syntax improvement:
1 Parser is upgraded to antlr 3.1
2 Language syntax is improved to support if-then-else (syntax suger for conditional choice), case swith (general form of if-then-else)
3 Alphabet declaration syntax is improved to support variables
4 special synbols are removed in assertion, key words are used for better parsing result and readability.
Bug fixing:
1 FD refinement checking is re-implemented. The previous version’s implementation is not correct.
2 Corner cases improvement
Performance Improvement:
1 Self-implemented hashtable is used to replace built-in Dictionary in .NET. (both smaller and faster)
2 Code optimization round one is done. We are doing the round two now. 🙂