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)