User contributions

From MCRL2

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

• 11:12, 24 December 2011 (hist) (diff) User manual/lps2lts‎ (→Short description: Adapted the explanation of the tool.) (top)
• 18:16, 3 November 2011 (hist) (diff) User manual/mcrl22lps‎ (→Short description: Add a short description about the necessity of the flag --timed.) (top)
• 16:33, 16 August 2011 (hist) (diff) User manual/lps2lts‎ (→Options: Changed explanation of the -ftree / -fvector option.)
• 07:58, 15 March 2011 (hist) (diff) User manual/Tool manual pages‎ (→Release tools: Added note to pnml2mcrl2)
• 07:33, 15 March 2011 (hist) (diff) m User manual/Tool manual pages‎ (→Release tools: grapemcr2 --> grapemcrl2)
• 09:58, 6 March 2011 (hist) (diff) CMake build instructions‎ (→Mac OS X: Added Mac OS X 10.6)
• 09:55, 6 March 2011 (hist) (diff) CMake build instructions‎ (→Installing Boost on MacOS-X: Adding a note on 64 bits boost.)
• 16:04, 15 January 2011 (hist) (diff) User manual/FAQ‎ (Add a piece of text on limited stacksize, causing errors) (top)
• 15:59, 15 January 2011 (hist) (diff) m User manual/FAQ‎ (→Known compile issues)
• 19:44, 19 August 2010 (hist) (diff) m User manual/lts2lps‎ (→Options: Typesetting changes.) (top)
• 19:42, 19 August 2010 (hist) (diff) User manual/lts2lps‎ (→Options: Changed the options, following a change in the lts2lps tool.)
• 19:38, 19 August 2010 (hist) (diff) User manual/lts2lps‎ (→Author: Added the name of Jan Friso)
• 19:37, 19 August 2010 (hist) (diff) User manual/lts2lps‎ (→Short Description: Extended the description a little bit)
• 19:31, 19 August 2010 (hist) (diff) User manual/lts2lps‎ (→Synopsis)
• 21:34, 2 March 2010 (hist) (diff) User manual/lpsinvelm‎ (→Example of use: Replaced the example and made the output in line with the the output of lpsinvelm.)
• 10:58, 23 February 2010 (hist) (diff) User manual/lpsinvelm‎ (Added some explanation how to use lpsinvelm.)
• 21:01, 24 January 2010 (hist) (diff) User manual/lps2lts‎ (→Options: Add the --suppress flag.)
• 19:37, 24 January 2010 (hist) (diff) User manual/formulacheck‎ (Add an example of the use of formulacheck.) (top)
• 19:12, 24 January 2010 (hist) (diff) User manual/formulacheck‎ (→Options: removed the -f option)
• 18:29, 24 January 2010 (hist) (diff) m User manual/lps2lts‎ (→Options: minor edits.)
• 18:26, 24 January 2010 (hist) (diff) User manual/lps2lts‎ (→Options: Added the --divergence option.)
• 14:17, 9 October 2009 (hist) (diff) Language reference/Data types‎ (→User-defined data: Replaced text on rewriting after a suggestion by Tim Willemse)
• 18:04, 24 September 2009 (hist) (diff) Atacama Large Millimeter Array‎ (Incorporated some comments by Gianni Raffi) (top)
• 08:03, 10 September 2009 (hist) (diff) m Library documentation‎ (Removed an empty table entry in process part)
• 08:03, 6 August 2009 (hist) (diff) m User manual/pbesrewr‎ (→Options: Added square brackets to the option -p)
• 08:01, 6 August 2009 (hist) (diff) User manual/pbesrewr‎ (→Options)
• 07:56, 6 August 2009 (hist) (diff) m User manual/pbesrewr‎ (→Short description)
• 07:52, 6 August 2009 (hist) (diff) m User manual/pbes2bool‎ (→Options: Improved typing error) (top)
• 07:47, 10 July 2009 (hist) (diff) User manual/ltsgraph‎ (→Theory) (top)
• 07:30, 2 July 2009 (hist) (diff) Linear process specifications‎ (top)
• 14:03, 30 June 2009 (hist) (diff) User manual/mcrl22lps‎ (→Options: Replace --no-freevars by --no-globvars)
• 10:00, 13 June 2009 (hist) (diff) Private:Tool Status Overview‎ (Removed mcrl2pp)
• 09:59, 13 June 2009 (hist) (diff) Development‎ (Added tool status overview.)
• 10:57, 6 June 2009 (hist) (diff) User manual/mcrl2i‎ (→Author)
• 10:56, 6 June 2009 (hist) (diff) User manual/mcrl2i‎ (Adapted the text to the interface change in revision 6088.)
• 19:50, 30 April 2009 (hist) (diff) Private:Tool Status Overview‎ (→Tools: Adapted status of lpsinfo)
• 15:54, 22 March 2009 (hist) (diff) User manual/pbesinst‎ (→Options)
• 15:53, 22 March 2009 (hist) (diff) m User manual/pbes2bool‎ (→Options)
• 09:51, 22 March 2009 (hist) (diff) User manual/pbes2bool‎ (→Options: Add the option -o binary)
• 10:30, 15 March 2009 (hist) (diff) N User manual/lpsrealelm‎ (New page: {{Hierarchy header}} Replace process parameters of sort real by parameters over a finite domain. == Synopsis == <tt>'''lpsrealelm''' [''OPTION'']... [''INFILE'' [''OUTFILE'']]</tt> == ...) (top)
• 12:12, 18 February 2009 (hist) (diff) LedSync communication protocol‎ (Improvements in text.) (top)
• 12:07, 18 February 2009 (hist) (diff) Image:Demokit gr2.jpg‎ (uploaded a new version of "Image:Demokit gr2.jpg": L-Dot Demo kit, a 50 Watt RGB(W) LED Driver produced by eldoLED) (top)
• 12:05, 18 February 2009 (hist) (diff) N Image:Demokit gr2.jpg‎ (The L-Dot Demo kit, a 50 Watt RGB(W) LED Driver produced by eldoLED)
• 12:03, 18 February 2009 (hist) (diff) N LedSync communication protocol‎ (New page: right mCRL2 was used during the development of the LedSync communication protocol. The LedSync protocol is used for communication between devices in a light network....)
• 11:53, 18 February 2009 (hist) (diff) Showcases‎ (Added LedSync communication protocol)
• 14:31, 15 January 2009 (hist) (diff) Language reference/Data types‎ (Added note on the definition of operators ==, <= and <.)
• 19:16, 27 December 2008 (hist) (diff) User manual/lpsactionrename‎ (The --file flag of lpsactionrename is changed into --renamefile.) (top)
• 06:55, 20 August 2008 (hist) (diff) m User manual/lps2lts‎ (→Options)
• 06:55, 20 August 2008 (hist) (diff) User manual/lps2lts‎ (Changed the explanation of the -a option, which I did not find sufficiently clear)
• 16:57, 26 June 2008 (hist) (diff) User manual/mcrl22lps‎ (Alinea verwijderd, op suggestie van Aad.)

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