User contributions

From MCRL2

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

• 13:58, 4 September 2009 (hist) (diff) m Private:Meetings‎
• 13:57, 4 September 2009 (hist) (diff) Nm Private:Meetings/2009-10-03‎ (New page: == Vorig overleg (2009-05-28) == == Performance testing == Wieger zal het onderhoud aan het performance testen van Bas overnemen. De cronjobs vinden reeds...) (top)
• 11:21, 18 June 2009 (hist) (diff) Private:Tool Status Overview‎ (→Tools)
• 11:07, 4 June 2009 (hist) (diff) m Private:Meetings‎
• 11:07, 4 June 2009 (hist) (diff) Nm Private:Meetings/2009-05-28‎ (New page: == Vorig overleg (2009-05-07) == == Mailing list == Na aanleiding van een vorige vergadering is besloten dat er een mailing list voor mCRL2 ontwikkelaars ...) (top)
• 20:35, 2 June 2009 (hist) (diff) m User manual/Installation instructions‎ (Windows Vista is *not* one of the supported platforms yet)
• 14:42, 2 June 2009 (hist) (diff) m CLI sublibrary‎ (→Command line interface) (top)
• 11:23, 14 May 2009 (hist) (diff) Private:Meetings‎
• 11:22, 14 May 2009 (hist) (diff) Private:Meetings/2009-05-07‎ (top)
• 11:21, 14 May 2009 (hist) (diff) N Private:Meetings/2009-05-07‎ (New page: == Vorig overleg (2009-04-09) == == Intern formaat == Er is een rondje gemaakt waarbij de volgende punten aan de orde zijn gekomen: * Behoud van types met...)
• 11:01, 25 April 2009 (hist) (diff) m Private:Tool Status Overview‎ (→Tools)
• 23:06, 23 April 2009 (hist) (diff) m Library documentation‎
• 07:08, 15 April 2009 (hist) (diff) Library documentation‎
• 15:43, 8 April 2009 (hist) (diff) Private:Meetings‎
• 15:42, 8 April 2009 (hist) (diff) N Private:Meetings/2009-03-26‎ (New page: == Vorig overleg (2009-03-19) == == Header files dependencies == Frank heeft een script geschreven voor het vinden van header file dependencies. Hiermee i...) (top)
• 14:17, 8 April 2009 (hist) (diff) Private:Tool Status Overview‎ (Changed status for lps{binary,sumelm,suminst,untime} (implemented in new-data-lib branch))
• 12:31, 26 March 2009 (hist) (diff) m Private:Meetings‎
• 12:31, 26 March 2009 (hist) (diff) Private:Meetings/2009-03-19‎ (top)
• 12:31, 26 March 2009 (hist) (diff) N Private:Meetings/2009-03-19‎ (New page: == Vorig overleg (2009-03-19) == == Visie voor Roadmap == Er is een rondje gemaakt waarin iedereen zijn punten betreft de visie heeft genoemd. Aad zal dit...)
• 11:43, 18 March 2009 (hist) (diff) Private:Meetings‎
• 11:41, 18 March 2009 (hist) (diff) N Private:Meetings/2009-03-12‎ (New page: == Vorig overleg (2009-02-05) == == Soundness checks == Aad brengt in op dat de soundness checks in release mode 99% van de tijd in txt2pbes kosten. Het b...) (top)
• 14:49, 9 March 2009 (hist) (diff) N Private:Long-term goals‎ (New page: ==Roadmap== ===usability=== * improved tutorials, aimed at non-expert users (including best practises) * improve the control flow (so non-expert users can solve problems without being bo...)
• 14:44, 9 March 2009 (hist) (diff) Development‎
• 09:43, 5 March 2009 (hist) (diff) Private:Meetings‎
• 09:43, 5 March 2009 (hist) (diff) N Private:Meetings/2009-02-26‎ (New page: == Vorig overleg (2009-02-12) == == Planning op wiki == Er wordt opgemerkt dat de todo lijst op de wiki op dit moment zowel fungeert als wish-list en als ...)
• 10:39, 19 February 2009 (hist) (diff) Private:Meetings‎
• 10:24, 19 February 2009 (hist) (diff) N Private:Meetings/2009-02-12‎ (New page: == Vorig overleg (2009-02-05) == == Presentatie over nieuwe data library == In de presentatie worden de verschillen tussen de huidige en nieuwe data libra...)
• 16:39, 5 February 2009 (hist) (diff) m Private:Meetings‎
• 16:38, 5 February 2009 (hist) (diff) Private:Meetings/2009-02-05‎
• 16:30, 5 February 2009 (hist) (diff) Private:Meetings/2009-02-05‎ (→Reviews)
• 16:28, 5 February 2009 (hist) (diff) N Private:Meetings/2009-02-05‎ (New page: == Vorig overleg (2009-01-29) == === Planning === Wieger stelt voor om een lijst met punten te maken voor de volgende release en daar verantwoordelijke pe...)
• 10:12, 5 February 2009 (hist) (diff) Private:Meetings‎
• 10:10, 5 February 2009 (hist) (diff) N Private:Meetings/2009-01-29‎ (New page: == Vorig overleg (2008-01-29) == === Voortgang Release === Jan Friso vraagt naar punten ter verbetering van de release procedure. Observaties zijn dat de ...) (top)
• 17:19, 26 January 2009 (hist) (diff) m Home‎ (Added release notification)
• 12:44, 26 January 2009 (hist) (diff) m Download‎ (→Latest Release: January 2009 (SVN revision 5546))
• 12:37, 26 January 2009 (hist) (diff) Download‎ (→Latest Release: January 2009 (SVN revision 5546))
• 12:26, 26 January 2009 (hist) (diff) Previous releases‎
• 12:23, 26 January 2009 (hist) (diff) m Release guidelines‎ (→Detailed release procedure) (top)
• 12:21, 26 January 2009 (hist) (diff) m Release guidelines‎ (→Detailed release procedure)
• 10:51, 26 January 2009 (hist) (diff) m Release guidelines‎
• 17:09, 15 January 2009 (hist) (diff) m Private:Meetings‎
• 17:08, 15 January 2009 (hist) (diff) N Private:Meetings/2009-01-15‎ (New page: == Vorig overleg (2008-01-08) == === Voortgang Release === De release wordt uitgesteld tot vrijdag 24 Januari in de hoop dat hiermee de eindige sets en ba...) (top)
• 10:18, 9 January 2009 (hist) (diff) m Private:Meetings/2009-01-08‎ (Added missing information) (top)
• 16:59, 8 January 2009 (hist) (diff) N Private:Meetings/2008-01-08‎ (Private:Meetings/2008-01-08 moved to Private:Meetings/2009-01-08) (top)
• 16:59, 8 January 2009 (hist) (diff) m Private:Meetings/2009-01-08‎ (Private:Meetings/2008-01-08 moved to Private:Meetings/2009-01-08)
• 16:58, 8 January 2009 (hist) (diff) Private:Meetings‎
• 16:57, 8 January 2009 (hist) (diff) N Private:Meetings/2009-01-08‎ (New page: == Vorig overleg (2008-12-18) == === Voortgang Release === Toestaan van globale variabelen in mCRL2 specificaties wordt naar de volgende release geschoven...)
• 19:11, 30 December 2008 (hist) (diff) m Tool interface guidelines‎ (→Graphical user interface) (top)
• 14:32, 18 December 2008 (hist) (diff) Private:Meetings‎
• 14:31, 18 December 2008 (hist) (diff) N Private:Meetings/2008-12-18‎ (New page: == Vorig overleg (2008-12-11) == === Tool Classes === Muck vraagt naar of het mogelijk is om combinaties van classes te maken bijvoorbeeld door af te leid...) (top)

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