Views
Toolbox
User contributions
From MCRL2
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
- 13:08, 20 December 2011 (hist) (diff) Showcases (top)
- 13:08, 20 December 2011 (hist) (diff) Showcases
- 14:11, 15 December 2011 (hist) (diff) Development (top)
- 13:50, 15 December 2011 (hist) (diff) N Private:Meetings/2011-12-15 (New page: ==Summary== * The following wiki pages will be removed: ** Private:Planning ** Private:Current issues * Private:Long term goals will be retained. * The bugs to be resolved for the next rel...) (top)
- 13:44, 15 December 2011 (hist) (diff) Private:Meetings (top)
- 13:42, 11 December 2011 (hist) (diff) N Private:Meetings/2011-12-08 (New page: ==Summary== * The syntax changes are accepted as proposed. Wieger will update the webpage with proposed changes according to the discussion (http://www.win.tue.nl/~wieger/mcrl2_syntax/). T...) (top)
- 13:32, 11 December 2011 (hist) (diff) Private:Meetings
- 07:01, 5 December 2011 (hist) (diff) N Private:Meetings/2011-12-01 (New page: ==Summary== * The situation where an AT_64bit flag has to be set from the build environment is considered undesirable. The ATerm headers will try to always figure out sensible defaults, an...) (top)
- 06:54, 5 December 2011 (hist) (diff) Private:Meetings
- 11:05, 1 December 2011 (hist) (diff) Library documentation (top)
- 08:17, 16 November 2011 (hist) (diff) N Private:Meetings/2011-11-10 (New page: ==Summary== * Build time has been reduced from +/- 3500 seconds to +/- 2700 seconds by implementing strategic template overloads in libraries. This will be continued for some other strateg...) (top)
- 08:10, 16 November 2011 (hist) (diff) Private:Meetings
- 07:06, 4 November 2011 (hist) (diff) N Private:Meetings/2011-11-03 (New page: ==Summary== * Long build times: ** Wieger presents an analysis of the build time of the toolset and proposes some modifications that can speed up the build. ** Functions that are not requi...) (top)
- 06:57, 4 November 2011 (hist) (diff) Private:Meetings
- 07:19, 31 October 2011 (hist) (diff) N Private:Meetings/2011-10-27 (New page: ==Summary== * New parser and pretty printer have been finished. Some final issues need to be resolved. * Some tests fail as a result of recent changes; these failures need to be resolved a...) (top)
- 07:15, 31 October 2011 (hist) (diff) Private:Meetings
- 07:13, 31 October 2011 (hist) (diff) Private:Meetings
- 11:08, 21 October 2011 (hist) (diff) N Private:Meetings/2011-10-21 (New page: ==Summary== * New parser library: there still are some ambiguities in parsing the if-then-else construct in the process language. Wiegers expects to fix this issue this week, and hopes tha...) (top)
- 10:59, 21 October 2011 (hist) (diff) Private:Meetings
- 07:25, 19 October 2011 (hist) (diff) Previous releases (top)
- 06:10, 19 October 2011 (hist) (diff) Download
- 06:10, 19 October 2011 (hist) (diff) Download
- 06:09, 19 October 2011 (hist) (diff) Download
- 06:07, 19 October 2011 (hist) (diff) Home (top)
- 08:06, 18 October 2011 (hist) (diff) Home
- 08:06, 18 October 2011 (hist) (diff) Home
- 08:04, 18 October 2011 (hist) (diff) Download
- 14:13, 17 October 2011 (hist) (diff) Previous releases
- 14:12, 17 October 2011 (hist) (diff) Download
- 14:29, 6 October 2011 (hist) (diff) N Private:Meetings/2011-10-06 (New page: ==Summary== * Jeroen will go through the list of constructors and projection functions of the standard data types, and make the naming more consistent. Before changing things, he will chec...) (top)
- 14:23, 6 October 2011 (hist) (diff) Private:Meetings
- 06:10, 23 September 2011 (hist) (diff) N Private:Meetings/2011-09-22 (New page: ==Summary== * Wieger reports good progress on the new parser implementation. All tests pass for the data library parser. The only difference with the current implementation of the parser, ...) (top)
- 06:04, 23 September 2011 (hist) (diff) Private:Meetings
- 12:27, 15 September 2011 (hist) (diff) N Private:Meetings/2011-09-15 (New page: ==Summary== * Frank is busy resolving the issues with the regression test pages * Work on the parser is in progress. The greatest challenges lie in transforming syntax elements that are sh...) (top)
- 12:24, 15 September 2011 (hist) (diff) Private:Meetings
- 11:29, 19 July 2011 (hist) (diff) Download
- 07:38, 18 July 2011 (hist) (diff) Download
- 20:29, 15 July 2011 (hist) (diff) Download
- 14:04, 15 July 2011 (hist) (diff) Home
- 13:28, 15 July 2011 (hist) (diff) Download
- 13:23, 15 July 2011 (hist) (diff) Download
- 13:20, 15 July 2011 (hist) (diff) Previous releases
- 14:19, 14 July 2011 (hist) (diff) Private:Meetings/2011-07-14 (top)
- 14:18, 14 July 2011 (hist) (diff) N Private:Meetings/2011-07-14 (New page: ==Summary== * Release: ** Ticket #806 must be checked (jfg) ** Release will be done tomorrow afternoon, after 12:00 PM, by jkeiren. fstapper builds .rpm and .dmg, as well as windows instal...)
- 14:18, 14 July 2011 (hist) (diff) Private:Meetings
- 12:44, 30 June 2011 (hist) (diff) Private:Meetings/2011-06-30 (top)
- 12:43, 30 June 2011 (hist) (diff) N Private:Meetings/2011-06-30 (New page: ==Summary== * Quantifier elimination currently has three issues: ** In the jittyc rewriter right hand sides with quantifiers do not work ** The modification of rewriter rules of == on sets...)
- 12:42, 30 June 2011 (hist) (diff) Private:Meetings
- 11:16, 24 June 2011 (hist) (diff) N Private:Meetings/2011-06-23 (New page: ==Summary== * A new mCRL2 release is planned for July 14. Mainly to have a stable version working in proper integration with the new release of the LTSmin toolset. * Feature freeze is acti...) (top)
- 11:15, 24 June 2011 (hist) (diff) Private:Meetings
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
Copyright © 2005-2012 Technische Universiteit Eindhoven.
