User contributions

From MCRL2

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

• 08:50, 3 July 2010 (hist) (diff) m Home‎ (jaar toegevoegd om verwarring te voorkomen)
• 12:07, 28 August 2009 (hist) (diff) m Home‎ (publication -> article)
• 12:07, 28 August 2009 (hist) (diff) m Home‎ (minor textual)
• 12:02, 28 August 2009 (hist) (diff) Home‎ (added link to Bits&Chips publication)
• 11:57, 28 August 2009 (hist) (diff) Home‎ (replaced out of date link by a link to Google books)
• 17:44, 25 August 2009 (hist) (diff) m Language reference/Data types‎ (→Sets and bags: improved description of bags a bit)
• 17:35, 25 August 2009 (hist) (diff) Language reference/Data types‎ (→Lists: improved structure and wording, added information from mcrl2data.tex)
• 10:47, 27 July 2009 (hist) (diff) m Language reference/Lexical syntax‎ (→Identifiers: added "if" as a reserved word) (top)
• 10:46, 27 July 2009 (hist) (diff) Language reference/Data syntax‎ (→Data expressions: added "true", "false" and "if") (top)
• 10:45, 27 July 2009 (hist) (diff) Image:MCRL2 syntax definition.pdf‎ (uploaded a new version of "Image:MCRL2 syntax definition.pdf": - added reserved word "if" - added "true", "false" and "if" as valid data expressions) (top)
• 20:24, 24 July 2009 (hist) (diff) m User manual/lysa2mcrl2‎ (→Options: layout) (top)
• 20:24, 24 July 2009 (hist) (diff) m User manual/lysa2mcrl2‎ (→Options: improved strategy description)
• 19:51, 24 July 2009 (hist) (diff) User manual/lysa2mcrl2‎ (→Options: updated to toolset revision r6839)
• 15:33, 21 July 2009 (hist) (diff) m Private:Responsibilities‎ (added responsibility candidates after discussion with jfg) (top)
• 14:56, 21 July 2009 (hist) (diff) m Private:Long-term goals‎ (→Roadmap: layout) (top)
• 14:55, 21 July 2009 (hist) (diff) Private:Long-term goals‎ (→Roadmap: Update categories, moved items around, minor textual improvements)
• 11:29, 12 July 2009 (hist) (diff) m Private:Responsibilities‎ (changes confirmed by Jan Friso: jfg? -> jfg)
• 19:53, 10 July 2009 (hist) (diff) User manual/lps2pbes‎ (→Options: removed options -p/--end-phase and -P/--pretty)
• 17:36, 10 July 2009 (hist) (diff) Private:Responsibilities‎ (added mailinglists)
• 16:12, 10 July 2009 (hist) (diff) m Private:Responsibilities‎ (removed duplicate entry)
• 16:11, 10 July 2009 (hist) (diff) m Private:Responsibilities‎
• 16:09, 10 July 2009 (hist) (diff) m Private:Responsibilities‎ (typo)
• 16:08, 10 July 2009 (hist) (diff) Private:Responsibilities‎ (Completed list)
• 18:10, 9 July 2009 (hist) (diff) m Development‎ (added link to responsibilities page)
• 18:09, 9 July 2009 (hist) (diff) N Private:Responsibilities‎ (create responsibilites page, and added changes in responsibilities for yusenko, amathijs and sploeger)
• 11:16, 9 July 2009 (hist) (diff) m Development‎ (added link description)
• 17:27, 3 July 2009 (hist) (diff) User manual/mcrl22lps‎ (→Options: removed options -p/--end-phase and -P/--pretty)
• 15:37, 1 July 2009 (hist) (diff) Language reference/Processes‎ (→Adding data: added process reference assignments) (top)
• 15:25, 1 July 2009 (hist) (diff) Image:MCRL2 syntax definition.pdf‎ (uploaded a new version of "Image:MCRL2 syntax definition.pdf": Updated syntax definition: - replaced free variable sections by global variables - added process reference assignments)
• 15:08, 1 July 2009 (hist) (diff) Language reference/Process syntax‎ (→Process expressions: added process reference assignments)
• 16:39, 30 June 2009 (hist) (diff) Linear process specifications‎ (removed ambiguities, free -> global, other textual improvements)
• 16:27, 30 June 2009 (hist) (diff) m File formats‎ (fixed link) (top)
• 16:26, 30 June 2009 (hist) (diff) m Language reference/Processes‎ (→Rename and hide: fixed link)
• 16:25, 30 June 2009 (hist) (diff) m Linear process specifications‎ (Linear processes moved to Linear process specifications: Remove ambiguity)
• 15:46, 30 June 2009 (hist) (diff) m User manual/FAQ‎ (→lpspp: Can I pass the output of lpspp to mcrl22lps?: updated text)
• 15:42, 30 June 2009 (hist) (diff) User manual/FAQ‎ (→lpspp: Can I pass the output of lpspp to mcrl22lps?: updated to global variable transition)
• 15:27, 30 June 2009 (hist) (diff) m User manual/lpsconstelm‎ (→Short description: free variable -> global variable)
• 14:51, 30 June 2009 (hist) (diff) User manual/mcrl22lps‎ (→Options: free variables -> global variables)
• 14:08, 30 June 2009 (hist) (diff) m Language reference/Lexical syntax‎ (→Identifiers: added keyword glob)
• 14:08, 30 June 2009 (hist) (diff) Language reference/PBES syntax‎ (added global variable declarations) (top)
• 14:07, 30 June 2009 (hist) (diff) Language reference/Process syntax‎ (→Process specifications: added global variable declaration)
• 13:41, 30 June 2009 (hist) (diff) User manual/lpspp‎ (removed known issue) (top)
• 12:59, 30 June 2009 (hist) (diff) Private:Static analysis‎ (→cppcheck: moved file contents to the trunk (svn revision r6655)) (top)
• 12:19, 30 June 2009 (hist) (diff) m Private:Tool Status Overview‎ (→Tools: pbesinfo has not yet been adapted to the tool classes)
• 17:35, 26 June 2009 (hist) (diff) m User manual/pbespp‎ (→Options: minor change) (top)
• 17:35, 26 June 2009 (hist) (diff) m User manual/pbespp‎ (→Options: added format internal-debug)
• 17:34, 26 June 2009 (hist) (diff) User manual/lpspp‎ (→Options: added format internal-debug)
• 17:32, 26 June 2009 (hist) (diff) m User manual/Tool manual pages‎ (→Experimental tools: removed mcrl2pp)
• 16:14, 9 June 2009 (hist) (diff) m Coding guidelines‎ (→Libraries: corrected some more errors) (top)
• 16:13, 9 June 2009 (hist) (diff) m Coding guidelines‎ (→Libraries: corrected typo)

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