All logs

From MCRL2

Combined display of all available logs of MCRL2. You can narrow down the view by selecting a log type, the user name, or the affected page.

Logs

All logs Block log Deletion log Import log Merge log Move log Patrol log Protection log Upload log User rights log User:  Title:   Search titles starting with this text

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

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

• 11:12, 24 December 2011 Jfg (Talk | contribs) marked r3989 of User manual/lps2lts patrolled (automatic) ‎
• 13:08, 20 December 2011 Jkeiren (Talk | contribs) marked r3988 of Showcases patrolled (automatic) ‎
• 13:08, 20 December 2011 Jkeiren (Talk | contribs) marked r3987 of Showcases patrolled (automatic) ‎
• 19:42, 15 December 2011 Timw (Talk | contribs) marked r3986 of Control Software of the CMS Experiment at CERN's Large Hadron Collider patrolled (automatic) ‎
• 19:30, 15 December 2011 Timw (Talk | contribs) marked r3985 of Control Software of the CMS Experiment at CERN's Large Hadron Collider patrolled (automatic) ‎
• 19:08, 15 December 2011 Timw (Talk | contribs) uploaded "Image:CMS all sketch.jpg" ‎
• 19:05, 15 December 2011 Timw (Talk | contribs) marked r3983 of Control Software of the CMS Experiment at CERN's Large Hadron Collider patrolled (automatic) ‎
• 19:02, 15 December 2011 Timw (Talk | contribs) marked r3982 of Control Software of the CMS Experiment at CERN's Large Hadron Collider patrolled (automatic) ‎
• 16:02, 15 December 2011 Timw (Talk | contribs) marked r3981 of Control Software of the CMS Experiment at CERN's Large Hadron Collider patrolled (automatic) ‎
• 14:18, 15 December 2011 Timw (Talk | contribs) marked r3980 of Showcases patrolled (automatic) ‎
• 14:11, 15 December 2011 Jkeiren (Talk | contribs) marked r3979 of Development patrolled (automatic) ‎
• 14:11, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Current issues" ‎ (content was: '== Goals for the July 2009 release == The table below shows the goals for the July 2009 release. The planning page provides information on the deadlines of these goals and their subgoals. In addition, a number of Tr...')
• 14:11, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Add support for termination" ‎ (content was: '== Goal == Except for mCRL2 process specifications, the toolset cannot handle handle termination directly. Instead, they mimick termination by means of a speci...' (and the only contributor was 'Amathijs'))
• 14:11, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Consistent command-line messages across tools" ‎ (content was: '== Goal == In the January 2009 release, the amount of produced command-line messages differs from tool to tool. For the July 2009 release, we want to make this...' (and the only contributor was 'Amathijs'))
• 14:08, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Guidelines for process specifications" ‎ (content was: '== Goal == The language reference for processes needs to be extended with the following guidelines for writing down process s...' (and the only contributor was 'Amathijs'))
• 14:08, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Uniform website layout" ‎ (content was: '== Goal == Enforce consistency between wiki-pages, written by different authors, such that as a uniform oneness. Aspects being looked for are layout, use of l...' (and the only contributor was 'Fstappers'))
• 14:08, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Design mCRL2 promotion material" ‎ (content was: '== Goal == The goal for creating mCRL2 promotion material is to create exposure for the mCRL2 toolset in research, teaching and industry. Most importantly, we hope it will aid in narrowing the gap between industry and academia, and that...')
• 14:07, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Improvements to the LPS library" ‎ (content was: '== Goal == The interface of the LPS Library can be improved regarding the following aspects: # Store summands in an atermpp::vector instead of an ATermList # Make...' (and the only contributor was 'Wieger'))
• 14:07, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:All tools should use tool classes" ‎ (content was: '== Goal == Tool classes were introduced to make it easier to maintain the tools. They help to avoid duplication of code, and they help to enforce a uniform behavio...' (and the only contributor was 'Wieger'))
• 14:07, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Add parity game generator to the PBES library" ‎ (content was: '== Goal == In Twente efficient BES solvers have been implemented. We would like to use these algorithms for solving PBESs. An interface has been discussed with Mic...' (and the only contributor was 'Wieger'))
• 14:07, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Reuse projection functions within a structured sort" ‎ (content was: '== Goal == It should be allowed that projection functions are reused amongst the constructors of a structured sort. For instance, consider the following sort d...' (and the only contributor was 'Amathijs'))
• 14:07, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Add support for global variables" ‎ (content was: '== Goal == The notion of global variables in process specifications, LPS's and PBES's has recently been documented. This should be...' (and the only contributor was 'Amathijs'))
• 14:07, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Add short-hand assignment notation for process references" ‎ (content was: '== Goal == In order to handle specifications with a large number of parameters, the syntax of the process references needs be extended with an assignment-like ...' (and the only contributor was 'Amathijs'))
• 14:07, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Planning Data Library" ‎ (content was: '= Planning and TODO for the new data library = # rename data to new_data (done) # rename old_data to data (done) # merge changes from trunk to new-data-lib branch (done) # add implementation of standard functions to new_data (done) # ad...')
• 14:07, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Add lysa2mcrl2 to the toolset" ‎ (content was: '== Goal == The July 2009 release should include the tool <tt>lysamcrl2</tt> created by Egbert Teeselink for his master's thesis entitled [http://alexandria.tue...' (and the only contributor was 'Amathijs'))
• 14:07, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Prepare GraPE for release" ‎ (content was: '== Goal == The goal is to include the GraPE tool as a standard tool in the July 2009 release. == Means == To achieve this goal, all open Trac tickets need to...' (and the only contributor was 'Amathijs'))
• 14:06, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Identify and resolve GUI issues" ‎ (content was: '== Goal == In the January 2009 release, the GUI tools suffer from some GUI-related issues such as: * inconsistent tab order * wrong dialog positioning * absenc...' (and the only contributor was 'Amathijs'))
• 14:06, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:PBES counter examples" ‎ (content was: '== Goal == Generate counter examples for modal formulas that give insight why a formula holds for a given LPS. == Planning == * Make document with the main ideas with the definition of a counter example (Willemse). * Sketch of the algor...')
• 14:04, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Extend data types with function updates" ‎ (content was: '== Goal == The notion of function updates should be added to the data type language. == Means == Function updates should be defined (syntax and semantics), a...' (and the only contributor was 'Amathijs'))
• 14:04, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Design Rewriter interface" ‎ (content was: '== Goal == Design a generic rewriter for use with the toolset based on rewriting theory. == Requirements == * can handle bound variables (e.g. quantifications and lambda expressions) * can handle arbitrary expressions (not only aterm...')
• 14:02, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:New term library" ‎ (content was: '== Goal == Replace the ATerm library, because it consistently has problems with garbage collection. This cannot be resolved in C, but in C++ neat solutions exist. == Pl...' (and the only contributor was 'Jfg'))
• 14:01, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Design and document interface of the new BES class" ‎ (content was: '== Goal == A separate BES class with algorithms is a useful addition to the toolset. == Planning == # Implement a BES class based on ATerms (done) # Implement vi...' (and the only contributor was 'Wieger'))
• 14:01, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Design and implement process library" ‎ (content was: '== Goal == Currently the toolset only contains classes and algorithms for linear processes. The process library will add classes and algorithms for general process...' (and the only contributor was 'Wieger'))
• 14:01, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Design interface of Enumerator and NextState libraries" ‎ (content was: '== Goal == Design a generic interface for enumerator and next state functionality. == Planning == # Write use cases of the enumerator (dd 16-05-2009) # Investigate if the enumerators in the PBES library can be unified with the ones in...')
• 13:58, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Planning lpsparunfold" ‎ (Author request: content was: '== Goal == The tools for manipulating linear process specifications in the mCRL2 toolset are intended to assist in the verification of complex systems descri...' (and the only contributor was '[[Special:Contributions/Fstappe)
• 13:57, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Binary Distributions" ‎ (Author request: content was: '== Goal == Having binary distributions for OS X, Windows and some popular GNU/Linux distributions. == Obstacles == There is a number of obstacles that make creatio...' (and the only contributor was '[[Special:Contributions)
• 13:57, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Build performance" ‎ (Author request: content was: '== Goal == Improve the build time of the toolset and decrease the initialisation time of build system. == Methods == === Precompiled headers === Precompiled header...' (and the only contributor was '[[Special:Contributions)
• 13:57, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Policies for testing and specification" ‎ (Author request: content was: '== Goal == This item is meant to improve the quality of the code. Many tools lack proper specifications and have insufficient tests, or tests that do not measure t...' (and the only contributor was '[[Special:Contributions/W)
• 13:51, 15 December 2011 Jkeiren (Talk | contribs) deleted "Private:Planning" ‎ (Author request: content was: '== Calendar == <widget type="googlecalendar" src="mcrl2dev@gmail.com"> </widget> == How To == === Add an Event === To add an event to the Google Calendar visit: [http://www.google.com/calendar http://www.google.com/calendar)
• 13:50, 15 December 2011 Jkeiren (Talk | contribs) marked r3978 of Private:Meetings/2011-12-15 patrolled (automatic) ‎
• 13:44, 15 December 2011 Jkeiren (Talk | contribs) marked r3977 of Private:Meetings patrolled (automatic) ‎
• 14:01, 13 December 2011 Fstappers (Talk | contribs) marked r3976 of Dogfooding the structural operational semantics of mCRL2 patrolled (automatic) ‎
• 19:52, 12 December 2011 Fstappers (Talk | contribs) marked r3975 of Dogfooding the structural operational semantics of mCRL2 patrolled (automatic) ‎
• 19:51, 12 December 2011 Fstappers (Talk | contribs) marked r3974 of Dogfooding the structural operational semantics of mCRL2 patrolled (automatic) ‎
• 19:51, 12 December 2011 Fstappers (Talk | contribs) marked r3973 of Dogfooding the structural operational semantics of mCRL2 patrolled (automatic) ‎
• 19:49, 12 December 2011 Fstappers (Talk | contribs) marked r3972 of Showcases patrolled (automatic) ‎
• 19:48, 12 December 2011 Fstappers (Talk | contribs) Dogfooding mcrl2 moved to Dogfooding the structural operational semantics of mCRL2 ‎
• 19:47, 12 December 2011 Fstappers (Talk | contribs) marked r3969 of Dogfooding mcrl2 patrolled (automatic) ‎
• 19:42, 12 December 2011 Fstappers (Talk | contribs) uploaded "Image:Dogfooding.png" ‎
• 19:38, 12 December 2011 Fstappers (Talk | contribs) marked r3967 of Dogfooding mcrl2 patrolled (automatic) ‎

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