service-tech-commits  

Messages by Date

• 2012/11/13 [service-technology.org] r8154 - in /trunk/Service-Tech-Java/uma/src/hub/top: petrinet/unfold/DNodeSys_PetriNet.java uma/repair/ModelRepair_SubProcess.java Dirk Fahland
• 2012/11/12 [service-technology.org] r8153 - in /trunk/lola2/src: Exploration/LTLExploration.cc Exploration/LTLExploration.h Exploration/StatePredicateProperty.h Formula/BuechiAutomata.cc Formula/BuechiAutomata.h Makefile.am Gregor Behnke
• 2012/11/12 [service-technology.org] r8152 - in /trunk/Service-Tech-Java: pnapi/src/hub/top/petrinet/PetriNet.java uma/.classpath uma/libs-external/pnapi-java.jar uma/src/hub/top/uma/repair/ModelRepair_SubProcess.java uma/src/hub/top/uma/view/ViewGeneration2.java Dirk Fahland
• 2012/11/11 [service-technology.org] r8151 - in /trunk/lola2/src/Formula: BuechiAutomata.cc BuechiAutomata.h Gregor Behnke
• 2012/11/01 [service-technology.org] r8150 - /trunk/meta/genwebsite/utils/legacy/legacy.php Marvin Triebel
• 2012/11/01 [service-technology.org] r8149 - /website/index.html Jan Suermeli
• 2012/11/01 [service-technology.org] r8148 - /website/tools/index.html Jan Suermeli
• 2012/11/01 [service-technology.org] r8147 - /trunk/meta/genwebsite/data/tools.json Jan Suermeli
• 2012/11/01 [service-technology.org] r8146 - /trunk/meta/genwebsite/data/tools.json Marvin Triebel
• 2012/11/01 [service-technology.org] r8145 - in /website: bpel2owfn/ candy/ cosme/ diane/ linda/ locretia/ marlene/ ondine/ pnapi/ sara/ tara/ tools/ wendy/ yasmina/ Jan Suermeli
• 2012/11/01 [service-technology.org] r8144 - in /trunk/meta/genwebsite: data/tools.json template/tool/download.html utils/tool-list.py utils/update_website.py Jan Suermeli
• 2012/11/01 [service-technology.org] r8143 - /trunk/diane/doc/diane.json Jan Suermeli
• 2012/11/01 [service-technology.org] r8142 - /website/publications/stahlw_2008_bpm/index.html Marvin Triebel
• 2012/11/01 [service-technology.org] r8141 - in /website/publications: lohmann_2008_yrsoc/index.html stahlw_2008_bpm/index.html Marvin Triebel
• 2012/11/01 [service-technology.org] r8140 - in /website/publications: fahlandfjklvw_2009_bpm/ gierdsmw_2008_tr_cs0208/ gierdsmw_2010_tsc/ kaschnerl_2008_wesoa/ lohmann_2008_bpm/ lohmann_2008_yrsoc/ stahlw_2008_bpm/ weinberg_2008_wsfm/ Marvin Triebel
• 2012/11/01 [service-technology.org] r8139 - /trunk/meta/genwebsite/data/tools.json Jan Suermeli
• 2012/11/01 [service-technology.org] r8138 - in /website: safira/ safira/agpl.png safira/index.html safira/legacy.css uma/ uma/agpl.png uma/index.html uma/legacy.css Marvin Triebel
• 2012/11/01 [service-technology.org] r8137 - /trunk/diane/doc/diane.json Marvin Triebel
• 2012/11/01 [service-technology.org] r8136 - in /website/yasmina/experiments: index.html legacy.css Marvin Triebel
• 2012/11/01 [service-technology.org] r8135 - in /website: people/ yasmina/experiments/ yasmina/files/ Marvin Triebel
• 2012/11/01 [service-technology.org] r8134 - /website/pub/index.html Jan Suermeli
• 2012/11/01 [service-technology.org] r8133 - in /trunk/meta/genwebsite: data/people.json data/tools.json template/tool/support.html utils/pub.py utils/update_website.py Jan Suermeli
• 2012/11/01 [service-technology.org] r8132 - in /trunk/meta/genwebsite: data/pub.json template/pub/modal.tpl template/pub/modalns.tpl Jan Suermeli
• 2012/11/01 [service-technology.org] r8131 - /website/tool_chains/legacy.css Marvin Triebel
• 2012/11/01 [service-technology.org] r8130 - in /trunk/lola2/doc/Bauanleitung_Stores: ./ Anleitung.pdf Anleitung.tex Schema.pdf Max Görner
• 2012/11/01 [service-technology.org] r8129 - in /website: bpel2owfn/ candy/ cosme/ diane/ linda/ linda/g/ locretia/ marlene/ ondine/ pnapi/ sara/ tara/ tara/g/ tools/ wendy/ yasmina/ yasmina/g/ Jan Suermeli
• 2012/11/01 [service-technology.org] r8128 - in /trunk/tara: doc/tara.json libs/lp_solve/Makefile libs/lp_solve/Makefile.in Jan Suermeli
• 2012/11/01 [service-technology.org] r8127 - /trunk/yasmina2/doc/yasmina.json Jan Suermeli
• 2012/11/01 [service-technology.org] r8126 - /trunk/linda/doc/linda.json Jan Suermeli
• 2012/11/01 [service-technology.org] r8125 - /website/tool_chains/legacy.css Marvin Triebel
• 2012/10/31 [service-technology.org] r8124 - in /trunk/meta/genwebsite: data/tools.json data/variables.json template/tool/download.html template/tool/index.html template/tool/style.css utils/pub.py utils/update_json.py Jan Suermeli
• 2012/10/31 [service-technology.org] r8123 - in /website: bpel2owfn/ candy/ cosme/ diane/ locretia/ marlene/ ondine/ pnapi/ sara/ wendy/ Jan Suermeli
• 2012/10/31 [service-technology.org] r8122 - in /website: css/content.css index.html pub/index.html pub/index.tpl style.css Jan Suermeli
• 2012/10/31 [service-technology.org] r8121 - in /website/pub: index.html index.tpl pub_style.css Jan Suermeli
• 2012/10/31 [service-technology.org] r8120 - /website/pub/index.html Jan Suermeli
• 2012/10/31 [service-technology.org] r8119 - in /website/pub: index.html index.tpl Jan Suermeli
• 2012/10/31 [service-technology.org] r8118 - in /trunk/meta/genwebsite: data/pub.json template/pub/modalns.tpl utils/pub.py Jan Suermeli
• 2012/10/31 [service-technology.org] r8117 - in /website/pub: index.html index.tpl Jan Suermeli
• 2012/10/31 [service-technology.org] r8116 - /website/pub/index.html Jan Suermeli
• 2012/10/31 [service-technology.org] r8115 - in /trunk/meta/genwebsite: template/pub/modal.tpl utils/pub.py Jan Suermeli
• 2012/10/31 [service-technology.org] r8114 - /trunk/meta/genwebsite/data/pub.json Jan Suermeli
• 2012/10/31 [service-technology.org] r8113 - /trunk/meta/genwebsite/data/pub.json Jan Suermeli
• 2012/10/31 [service-technology.org] r8112 - /website/pub/index.tpl Jan Suermeli
• 2012/10/31 [service-technology.org] r8111 - /trunk/meta/genwebsite/data/pub.json Jan Suermeli
• 2012/10/31 [service-technology.org] r8110 - /trunk/meta/genwebsite/data/pub.json Jan Suermeli
• 2012/10/31 [service-technology.org] r8109 - in /trunk/meta/genwebsite: data/pub.json template/pub/ template/pub/modal.tpl Jan Suermeli
• 2012/10/31 [service-technology.org] r8108 - in /website/pub: index.html index.tpl Jan Suermeli
• 2012/10/31 [service-technology.org] r8107 - in /trunk/lola2/src: Makefile.am Planning/Task.cc Stores/CompareStore.h Stores/CompareStore.inc cmdline.ggo Gregor Behnke
• 2012/10/31 [service-technology.org] r8106 - /website/people/people_style.css Jan Suermeli
• 2012/10/31 [service-technology.org] r8105 - in /website: ./ bootstrap/ bootstrap/css/ bootstrap/img/ bootstrap/js/ css/ pub/ Jan Suermeli
• 2012/10/30 [service-technology.org] r8104 - /website/tool_chains/legacy.css Marvin Triebel
• 2012/10/30 [service-technology.org] r8103 - in /website/tool_chains: ./ files/ uml2owfn_and_lola/ Marvin Triebel
• 2012/10/30 [service-technology.org] r8102 - in /trunk/meta/genwebsite/utils/legacy: ./ legacy.php legacyList.php legacyList.txt Marvin Triebel
• 2012/10/30 [service-technology.org] r8101 - in /website/publications: ./ bpm2008/ files/ gierdsmw_2010_tsc/ lohmann_2008_bpm/ lohmann_2008_yrsoc/ weinberg_2008_wsfm/ wsfm2008/ yrsoc2008/ Marvin Triebel
• 2012/10/30 [service-technology.org] r8100 - in /website/publications: aalstbhks2006_dagstuhl/ aalstbhks2007_csrep/ aalstbhks2007_ijbpim/ aalstlmsw_2007_wsfm/ aalstmsw2007_hub_tr213-erratum/ aalstmsw_2007_hub_tr213/ acur2006_icatpn/ bpm2008/ deckerbkl_2008_icsoc/ fahland2005_hub_tr190/ fahland2007_awpn/ fahland2007_dagstuhl07061/ fahland2007_fabpws/ fahland_2007_dagstuhl07232/ fahland_2008_awpn/ fahland_2008_bpm/ fahland_2008_oclets/ fahland_2008_uml/ fahland_2008_wsgk/ fahland_2009_petrinets/ fahlandfjklvw_2009_bpm/ fahlandlmrwwz_2009_emmsad/ fahlandr2005_asm/ gierds_2008_awpn/ gierdslm_2010_icsoc/ gierdsmw_2008_tr_cs0208/ gierdsmw_2010_tsc/ heessv2007_csrep/ heevss_2008_tr_cs-08-19/ hinzss2005_lncs3649/ kaschnerl_2008_wesoa/ kaschnerl_2008_yrsoc/ kaschnermw2006_awpn/ kaschnermw_2007_pnn/ koeniglmsw2007_tr_cs0207/ koeniglmsw_2008_www/ koppfl2006_status/ lohmann2007_fabpws/ lohmann2007_wsfm/ lohmann_2007_hubtr212/ lohmann_2007_wsfm/ lohmann_2008_awpn/ lohmann_2008_bpm/ lohmann_2008_wsfm/ lohmann_2008_yrsoc/ lohmannk_2008_mod/ lohmannk_2008_yrsoc/ lohmannklr_2007_wsfm/ lohmannmsw2006_bpm/ lohmannmsw_2008_dke/ lohmannmw2006_hub_tr210/ lohmannmw_2007_atpn/ lohmannmw_2007_bpm/ lohmannvd_2008_topnoc/ lohmannvosa2007_techreport/ lohmannvosa_2008_ijbpim/ martensswfh2004_hub_tr169/ massuthers2005_amct/ massuthers2005_hub_tr191/ massuthers2005_seefm/ massuthes2005_awpn/ massuthes2005_hub_tr189/ massuthes2005_hub_tr193/ massuthes2005_qsic/ massuthessw_2008_ipl/ massuthew2006_dagstuhl06291/ massuthew2006_hub_tr202/ massuthew2006_pnn70/ massuthew_2007_ijbpim/ massuthew_2008_awpn/ mosermgag2007_avdbp/ reisig2005_fmoods/ reisig2005_hub_tr183/ reisig2008_tts/ reisigb2004_hub_tr181/ reisigbflms2007_festschrift/ reisigbflms_2007_festschrift/ reisigflmswwk_2006_isola/ reisigss2005_hub_tr182/ reisigss2005_ife/ reisigwbklms_2007_ercim/ schmidts2004_awpn/ stahl2005_hub_tr188/ stahlmb2008_hub_tr222/ stahlw2008_bpm/ stahlw_2008_awpn/ stahlw_2008_bpm/ vidalbs2004_iic81/ weinberg_2008_wsfm/ wesoa2008/ wolf_2007_atpn/ wolf_2008_topnoc/ wsfm2008/ yrsoc2008/ Marvin Triebel
• 2012/10/30 [service-technology.org] r8099 - in /website/publications: aalstbhks2006_dagstuhl/ aalstbhks2007_csrep/ aalstbhks2007_ijbpim/ aalstlmsw_2007_wsfm/ aalstmsw2007_hub_tr213-erratum/ aalstmsw_2007_hub_tr213/ acur2006_icatpn/ bpm2008/ deckerbkl_2008_icsoc/ fahland2005_hub_tr190/ fahland2007_awpn/ fahland2007_dagstuhl07061/ fahland2007_fabpws/ fahland_2007_dagstuhl07232/ fahland_2008_awpn/ fahland_2008_bpm/ fahland_2008_oclets/ fahland_2008_uml/ fahland_2008_wsgk/ fahland_2009_petrinets/ fahlandfjklvw_2009_bpm/ fahlandlmrwwz_2009_emmsad/ fahlandr2005_asm/ gierds_2008_awpn/ gierdslm_2010_icsoc/ gierdsmw_2008_tr_cs0208/ gierdsmw_2010_tsc/ heessv2007_csrep/ heevss_2008_tr_cs-08-19/ hinzss2005_lncs3649/ kaschnerl_2008_wesoa/ kaschnerl_2008_yrsoc/ kaschnermw2006_awpn/ kaschnermw_2007_pnn/ koeniglmsw2007_tr_cs0207/ koeniglmsw_2008_www/ koppfl2006_status/ lohmann2007_fabpws/ lohmann2007_wsfm/ lohmann_2007_hubtr212/ lohmann_2007_wsfm/ lohmann_2008_awpn/ lohmann_2008_bpm/ lohmann_2008_wsfm/ lohmann_2008_yrsoc/ lohmannk_2008_mod/ lohmannk_2008_yrsoc/ lohmannklr_2007_wsfm/ lohmannmsw2006_bpm/ lohmannmsw_2008_dke/ lohmannmw2006_hub_tr210/ lohmannmw_2007_atpn/ lohmannmw_2007_bpm/ lohmannvd_2008_topnoc/ lohmannvosa2007_techreport/ lohmannvosa_2008_ijbpim/ martensswfh2004_hub_tr169/ massuthers2005_amct/ massuthers2005_hub_tr191/ massuthers2005_seefm/ massuthes2005_awpn/ massuthes2005_hub_tr189/ massuthes2005_hub_tr193/ massuthes2005_qsic/ massuthessw_2008_ipl/ massuthew2006_dagstuhl06291/ massuthew2006_hub_tr202/ massuthew2006_pnn70/ massuthew_2007_ijbpim/ massuthew_2008_awpn/ mosermgag2007_avdbp/ reisig2005_fmoods/ reisig2005_hub_tr183/ reisig2008_tts/ reisigb2004_hub_tr181/ reisigbflms2007_festschrift/ reisigbflms_2007_festschrift/ reisigflmswwk_2006_isola/ reisigss2005_hub_tr182/ reisigss2005_ife/ reisigwbklms_2007_ercim/ schmidts2004_awpn/ stahl2005_hub_tr188/ stahlmb2008_hub_tr222/ stahlw2008_bpm/ stahlw_2008_awpn/ stahlw_2008_bpm/ vidalbs2004_iic81/ weinberg_2008_wsfm/ wesoa2008/ wolf_2007_atpn/ wolf_2008_topnoc/ wsfm2008/ yrsoc2008/ Marvin Triebel
• 2012/10/30 [service-technology.org] r8098 - in /website/publications: ./ aalstbhks2006_dagstuhl/ aalstbhks2007_csrep/ aalstbhks2007_ijbpim/ aalstlmsw_2007_wsfm/ aalstmsw2007_hub_tr213-erratum/ aalstmsw_2007_hub_tr213/ acur2006_icatpn/ bpm2008/ deckerbkl_2008_icsoc/ fahland2005_hub_tr190/ fahland2007_awpn/ fahland2007_dagstuhl07061/ fahland2007_fabpws/ fahland_2007_dagstuhl07232/ fahland_2008_awpn/ fahland_2008_bpm/ fahland_2008_oclets/ fahland_2008_uml/ fahland_2008_wsgk/ fahland_2009_petrinets/ fahlandfjklvw_2009_bpm/ fahlandlmrwwz_2009_emmsad/ fahlandr2005_asm/ gierds_2008_awpn/ gierdslm_2010_icsoc/ gierdsmw_2008_tr_cs0208/ gierdsmw_2010_tsc/ heessv2007_csrep/ heevss_2008_tr_cs-08-19/ hinzss2005_lncs3649/ kaschnerl_2008_wesoa/ kaschnerl_2008_yrsoc/ kaschnermw2006_awpn/ kaschnermw_2007_pnn/ koeniglmsw2007_tr_cs0207/ koeniglmsw_2008_www/ koppfl2006_status/ lohmann2007_fabpws/ lohmann2007_wsfm/ lohmann_2007_hubtr212/ lohmann_2007_wsfm/ lohmann_2008_awpn/ lohmann_2008_bpm/ lohmann_2008_wsfm/ lohmann_2008_yrsoc/ lohmannk_2008_mod/ lohmannk_2008_yrsoc/ lohmannklr_2007_wsfm/ lohmannmsw2006_bpm/ lohmannmsw_2008_dke/ lohmannmw2006_hub_tr210/ lohmannmw_2007_atpn/ lohmannmw_2007_bpm/ lohmannvd_2008_topnoc/ lohmannvosa2007_techreport/ lohmannvosa_2008_ijbpim/ martensswfh2004_hub_tr169/ massuthers2005_amct/ massuthers2005_hub_tr191/ massuthers2005_seefm/ massuthes2005_awpn/ massuthes2005_hub_tr189/ massuthes2005_hub_tr193/ massuthes2005_qsic/ massuthessw_2008_ipl/ massuthew2006_dagstuhl06291/ massuthew2006_hub_tr202/ massuthew2006_pnn70/ massuthew_2007_ijbpim/ massuthew_2008_awpn/ mosermgag2007_avdbp/ reisig2005_fmoods/ reisig2005_hub_tr183/ reisig2008_tts/ reisigb2004_hub_tr181/ reisigbflms2007_festschrift/ reisigbflms_2007_festschrift/ reisigflmswwk_2006_isola/ reisigss2005_hub_tr182/ reisigss2005_ife/ reisigwbklms_2007_ercim/ schmidts2004_awpn/ stahl2005_hub_tr188/ stahlmb2008_hub_tr222/ stahlw2008_bpm/ stahlw_2008_awpn/ stahlw_2008_bpm/ vidalbs2004_iic81/ weinberg_2008_wsfm/ wesoa2008/ wolf_2007_atpn/ wolf_2008_topnoc/ wsfm2008/ yrsoc2008/ Marvin Triebel
• 2012/10/30 [service-technology.org] r8097 - /website/seda/index.html Marvin Triebel
• 2012/10/30 [service-technology.org] r8096 - /website/seda/index.html Marvin Triebel
• 2012/10/30 [service-technology.org] r8095 - in /website: bpel2owfn/ candy/ cosme/ diane/ locretia/ marlene/ ondine/ pnapi/ sara/ wendy/ Jan Suermeli
• 2012/10/30 [service-technology.org] r8094 - in /trunk/meta/genwebsite/template/tool: getInvolved.html style.css Jan Suermeli
• 2012/10/30 [service-technology.org] r8093 - in /website: css/navigation.css style.css Jan Suermeli
• 2012/10/30 [service-technology.org] r8092 - in /website: g/icons/ icons/ Jan Suermeli
• 2012/10/30 [service-technology.org] r8091 - /website/seda/index.html Jan Suermeli
• 2012/10/30 [service-technology.org] r8090 - /trunk/lola2/tests/testsuite.at Max Görner
• 2012/10/27 [service-technology.org] r8089 - /website/seda/index.html Marvin Triebel
• 2012/10/27 [service-technology.org] r8088 - /website/seda/gpl.png Marvin Triebel
• 2012/10/27 [service-technology.org] r8087 - in /website/seda: gpl.png legacy.css Marvin Triebel
• 2012/10/27 [service-technology.org] r8086 - in /website/seda: ./ gpl.png index.html seda_overview.png Marvin Triebel
• 2012/10/26 [service-technology.org] r8085 - /trunk/meta/genwebsite/stella.py Jan Suermeli
• 2012/10/26 [service-technology.org] r8084 - in /trunk/meta/genwebsite: data/tools.json stella.py Jan Suermeli
• 2012/10/26 [service-technology.org] r8083 - /website/tools/index.html Jan Suermeli
• 2012/10/26 [service-technology.org] r8082 - /website/anastasia/ Jan Suermeli
• 2012/10/26 [service-technology.org] r8081 - in /website: bpel2owfn/ candy/ marlene/ pnapi/ sara/ wendy/ Jan Suermeli
• 2012/10/26 [service-technology.org] r8080 - in /trunk/meta/genwebsite: data/tools.json stella.py utils/tool-list.py Jan Suermeli
• 2012/10/26 [service-technology.org] r8079 - in /website/tools: index.html index.tpl Jan Suermeli
• 2012/10/26 [service-technology.org] r8078 - in /website: anastasia/ anastasia/g/ locretia/ locretia/g/ ondine/ ondine/g/ Jan Suermeli
• 2012/10/26 [service-technology.org] r8077 - /trunk/meta/genwebsite/data/tools.json Jan Suermeli
• 2012/10/26 [service-technology.org] r8076 - /website/bpel2owfn/g/overview.png Jan Suermeli
• 2012/10/26 [service-technology.org] r8075 - in /website: anica/index.html fiona/index.html greta/index.html lola/index.html mia/index.html rachel/index.html uml2owfn/index.html Jan Suermeli
• 2012/10/25 [service-technology.org] r8074 - in /website/pnapi: ./ download.html g/ g/overview.png getInvolved.html index.html science.html style.css support.html Marvin Triebel
• 2012/10/25 [service-technology.org] r8073 - /trunk/pnapi/doc/pnapi.json Marvin Triebel
• 2012/10/25 [service-technology.org] r8072 - /website/diane/style.css Marvin Triebel
• 2012/10/25 [service-technology.org] r8071 - /website/cosme/style.css Marvin Triebel
• 2012/10/25 [service-technology.org] r8070 - /trunk/meta/genwebsite/template/tool/style.css Marvin Triebel
• 2012/10/25 [service-technology.org] r8069 - in /website: people/g/kathrin.jpg tools/index.html tools/tools_style.css Jan Suermeli
• 2012/10/25 [service-technology.org] r8068 - in /website/diane: ./ download.html g/ g/overview.png getInvolved.html index.html science.html style.css support.html Marvin Triebel
• 2012/10/25 [service-technology.org] r8067 - /trunk/meta/genwebsite/stella.py Jan Suermeli
• 2012/10/25 [service-technology.org] r8066 - in /website/cosme: ./ download.html g/ g/overview.png getInvolved.html index.html science.html style.css support.html Marvin Triebel
• 2012/10/25 [service-technology.org] r8065 - in /website: anica/ fiona/ greta/ lola/ mia/ rachel/ uml2owfn/ Marvin Triebel
• 2012/10/25 [service-technology.org] r8064 - /trunk/meta/genwebsite/data/people.json Jan Suermeli
• 2012/10/25 [service-technology.org] r8063 - /trunk/meta/genwebsite/template/tool/download.html Marvin Triebel
• 2012/10/25 [service-technology.org] r8062 - /website/tools/tools_style.css Jan Suermeli
• 2012/10/25 [service-technology.org] r8061 - in /website: css/basic-structure.css css/content.css css/navigation.css css/tabs.css people/people_style.css tools/index.html tools/tools_style.css Jan Suermeli
• 2012/10/25 [service-technology.org] r8060 - in /trunk/meta/genwebsite/template/tool: download.html style.css Marvin Triebel
• 2012/10/23 [service-technology.org] r8059 - in /trunk/lola2/src: Exploration/ParallelExploration.cc Formula/ConjunctionStatePredicate.cc Formula/DisjunctionStatePredicate.cc Formula/StatePredicate.h Net/NetState.cc Net/NetState.h Gregor Behnke
• 2012/10/18 [service-technology.org] r8058 - /trunk/meta/genwebsite/README Jan Suermeli
• 2012/10/18 [service-technology.org] r8057 - in /trunk/meta/genwebsite: README stella.py utils/stella_out.py utils/update_website.py Jan Suermeli
• 2012/10/18 [service-technology.org] r8056 - in /branches/location-marlene/src: adapter.cc adapter.h lexer_adapt_rules.ll lexer_marking_information.ll parser_adapt_rules.yy Christian Gierds
• 2012/10/18 [service-technology.org] r8055 - in /branches/location-pnapi/src: component.cc component.h Christian Gierds
• 2012/10/18 [service-technology.org] r8054 - /branches/location-marlene/ Christian Gierds
• 2012/10/18 [service-technology.org] r8053 - in /trunk/meta/genwebsite: autoGenToolPage.py data/tools.json data/tools_desired.json data/variables.json genToolPages.py utils/update_json.py utils/update_website.py Jan Suermeli
• 2012/10/18 [service-technology.org] r8052 - /trunk/meta/genwebsite/template/tool/help.html Jan Suermeli
• 2012/10/18 [service-technology.org] r8051 - /branches/location-pnapi/ Christian Gierds
• 2012/10/16 [service-technology.org] r8050 - /website/tools/tools_style.css Jan Suermeli
• 2012/10/16 [service-technology.org] r8049 - in /website/tools: ./ g/ Jan Suermeli
• 2012/10/16 [service-technology.org] r8048 - in /trunk/lola2: configure.ac m4/ax_openmp.m4 m4/st_basic.m4 src/Makefile.am Andre Moelle
• 2012/10/16 [service-technology.org] r8047 - in /trunk/lola2/src: Core/main.cc Makefile.am Andre Moelle
• 2012/10/16 [service-technology.org] r8046 - /trunk/lola2/src/Core/main.cc Andre Moelle
• 2012/10/16 [service-technology.org] r8045 - in /trunk/lola2/src/Symmetry: GeneratingSystem.cc PartitionRefinement.cc PartitionRefinement.h Refiners.cc SCC.cc Andre Moelle
• 2012/10/16 [service-technology.org] r8044 - in /website: bpel2owfn/ bpel2owfn/g/ candy/ candy/g/ wendy/ Jan Suermeli
• 2012/10/16 [service-technology.org] r8043 - /trunk/candy/doc/candy.json Jan Suermeli
• 2012/10/16 [service-technology.org] r8042 - in /website/marlene: ./ download.html g/ g/overview.png getInvolved.html index.html science.html style.css support.html Jan Suermeli
• 2012/10/15 [service-technology.org] r8041 - in /trunk/meta/live2/frontend/simple: index.html simple.html Marvin Triebel
• 2012/10/15 [service-technology.org] r8040 - in /trunk/meta/live2/frontend/simple: ./ jquery.base64.min.js jquery.min.js jquery.multifile.pack.js simple.html Marvin Triebel
• 2012/10/14 [service-technology.org] r8039 - in /trunk/anica/src: main.cc reasoner.cc Andreas Lehmann
• 2012/10/13 [service-technology.org] r8038 - in /website: css/navigation.css index.html Jan Suermeli
• 2012/10/13 [service-technology.org] r8037 - /website/people/g/suermeli.jpg Jan Suermeli
• 2012/10/13 [service-technology.org] r8036 - in /website/g: logo.png logo.svg logo_hover.png logo_hover.svg Jan Suermeli
• 2012/10/12 [service-technology.org] r8035 - /trunk/lola2/src/Planning/Task.cc Niels Lohmann
• 2012/10/12 [service-technology.org] r8034 - in /trunk/lola2/src/Symmetry: GeneratingSystem.cc LinkedList.h PartitionRefinement.cc PartitionRefinement.h Permutation.cc Refiners.cc Refiners.h SCC.cc Andre Moelle
• 2012/10/12 [service-technology.org] r8033 - /trunk/lola2/m4/st_basic.m4 Andre Moelle
• 2012/10/11 [service-technology.org] r8032 - in /trunk/meta/live2: backend/live.js backend/tools.json frontend/index.html Niels Lohmann
• 2012/10/10 [service-technology.org] r8031 - /website/people/g/al020.jpg Jan Suermeli
• 2012/10/10 [service-technology.org] r8030 - /trunk/meta/live2/Makefile Niels Lohmann
• 2012/10/10 [service-technology.org] r8029 - /trunk/marlene/doc/marlene.json Christian Gierds
• 2012/10/10 [service-technology.org] r8028 - /trunk/meta/live2/frontend/index.html Niels Lohmann
• 2012/10/10 [service-technology.org] r8027 - /trunk/meta/live2/Makefile Niels Lohmann
• 2012/10/10 [service-technology.org] r8026 - /trunk/meta/live2/Makefile Niels Lohmann
• 2012/10/10 [service-technology.org] r8025 - /website/people/index.html Jan Suermeli
• 2012/10/10 [service-technology.org] r8024 - /trunk/meta/live2/Makefile Niels Lohmann
• 2012/10/10 [service-technology.org] r8023 - /trunk/meta/genwebsite/data/people.json Jan Suermeli
• 2012/10/10 [service-technology.org] r8022 - in /website/people/g: amooij.jpg christianstahl.jpg fahland.jpg gierds.jpg karstenwolf.jpg marvintriebel.jpg rimueller.jpg Jan Suermeli
• 2012/10/09 [service-technology.org] r8021 - in /trunk/meta/live2: backend/live.js client/st frontend/index.html Niels Lohmann
• 2012/10/09 [service-technology.org] r8020 - in /trunk/meta/live2: Makefile backend/live.js client/st Niels Lohmann
• 2012/10/09 [service-technology.org] r8019 - in /trunk/meta/live2: Makefile backend/live.js backend/workdir/ frontend/index.html Niels Lohmann
• 2012/10/08 [service-technology.org] r8018 - in /trunk/meta: live-node/ live2/ live2/Makefile live2/backend/ live2/backend/live.js live2/client/ live2/client/st live2/frontend/ live2/frontend/index.html Niels Lohmann
• 2012/10/05 [service-technology.org] r8017 - in /trunk/candy/doc: candy.json candy.texi Richard Müller
• 2012/10/04 [service-technology.org] r8016 - in /trunk/meta/genwebsite: autoGenToolPage.py template/tool/download.html template/tool/getInvolved.html template/tool/help.html template/tool/index.html template/tool/science.html template/tool/support.html utils/createToolPages.sh Marvin Triebel
• 2012/10/02 [service-technology.org] r8015 - in /trunk/lola2/src: ./ Core/ Symmetry/ Andre Moelle
• 2012/10/01 [service-technology.org] r8014 - in /trunk/lola2/src/Stores: ./ NetStateEncoder/ VectorStores/ Christian Sura
• 2012/10/01 [service-technology.org] r8013 - /trunk/lola2/src/Stores/VectorStores/SuffixTreeStore.inc Christian Koch
• 2012/10/01 [service-technology.org] r8012 - in /trunk/lola2/src: Exploration/ Net/ Gregor Behnke
• 2012/10/01 [service-technology.org] r8011 - /trunk/lola2/src/Stores/NetStateEncoder/BitEncoder.h Max Görner
• 2012/10/01 [service-technology.org] r8010 - in /trunk/lola2/src: Exploration/ Planning/ Gregor Behnke
• 2012/09/30 [service-technology.org] r8009 - in /trunk/lola2: src/ src/Core/ src/Planning/ src/Stores/ src/Stores/NetStateEncoder/ src/Stores/VectorStores/ tests/ Christian Sura
• 2012/09/29 [service-technology.org] r8008 - /trunk/lola2/src/Stores/PluginStore.h Max Görner
• 2012/09/28 [service-technology.org] r8007 - in /trunk/lola2/src: ./ Exploration/ Planning/ Stores/ Stores/NetStateEncoder/ Stores/SIStore/ Christian Koch
• 2012/09/26 [service-technology.org] r8006 - /website/css/basic-structure.css Marvin Triebel
• 2012/09/26 [service-technology.org] r8005 - in /trunk/meta/genwebsite/template/tool: download.html index.html Marvin Triebel
• 2012/09/26 [service-technology.org] r8004 - /website/css/basic-structure.css Marvin Triebel
• 2012/09/25 [service-technology.org] r8003 - /trunk/locretia/m4/javapath.m4 Simon Heiden
• 2012/09/25 [service-technology.org] r8002 - in /trunk/locretia: m4/javapath.m4 src/Makefile.am Simon Heiden
• 2012/09/25 [service-technology.org] r8001 - in /trunk/meta/genwebsite/utils: apply.py update_website.py Marvin Triebel
• 2012/09/24 [service-technology.org] r8000 - /trunk/meta/genwebsite/template/tool/help.html Marvin Triebel
• 2012/09/24 [service-technology.org] r7999 - /trunk/meta/genwebsite/template/tool/download.html Marvin Triebel
• 2012/09/19 [service-technology.org] r7998 - in /trunk/locretia: libs/jvm.dll libs/libjvm.so libs/libjvm/ libs/libjvm/amd64/ libs/libjvm/amd64/libjvm.so libs/libjvm/linux32/ libs/libjvm/linux32/libjvm.so libs/libjvm/windows32/ libs/libjvm/windows32/jvm.dll src/Makefile.am tests/testsuite.at Simon Heiden
• 2012/09/19 [service-technology.org] r7997 - in /trunk/locretia: m4/javapath.m4 src/jni_md.h src/linux/ src/linux/jni_md.h src/solaris/ src/solaris/jni_md.h src/windows/ src/windows/jni_md.h Simon Heiden
• 2012/09/19 [service-technology.org] r7996 - in /trunk/meta/wsmockup/website: bpel2owfn/ bpel2owfn/g/ candy/ candy/g/ cosme/ cosme/g/ fiona/ fiona/g/ linda/ linda/g/ lola/ lola/g/ marlene/ marlene/g/ mia/ mia/g/ rachel/ rachel/g/ wendy/ yasmina/ yasmina/g/ Marvin Triebel
• 2012/09/19 [service-technology.org] r7995 - /trunk/meta/genwebsite/genMockup.py Jan Suermeli
• 2012/09/19 [service-technology.org] r7994 - /trunk/meta/genwebsite/data/tools.json Marvin Triebel
• 2012/09/19 [service-technology.org] r7993 - in /trunk/locretia: ./ java/ java/prom/ libs/ m4/ src/ Simon Heiden
• 2012/09/18 [service-technology.org] r7992 - in /trunk/meta/genwebsite: autoGenToolPage.py utils/__init__.py utils/update_json.py utils/update_website.py Jan Suermeli
• 2012/09/18 [service-technology.org] r7991 - in /trunk/meta/genwebsite: autoGenToolPage-mockup.sh autoGenToolPage.sh Jan Suermeli
• 2012/09/18 [service-technology.org] r7990 - /trunk/meta/geninfo/update_json.py Jan Suermeli
• 2012/09/18 [service-technology.org] r7989 - /trunk/meta/geninfo/update_json.py Jan Suermeli
• 2012/09/17 [service-technology.org] r7988 - /trunk/meta/genwebsite/autoGenToolPage-mockup.sh Jan Suermeli
• 2012/09/17 [service-technology.org] r7987 - in /trunk/meta/wsmockup: ./ website/ website/css/ website/g/ website/icons/ website/osicons/ website/people/ website/people/g/ website/pub/ website/sara/ website/sara/g/ website/tools/ website/tools/g/ website/wendy/ website/wendy/g/ Jan Suermeli
• 2012/09/13 [service-technology.org] r7986 - /trunk/lola2/src/Exploration/ParallelExploration.cc Gregor Behnke
• 2012/09/12 [service-technology.org] r7985 - in /trunk/lola2/src/Stores: ./ NetStateEncoder/ VectorStores/ Erik Friese
• 2012/09/12 [service-technology.org] r7984 - in /trunk/lola2: src/ src/Exploration/ src/Planning/ src/Stores/ src/Stores/NetStateEncoder/ src/Stores/VectorStores/ tests/ Erik Friese
• 2012/09/02 [service-technology.org] r7983 - /trunk/locretia/src/Output.cc Simon Heiden
• 2012/09/02 [service-technology.org] r7982 - /trunk/locretia/src/Output.cc Simon Heiden
• 2012/09/02 [service-technology.org] r7981 - /trunk/locretia/src/InnerMarking.cc Simon Heiden
• 2012/08/30 [service-technology.org] r7980 - in /trunk/lola2/src/Stores/NetStateEncoder: BitEncoder.cc BitEncoder.h CopyEncoder.cc CopyEncoder.h Christian Koch
• 2012/08/28 [service-technology.org] r7979 - in /trunk/Service-Tech-Java/seda/extensions: org.st.anica.ui/META-INF/ org.st.anica.ui/src/org/st/anica/ui/ org.st.anica.ui/src/org/st/anica/ui/preferences/ org.st.ui-feature/ Dirk Fahland
• 2012/08/25 [service-technology.org] r7978 - /trunk/locretia/src/Output.cc Simon Heiden
• 2012/08/23 [service-technology.org] r7977 - in /trunk/lola2/src: Core/ Exploration/ Formula/ InputOutput/ Parser/ Planning/ Stores/SIStore/ Witness/ Gregor Behnke
• 2012/08/22 [service-technology.org] r7976 - /trunk/lola2/src/Exploration/SearchStack.h Gregor Behnke
• 2012/08/22 [service-technology.org] r7975 - in /trunk/lola2/src: Exploration/ParallelExploration.h Exploration/SearchStack.h Exploration/SimpleProperty.h Net/Net.cc Gregor Behnke
• 2012/08/21 [service-technology.org] r7974 - in /trunk/lola2/src: Exploration/ParallelExploration.cc Exploration/SearchStack.h Makefile.am Gregor Behnke
• 2012/08/21 [service-technology.org] r7973 - in /trunk/lola2/src: Exploration/DFSExploration.cc Exploration/ParallelExploration.cc Exploration/ParallelExploration.h Exploration/SearchStack.cc Exploration/SearchStack.h Exploration/SimpleProperty.h Makefile.am Planning/Task.cc Karsten Wolf
• 2012/08/20 [service-technology.org] r7972 - in /branches/lola2_templates/src: Core/main.cc Makefile.am Planning/Task.inc Stores/VectorStores/VSTLStore.cc Stores/VectorStores/VSTLStore.h Stores/VectorStores/VSTLStore.inc Christian Koch
• 2012/08/20 [service-technology.org] r7971 - in /branches/lola2_templates/src: ./ Core/ Planning/ Stores/ Stores/VectorStores/ Christian Koch
• 2012/08/20 [service-technology.org] r7970 - in /branches/lola2_templates/src: ./ Exploration/ Planning/ Stores/ Stores/NetStateEncoder/ Stores/VectorStores/ Christian Koch
• 2012/08/19 [service-technology.org] r7969 - in /branches/lola2_templates/src/Stores: DecisionNode4BinStore.cc DecisionNode4BinStore.h LocalGlobalStore.h NetStateEncoder/NetStateEncoder.h VectorStores/VectorStore.h Max Görner
• 2012/08/18 [service-technology.org] r7968 - in /branches/lola2_templates/src: Core/ Exploration/ Planning/ Stores/ Stores/NetStateEncoder/ Stores/VectorStores/ Max Görner
• 2012/08/11 [service-technology.org] r7967 - /branches/lola2_templates/ Max Görner
• 2012/07/30 [service-technology.org] r7966 - in /trunk/Service-Tech-Java: greta/hub.top.greta.feature/ seda/org.st.seda.rcp.feature.emf/ seda/org.st.seda.rcp.feature.gmf/ seda/org.st.seda.rcp.feature/ seda/org.st.seda.rcp/ Dirk Fahland
• 2012/07/30 [service-technology.org] r7965 - /trunk/Service-Tech-Java/seda/org.st.seda.rcp.feature.gmf/ Dirk Fahland
• 2012/07/30 [service-technology.org] r7964 - /trunk/Service-Tech-Java/seda/extensions/org.st.anica.ui/plugin.xml Dirk Fahland
• 2012/07/30 [service-technology.org] r7963 - in /trunk/Service-Tech-Java/seda: org.st.seda.rcp.feature/feature.xml org.st.seda.rcp/Application.e4xmi org.st.seda.rcp/org.st.seda.rcp.target Dirk Fahland
• 2012/07/30 [service-technology.org] r7962 - /trunk/Service-Tech-Java/greta/hub.top.greta/META-INF/MANIFEST.MF Dirk Fahland
• 2012/07/30 [service-technology.org] r7961 - in /trunk/Service-Tech-Java/greta: hub.top.greta.feature/ hub.top.greta.run/ hub.top.greta.run/META-INF/ hub.top.greta.run/src/hub/top/greta/cpn/ hub.top.greta.run/src/hub/top/greta/run/actions/ hub.top.greta.run/src/hub/top/greta/simulation/ hub.top.greta/META-INF/ Dirk Fahland
• 2012/07/27 [service-technology.org] r7960 - in /trunk/Service-Tech-Java/greta/hub.top.greta.run: ./ META-INF/ src/hub/top/greta/run/ src/hub/top/greta/run/actions/ src/hub/top/greta/simulation/ Dirk Fahland
• 2012/07/27 [service-technology.org] r7959 - in /trunk/Service-Tech-Java/seda: org.st.seda.rcp.extensions.feature/ org.st.seda.rcp.feature/ org.st.seda.rcp/ Dirk Fahland
• 2012/07/27 [service-technology.org] r7958 - /trunk/Service-Tech-Java/seda/org.st.seda.rcp.extensions.feature/ Dirk Fahland
• 2012/07/27 [service-technology.org] r7957 - in /trunk/Service-Tech-Java: pnapi/ pnapi/META-INF/ pnapi/src/hub/top/petrinet/util/ seda/hub.top.pnapi.feature/ uma.ui/hub.top.uma-feature/ uma.ui/hub.top.uma.ui/META-INF/ uma/ uma/META-INF/ uma/src/hub/top/uma/view/ Dirk Fahland
• 2012/07/27 [service-technology.org] r7956 - /trunk/Service-Tech-Java/uma.ui/hub.top.uma.ui/.settings/ Dirk Fahland
• 2012/07/27 [service-technology.org] r7955 - in /trunk/Service-Tech-Java/uma.ui/hub.top.uma.ui: .settings/ META-INF/ src/hub/top/uma/ui/ Dirk Fahland

• Earlier messages
• Later messages