User contributions

From MCRL2

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

• 17:11, 26 April 2009 (hist) (diff) N Private:Considerations for new internal data format‎ (Initial version) (top)
• 15:48, 5 March 2009 (hist) (diff) Private:Planning Map Filter Reduce‎ (Added note on possible addition of functions iota and isfinite.) (top)
• 15:34, 5 March 2009 (hist) (diff) Private:Planning Map Filter Reduce‎ (Adjusted planning after today's meeting.)
• 12:23, 5 March 2009 (hist) (diff) Private:Meetings/2009-02-26‎ (Wat kleine correcties.) (top)
• 14:52, 19 February 2009 (hist) (diff) Private:Planning Map Filter Reduce‎ (Some corrections and a more detailed implementation.)
• 17:39, 18 February 2009 (hist) (diff) m Private:Planning Map Filter Reduce‎ (Typo)
• 14:50, 18 February 2009 (hist) (diff) Private:Planning Map Filter Reduce‎ (Some small corrections and additions.)
• 14:14, 18 February 2009 (hist) (diff) Private:Planning Map Filter Reduce‎ (Made motivation more complete and removed open issues.)
• 11:15, 16 February 2009 (hist) (diff) Private:Planning Map Filter Reduce‎ (Added consistency issue.)
• 11:08, 16 February 2009 (hist) (diff) Private:Planning Map Filter Reduce‎ (→Right set of functions)
• 11:04, 16 February 2009 (hist) (diff) Private:Planning Map Filter Reduce‎ (Added general guidelines that should be followed.)
• 22:23, 10 February 2009 (hist) (diff) N Planning Map Filter Reduce‎ (Planning Map Filter Reduce moved to Private:Planning Map Filter Reduce) (top)
• 22:23, 10 February 2009 (hist) (diff) m Private:Planning Map Filter Reduce‎ (Planning Map Filter Reduce moved to Private:Planning Map Filter Reduce)
• 22:21, 10 February 2009 (hist) (diff) N Private:Planning Map Filter Reduce‎ (Made first version of planning.)
• 15:46, 19 December 2008 (hist) (diff) User manual/tbf2lps‎ (Updated to match r5358.) (top)
• 16:43, 18 December 2008 (hist) (diff) User manual/tbf2lps‎ (Updated options description (due to changes in r5352))
• 12:19, 18 December 2008 (hist) (diff) m Private:Meetings/2008-12-11‎ (Fixed two typos.) (top)
• 15:19, 7 December 2008 (hist) (diff) m File formats‎ (Added link to page on the mCRL2 LTS format.)
• 15:17, 7 December 2008 (hist) (diff) N MCRL2 LTS file format‎ (Added page on the mCRL2 LTS file format.) (top)
• 20:03, 1 December 2008 (hist) (diff) File formats‎ (Added comment about which DOTs are supported.)
• 20:01, 1 December 2008 (hist) (diff) User manual/ltsview‎ (Added list of supported LTS formats.) (top)
• 20:01, 1 December 2008 (hist) (diff) User manual/ltsinfo‎ (Added dot and svc.) (top)
• 20:01, 1 December 2008 (hist) (diff) User manual/ltsgraph‎ (Complete list of supported file extensions.)
• 19:56, 1 December 2008 (hist) (diff) User manual/ltsconvert‎ (Added SVC format and remove output-only comment for DOT.) (top)
• 19:52, 1 December 2008 (hist) (diff) User manual/lps2lts‎ (Added missing format.)
• 19:52, 1 December 2008 (hist) (diff) User manual/ltscompare‎ (Added missing and new LTS formats.)
• 19:50, 1 December 2008 (hist) (diff) m User manual/lps2lts‎ (Removed reference to no longer existing option.)
• 19:48, 1 December 2008 (hist) (diff) m User manual/lps2lts‎ (Removed useless comment ("dot is output only").)
• 16:13, 1 December 2008 (hist) (diff) File formats‎ (Added mCRL2 LTS format and corrected types of SVC and trace)
• 16:04, 1 December 2008 (hist) (diff) m LTS library‎ (Removed note on bsim code as it is no longer relevant.) (top)
• 14:41, 25 October 2008 (hist) (diff) User:Mweerden‎ (Changed my website.) (top)
• 14:39, 25 October 2008 (hist) (diff) m About‎ (Changed my website.)
• 16:47, 25 July 2008 (hist) (diff) Download‎ (Found the correct filename)
• 16:24, 25 July 2008 (hist) (diff) Download‎ (Corrected filename of this release's source)
• 12:06, 4 July 2008 (hist) (diff) User manual/lps2lts‎ (Changed default of --trace (per r4815))
• 14:05, 20 June 2008 (hist) (diff) N User:Mweerden‎ (Created page for Mweerden.)
• 21:56, 3 June 2008 (hist) (diff) m User manual/lps2lts‎ (A bit more specific about the default output format.)
• 10:02, 28 April 2008 (hist) (diff) m Automated parking garage‎ (Fixed typo.)
• 10:52, 23 April 2008 (hist) (diff) m User manual/lps2lts‎ (Changed tau to ctau in description of -C/--confluence)
• 13:56, 18 April 2008 (hist) (diff) N User manual/mcrl2i‎ (Added manual page for mcrl2i)
• 15:33, 17 April 2008 (hist) (diff) Documentation guidelines‎ (Removed requirement that acknowledgements should be part of version information.)
• 14:22, 27 March 2008 (hist) (diff) Download‎ (Added note on next release.)
• 14:20, 27 March 2008 (hist) (diff) Previous releases‎ (Added revision information)
• 14:19, 27 March 2008 (hist) (diff) Download‎ (Moved revision to caption)
• 14:17, 27 March 2008 (hist) (diff) Download‎ (Added revisions.)
• 15:55, 4 March 2008 (hist) (diff) Rewrite strategies‎ (Reformated page to emphasise the range of strategies.)
• 17:18, 21 February 2008 (hist) (diff) m Coding guidelines‎ (Added a bit of clarification)
• 17:14, 21 February 2008 (hist) (diff) Coding guidelines‎ (Added section on acknowledgements)
• 17:05, 17 January 2008 (hist) (diff) User manual/lps2lts‎ (Added default value to option -b/--bit-hash.)
• 16:14, 15 January 2008 (hist) (diff) Trace library‎ (Made example a working example)

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)