Petri nets are a popular graphical way of modeling concurrent systems such as communications protocols, multiprocessor computers etc. With Petri nets it is possible to assess the correctness of systems for example by verifying that the system cannot deadlock, that there cannot be any buffer overflows etc. PIPEs main aim is to improve on existing tools available for modeling Petri Nets. A key design feature is the modular approach adopted for analysis, enabling new modules to written easily and powerfully, using built-in data layer methods for standard calculations. Eight analysis modules have been written (so far) including Invariant Analysis, State-Space Analysis (deadlock, etc), Simulation Analysis & Classification. PIPE adheres to the latest XML Petri net standard (PNML). File format for saving and loading Petri-Nets is also extensible through the use of XSLT, the default being PNML. WWW: http://pipe2.sourceforge.net/ ta/cgit.png' alt='cgit logo'/> index : gsoc2013-evolution
Google Summer of Code 2013 - GNOME - Archive Integration workspace
aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Add relocatable "org.gnome.evolution.window" schema.Matthew Barnes2011-11-281-0/+24
* Updated Spanish translationJorge González2011-11-261-4382/+5583
* Updated asturian languageXandru Armesto2011-11-261-10257/+5629
* Bug #580394 - Comment field in a meeting request is too smallMilan Crha2011-11-253-13/+32
* Bug #616561 - Don't check read-only calendars in the itip-formatterTim Piessens2011-11-251-0/+7
* Bug #376075 - Accepting a meeting invitation defaults to wrong calendarMilan Crha2011-11-251-28/+33
* Bug #659491 - Hung when accepting calendar inviteMilan Crha2011-11-252-295/+469
* Bug 664753 - Avoid unnecessary requirements in evolution-shell-3.0.pcJosselin Mouette2011-11-251-1/+2
* Remove almost all *_DISABLED_DEPRECATED_FLAGS.Matthew Barnes2011-11-251-3/+1
* Remove *_DISABLE_SINGLE_INCLUDES macros.Matthew Barnes2011-11-251-2/+0
* Remove e_shell_get_gconf_client().Matthew Barnes2011-11-253-26/+0
* Bug 664654 - Sanitize subjects before suggesting a save filenameMatthew Barnes2011-11-251-2/+10
* Bug #664634 - Deadlock when processing completed tasks filterMilan Crha2011-11-244-112/+165
* Bug 664707 - Tasks & Memos panel size not rememberedMatthew Barnes2011-11-241-1/+1
* Bug 664678 - Bad defaults for SpamAssassin GSettings keysMatthew Barnes2011-11-241-2/+2
* Updated POTFILES.inPiotr Drąg2011-11-241-53/+70
* Cosimo's spidey senses pointed him to a memory leak.Matthew Barnes2011-11-241-1/+0
* Merge branch 'wip/gsettings'Matthew Barnes2011-11-23146-1955/+3526
|\
| * Miscellaneous cleanups.Matthew Barnes2011-11-2349-190/+211
| * Tweak GSettings schemas.Matthew Barnes2011-11-2325-91/+113
| * Fix some GSettings runtime issues.Matthew Barnes2011-11-238-28/+41
| * Include git.mk in mail/mail-autoconfig/Makefile.am.Matthew Barnes2011-11-231-0/+2
| * Remove .gitignore from git - we generate this file.Matthew Barnes2011-11-231-33/+0
| * More compiler warning fixes.Matthew Barnes2011-11-232-5/+8
| * Merge branch 'master' into wip/gsettingsMatthew Barnes2011-11-2364-1872/+2125
| |\
| * | Miscellaneous cleanups.Matthew Barnes2011-11-2318-80/+110
| * | Fix compiler warnings.Matthew Barnes2011-11-2325-39/+14
| * | Merge branch 'master' into wip/gsettingsRodrigo Moya2011-11-213-588/+665
| |\ \
| * | | Use GSettings in em-account-editor to retrieve/set selected calendarsRodrigo Moya2011-11-181-21/+33
| * | | Build fixesRodrigo Moya2011-11-182-1/+2
| * | | Port autocontacts plugin to GSettingsRodrigo Moya2011-11-186-103/+132
| * | | Migrate ECalConfig* code to use GSettingsRodrigo Moya2011-11-172-4/+4
| * | | Migrate all EABConfig* code to use GSettingsRodrigo Moya2011-11-173-13/+12
| * | | Merge branch 'master' into wip/gsettingsRodrigo Moya2011-11-1728-803/+869
| |\ \ \
| * | | | Build fixesRodrigo Moya2011-11-152-15/+13
| * | | | Migrate EShellSettings to GSettingsRodrigo Moya2011-11-1510-225/+493
| * | | | Merge branch 'master' into wip/gsettingsRodrigo Moya2011-11-14217-3336/+3758
| |\ \ \ \
| * | | | | Remove unused config_data_get_conf_clientRodrigo Moya2011-11-092-9/+0
| * | | | | Make it fully buildRodrigo Moya2011-11-096-11/+17
| * | | | | Some build fixesRodrigo Moya2011-11-095-12/+8
| * | | | | Merge branch 'master' into wip/gsettingsRodrigo Moya2011-11-0874-10915/+2613
| |\ \ \ \ \
| * \ \ \ \ \ Merge branch 'master' into wip/gsettingsRodrigo Moya2011-11-042-3/+24
| |\ \ \ \ \ \
| * | | | | | | Migrate itip formatter to GSettingsRodrigo Moya2011-11-045-9/+20
| * | | | | | | Migrate attachment reminder plugin to GSettingsRodrigo Moya2011-11-041-29/+28
| * | | | | | | Migrate template plugin to GSettingsRodrigo Moya2011-11-031-20/+18
| * | | | | | | Migrate face plugin to GSettingsRodrigo Moya2011-11-022-8/+7
| * | | | | | | Merge branch 'master' into wip/gsettingsRodrigo Moya2011-11-025-15/+63
| |\ \ \ \ \ \ \
| * | | | | | | | Migrate mail notification plugin to GSettingsRodrigo Moya2011-11-023-67/+51
| * | | | | | | | Addressbook module GSettings migrationRodrigo Moya2011-11-025-26/+30
| * | | | | | | | Migrate SA extension to GSettingsRodrigo Moya2011-11-025-89/+86
| * | | | | | | | Merge branch 'master' into wip/gsettingsRodrigo Moya2011-10-312-229/+227
| |\ \ \ \ \ \ \ \
| * | | | | | | | | Mail module has now all basic settings in GSettingsRodrigo Moya2011-10-283-50/+21
| * | | | | | | | | Merge branch 'master' into wip/gsettingsRodrigo Moya2011-10-2816-83/+136
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | More GSettings migrationRodrigo Moya2011-10-263-26/+110
| * | | | | | | | | | Almost no more GConf in e-utilRodrigo Moya2011-10-267-28/+31
| * | | | | | | | | | Merge branch 'master' into wip/gsettingsRodrigo Moya2011-10-2613-134/+224
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into wip/gsettingsRodrigo Moya2011-10-2424-11426/+5704
| |\ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | And yet more GSettings migration on the mail componentRodrigo Moya2011-10-206-98/+76
| * | | | | | | | | | | | More mail GSettings migrationRodrigo Moya2011-10-194-108/+69
| * | | | | | | | | | | | Migrate em-format* to GSettingsRodrigo Moya2011-10-192-12/+10
| * | | | | | | | | | | | Bug #661549 - Avoid fetching from backend when calculating summaryMilan Crha2011-10-191-16/+24
| * | | | | | | | | | | | Fix invalid read on vCard dropMilan Crha2011-10-191-1/+2
| * | | | | | | | | | | | Updated Galician translationsFran Diéguez2011-10-191-2/+12
| * | | | | | | | | | | | Fix some GSettings schema typos.Matthew Barnes2011-10-192-6/+6
| * | | | | | | | | | | | Merge branch 'master' into wip/gsettingsRodrigo Moya2011-10-17