service-tech-commits  

Messages by Date

• 2012/07/27 [service-technology.org] r7954 - /trunk/Service-Tech-Java/uma.ui/hub.top.uma-feature/ Dirk Fahland
• 2012/07/26 [service-technology.org] r7953 - in /trunk/_build/tarballs: Makefile bison-2.5.1.tar.gz bison-2.6.tar.gz flex-2.5.35.tar.gz flex-2.5.36.tar.gz Niels Lohmann
• 2012/07/26 [service-technology.org] r7952 - in /trunk/Service-Tech-Java: pnapi/build.properties seda/hub.top.pnapi.feature/.project seda/hub.top.pnapi.feature/build.properties seda/hub.top.pnapi.feature/feature.xml Dirk Fahland
• 2012/07/26 [service-technology.org] r7951 - /trunk/Service-Tech-Java/seda/hub.top.pnapi.feature/ Dirk Fahland
• 2012/07/26 [service-technology.org] r7950 - in /trunk/Service-Tech-Java: pnapi/META-INF/ seda/hub.top.editor.ptnetLoLA.feature/ seda/hub.top.seda.tef/ seda/org.st.seda.rcp.feature.emf/ seda/org.st.seda.rcp.feature/ seda/org.st.seda.rcp.petrinets.feature/ seda/org.st.seda.rcp/ Dirk Fahland
• 2012/07/26 [service-technology.org] r7949 - /trunk/Service-Tech-Java/seda/org.st.seda.rcp.petrinets.feature/ Dirk Fahland
• 2012/07/26 [service-technology.org] r7948 - in /trunk/Service-Tech-Java/seda: hub.top.editor.ptnetLoLA.feature/ org.st.seda.rcp.feature.emf/ org.st.seda.rcp.feature/ org.st.seda.rcp/ Dirk Fahland
• 2012/07/26 [service-technology.org] r7947 - /trunk/Service-Tech-Java/seda/org.st.seda.rcp.feature.emf/ Dirk Fahland
• 2012/07/26 [service-technology.org] r7946 - /trunk/Service-Tech-Java/seda/hub.top.editor.ptnetLoLA.feature/ Dirk Fahland
• 2012/07/25 [service-technology.org] r7945 - in /trunk/Service-Tech-Java/seda: org.st.seda.rcp.feature/ org.st.seda.rcp/ org.st.seda.rcp/META-INF/ org.st.seda.rcp/src/org/st/seda/rcp/ Dirk Fahland
• 2012/07/23 [service-technology.org] r7944 - in /trunk/Service-Tech-Java/seda: org.st.seda.rcp.feature/ org.st.seda.rcp/ org.st.seda.rcp/META-INF/ org.st.seda.rcp/css/ org.st.seda.rcp/icons/ org.st.seda.rcp/src/ org.st.seda.rcp/src/org/ org.st.seda.rcp/src/org/st/ org.st.seda.rcp/src/org/st/seda/ org.st.seda.rcp/src/org/st/seda/rcp/ org.st.seda.rcp/src/org/st/seda/rcp/handlers/ org.st.seda.rcp/src/org/st/seda/rcp/ui/ Dirk Fahland
• 2012/07/23 [service-technology.org] r7943 - /trunk/Service-Tech-Java/seda/org.st.seda.rcp.feature/ Dirk Fahland
• 2012/07/23 [service-technology.org] r7942 - /trunk/Service-Tech-Java/seda/org.st.seda.rcp/ Dirk Fahland
• 2012/07/17 [service-technology.org] r7941 - /trunk/anica/src/reasoner.cc Andreas Lehmann
• 2012/07/17 [service-technology.org] r7940 - /trunk/Service-Tech-Java/seda/hub.top.editor.resource/src/hub/top/editor/eclipse/PluginHelper.java Dirk Fahland
• 2012/07/17 [service-technology.org] r7939 - /trunk/Service-Tech-Java/seda/extensions/org.st.anica.ui/src/org/st/anica/ui/CheckConfidentiality_Job.java Dirk Fahland
• 2012/07/17 [service-technology.org] r7938 - in /trunk/Service-Tech-Java/seda: extensions/org.st.anica.ui/META-INF/ extensions/org.st.ui-feature/ hub.top.editor.lola.text/META-INF/ hub.top.editor.ptnetLoLA.diagram/META-INF/ hub.top.editor.ptnetLoLA.edit/META-INF/ hub.top.editor.ptnetLoLA/META-INF/ hub.top.editor.resource/META-INF/ hub.top.editor/META-INF/ Dirk Fahland
• 2012/07/17 [service-technology.org] r7937 - in /trunk/Service-Tech-Java/seda/extensions/org.st.anica.ui/.settings: ./ org.eclipse.jdt.core.prefs Dirk Fahland
• 2012/07/17 [service-technology.org] r7936 - in /trunk/Service-Tech-Java/seda: extensions/org.st.anica.ui/src/org/st/anica/ui/ hub.top.editor.lola.text/resources/ hub.top.editor.lola.text/src/hub/top/editor/lola/text/modelcreating/ hub.top.editor.ptnetLoLA.diagram/src/hub/top/editor/ptnetLoLA/diagram/edit/parts/ hub.top.editor.ptnetLoLA.edit/ hub.top.editor.ptnetLoLA.edit/src/hub/top/editor/ptnetLoLA/provider/ hub.top.editor.ptnetLoLA/model/ hub.top.editor.ptnetLoLA/src/hub/top/editor/ptnetLoLA/ hub.top.editor.ptnetLoLA/src/hub/top/editor/ptnetLoLA/impl/ hub.top.editor.resource/src/hub/top/editor/eclipse/ Dirk Fahland
• 2012/07/17 [service-technology.org] r7935 - in /trunk/Service-Tech-Java/seda/extensions/org.st.anica.ui: plugin.xml src/org/st/anica/ui/CheckConfidence.java src/org/st/anica/ui/CheckConfidentiality.java src/org/st/anica/ui/CheckConfidentiality_Job.java src/org/st/anica/ui/UDPServer.java Dirk Fahland
• 2012/07/12 [service-technology.org] r7934 - in /trunk/domino/tests: package.m4.in testsuite.at Niels Lohmann
• 2012/07/12 [service-technology.org] r7933 - /trunk/meta/hello/tests/testsuite.at Niels Lohmann
• 2012/07/12 [service-technology.org] r7932 - /trunk/meta/hello/tests/package.m4.in Niels Lohmann
• 2012/07/12 [service-technology.org] r7931 - in /trunk/meta/hello/src: Makefile.am wendy_lexic.ll Niels Lohmann
• 2012/07/12 [service-technology.org] r7930 - /trunk/_build/build.xml Niels Lohmann
• 2012/07/12 [service-technology.org] r7929 - in /trunk: meta/hello/tests/testsuite.at mia/tests/testsuite.at Niels Lohmann
• 2012/07/12 [service-technology.org] r7928 - /trunk/fiona/src/Makefile.am Niels Lohmann
• 2012/07/12 [service-technology.org] r7927 - /trunk/uml2owfn/src/Makefile.am Niels Lohmann
• 2012/07/12 [service-technology.org] r7926 - in /trunk/meta/formats: INSTALL Makefile.am configure.ac doc/Makefile.am Niels Lohmann
• 2012/07/12 [service-technology.org] r7925 - in /trunk/fiona/src: Makefile.am lexer_owfn.ll options.cc syntax_owfn_wrap.h Niels Lohmann
• 2012/07/12 [service-technology.org] r7924 - /trunk/domino/src/Makefile.am Andreas Lehmann
• 2012/07/12 [service-technology.org] r7923 - /trunk/yasmina2/src/helpers.cc Niels Lohmann
• 2012/07/11 [service-technology.org] r7922 - /trunk/meta/formats/NEWS Niels Lohmann
• 2012/07/11 [service-technology.org] r7921 - /trunk/tara/src/MaxCost.cc Niels Lohmann
• 2012/07/11 [service-technology.org] r7920 - /trunk/maxis/Makefile.am Niels Lohmann
• 2012/07/10 [service-technology.org] r7919 - /trunk/tara/src/main.cc Niels Lohmann
• 2012/07/10 [service-technology.org] r7918 - /trunk/maxis/src/Makefile.am Niels Lohmann
• 2012/07/10 [service-technology.org] r7917 - in /trunk: rebecca/src/Makefile.am safira/src/Makefile.am Niels Lohmann
• 2012/07/10 [service-technology.org] r7916 - in /trunk/uml2owfn/libs/pnapi: Makefile.am parser-lola-lexer.ll parser-onwd-lexer.ll parser-owfn-lexer.ll parser-pn-lexer.ll parser-pnml-lexer.ll parser-sa-lexer.ll Niels Lohmann
• 2012/07/10 [service-technology.org] r7915 - /trunk/tara/src/Makefile.am Niels Lohmann
• 2012/07/10 [service-technology.org] r7914 - /trunk/sayo/src/Makefile.am Niels Lohmann
• 2012/07/10 [service-technology.org] r7913 - /trunk/maxis/NEWS Niels Lohmann
• 2012/07/10 [service-technology.org] r7912 - /trunk/evans/src/Makefile.am Niels Lohmann
• 2012/07/10 [service-technology.org] r7911 - /trunk/yasmina2/src/Makefile.am Niels Lohmann
• 2012/07/10 [service-technology.org] r7910 - in /trunk/lola/utils: form-lexic.ll lexic_graph.ll Niels Lohmann
• 2012/07/10 [service-technology.org] r7909 - /trunk/linda/src/Makefile.am Niels Lohmann
• 2012/07/10 [service-technology.org] r7908 - /trunk/chie/src/Makefile.am Niels Lohmann
• 2012/07/10 [service-technology.org] r7907 - in /trunk: anica/m4/ chie/m4/ chie/src/ cora/m4/ cosme/m4/ cosme/src/ domino/m4/ domino/src/ evans/m4/ evans/src/ fiona-gui/src/ fiona/src/ linda/src/ lisa/m4/ lola/m4/ lola/src/ lola/utils/ marlene/m4/ marlene/src/ maxis/m4/ maxis/src/ mia/m4/ mia/src/ patricia/m4/ petia/m4/ rachel/m4/ rachel/src/ rebecca/src/ safira/src/ sayo/m4/ sayo/src/ tara/m4/ tara/src/ tess/m4/ tess/src/ uml2owfn/src/ wendy/m4/ wendy/src/ yasmina/m4/ yasmina/src/ yasmina2/src/ Niels Lohmann
• 2012/07/10 [service-technology.org] r7906 - in /trunk/bpel2owfn/src: Makefile.am ast-details.cc ast-grammar.k frontend-lexer.ll Niels Lohmann
• 2012/07/10 [service-technology.org] r7905 - in /trunk/candy: m4/Makefile.src src/cf-lexic.ll src/nf-lexic.ll src/og-lexic.ll Niels Lohmann
• 2012/07/10 [service-technology.org] r7904 - /trunk/anastasia/src/Makefile.am Niels Lohmann
• 2012/07/10 [service-technology.org] r7903 - /trunk/anastasia/src/lexic_anastasia.ll Niels Lohmann
• 2012/07/09 [service-technology.org] r7902 - in /trunk/_build: build.xml tarballs/Makefile tarballs/texinfo-4.13a.tar.gz Niels Lohmann
• 2012/07/09 [service-technology.org] r7901 - /trunk/_build/build.xml Niels Lohmann
• 2012/07/09 [service-technology.org] r7900 - in /trunk/locretia/src: InnerMarking.cc InnerMarking.h main.cc Simon Heiden
• 2012/07/09 [service-technology.org] r7899 - /trunk/locretia/src/Output.cc Simon Heiden
• 2012/07/09 [service-technology.org] r7898 - /trunk/locretia/doc/locretia.texi Simon Heiden
• 2012/07/08 [service-technology.org] r7897 - in /trunk/lola2/src/Net: Net.cc Net.h Christian Koch
• 2012/07/08 [service-technology.org] r7896 - /trunk/locretia/doc/toolpaper.pdf Simon Heiden
• 2012/07/08 [service-technology.org] r7895 - /trunk/locretia/m4/Makefile.src Simon Heiden
• 2012/07/08 [service-technology.org] r7894 - /trunk/locretia/src/lexic_graph.ll Simon Heiden
• 2012/07/08 [service-technology.org] r7893 - in /trunk/lola2/src: Net/ Stores/ Stores/NetStateEncoder/ Stores/VectorStores/ Christian Koch
• 2012/07/07 [service-technology.org] r7892 - in /trunk/lola2/src: InputOutput/CompressedIO.cc Net/Net.cc Net/Net.h Net/Transition.cc Net/Transition.h Parser/ParserPTNet.cc Parser/ParserPTNet.h Christian Koch
• 2012/07/06 [service-technology.org] r7891 - /trunk/lola2/src/Witness/Condition.cc Niels Lohmann
• 2012/07/05 [service-technology.org] r7890 - in /trunk/lola2/src: Exploration/ParallelExploration.cc Exploration/ParallelExploration.h Net/NetState.cc Net/NetState.h Stores/LocalGlobalStore.cc Stores/LocalGlobalStore.h Gregor Behnke
• 2012/07/05 [service-technology.org] r7889 - /trunk/anica/src/AnicaLib.cc Andreas Lehmann
• 2012/07/04 [service-technology.org] r7888 - in /trunk/lola2/src: Exploration/ParallelExploration.cc Stores/LocalGlobalStore.cc Stores/SIStore/SISuffixTreeStore.cc Stores/SIStore/SISuffixTreeStore.h Gregor Behnke
• 2012/07/04 [service-technology.org] r7887 - in /trunk/lola2/src: Core/main.cc Makefile.am Parser/ParserPTFormula.yy Planning/Task.cc Witness/ Witness/Condition.cc Witness/Condition.h Witness/Event.cc Witness/Event.h cmdline.ggo Niels Lohmann
• 2012/07/04 [service-technology.org] r7886 - /trunk/lola2/src/Parser/ParserPTNet.cc Erik Friese
• 2012/07/04 [service-technology.org] r7885 - in /trunk/lola2: measurements.txt src/Parser/ParserPTNet.cc Erik Friese
• 2012/07/04 [service-technology.org] r7884 - in /trunk/lola2: src/ src/Exploration/ src/Planning/ src/Stores/ src/Stores/SIStore/ tests/ Gregor Behnke
• 2012/07/04 [service-technology.org] r7883 - in /trunk/ondine: ChangeLog NEWS doc/ondine.json src/main.cc Harro Wimmel
• 2012/07/04 [service-technology.org] r7882 - in /trunk/anica: doc/anica.json src/AnicaLib.cc src/AnicaLib.h src/main.cc Andreas Lehmann
• 2012/07/03 [service-technology.org] r7881 - in /trunk/lola2/src: Core/main.cc Planning/Task.cc Planning/Task.h Niels Lohmann
• 2012/07/02 [service-technology.org] r7880 - in /trunk/lola2/tests: package.m4.in testsuite.at Christian Koch
• 2012/07/02 [service-technology.org] r7879 - in /trunk/lola2/src: Exploration/SearchStack.cc Formula/AtomicStatePredicate.cc Stores/Store.cc Gregor Behnke
• 2012/07/02 [service-technology.org] r7878 - in /trunk/lola2: src/Net/LinearAlgebra.cc src/Net/Marking.cc src/Stores/BloomStore.cc tests/Makefile.am tests/testfiles/4state.lola tests/testsuite.at Christian Koch
• 2012/06/29 [service-technology.org] r7877 - in /trunk/lola2: src/Planning/Task.cc src/Stores/BloomStore.cc src/Stores/NetStateEncoder/SimpleCompressedEncoder.cc tests/Makefile.am tests/testfiles/Kanban5.5safe.pnml.lola tests/testsuite.at Christian Koch
• 2012/06/28 [service-technology.org] r7876 - in /trunk/lola2: src/ src/Planning/ src/Stores/ src/Stores/NetStateEncoder/ src/Stores/VectorStores/ tests/ Christian Koch
• 2012/06/28 [service-technology.org] r7875 - in /trunk/sara/src: jobqueue.cc pathfinder.cc reachalyzer.cc sthread.cc Harro Wimmel
• 2012/06/27 [service-technology.org] r7874 - /trunk/sara/src/reachalyzer.cc Harro Wimmel
• 2012/06/26 [service-technology.org] r7873 - in /trunk/sara: src/pathfinder.cc src/sthread.cc tests/testfiles/MAPK320.pnml tests/testfiles/MAPK320.sara Harro Wimmel
• 2012/06/26 [service-technology.org] r7872 - in /trunk/sara: src/Makefile.am src/sthread.cc tests/Makefile.am tests/testsuite.at utils/Makefile.am Harro Wimmel
• 2012/06/25 [service-technology.org] r7871 - in /trunk/locretia: ChangeLog doc/ChangeLog.texi doc/extra_man doc/locretia.json doc/locretia.texi doc/toolpaper.pdf Simon Heiden
• 2012/06/25 [service-technology.org] r7870 - in /trunk/lola2: src/Stores/ src/Stores/NetStateEncoder/ tests/ Gregor Behnke
• 2012/06/25 [service-technology.org] r7869 - in /trunk/lola2/src: Core/ Exploration/ Planning/ Stores/ Gregor Behnke
• 2012/06/25 [service-technology.org] r7868 - in /trunk/sara: m4/Makefile.src utils/Makefile.am Harro Wimmel
• 2012/06/25 [service-technology.org] r7867 - in /trunk/sara: src/lexic_sara.ll utils/lexic_form2sara.ll utils/lexic_lola2sara.ll Harro Wimmel
• 2012/06/23 [service-technology.org] r7866 - in /trunk/lola2/src/Exploration: ParallelExploration.cc ParallelExploration.h Gregor Behnke
• 2012/06/23 [service-technology.org] r7865 - /trunk/lola2/src/Exploration/ParallelExploration.cc Gregor Behnke
• 2012/06/23 [service-technology.org] r7864 - in /trunk/lola2/src: Exploration/DFSExploration.cc Exploration/DFSExploration.h Exploration/ParallelExploration.cc Exploration/ParallelExploration.h InputOutput/Reporter.h Net/Marking.cc Stores/BinStore2.cc Stores/Store.cc Gregor Behnke
• 2012/06/22 [service-technology.org] r7863 - in /trunk/lola2/src/Exploration: SearchStack.cc SearchStack.h Gregor Behnke
• 2012/06/22 [service-technology.org] r7862 - in /trunk/marlene/m4: st_configpp.m4 st_pnapi.m4 Christian Gierds
• 2012/06/22 [service-technology.org] r7861 - /trunk/pnapi/src/libpnapi.pc.in Christian Gierds
• 2012/06/22 [service-technology.org] r7860 - in /website/wendy: ./ download.html g/ g/overview.png getInvolved.html help.html index.html science.html style.css support.html Jan Suermeli
• 2012/06/22 [service-technology.org] r7859 - in /website/sara: ./ download.html g/ g/overview.png getInvolved.html help.html index.html science.html style.css support.html Jan Suermeli
• 2012/06/22 [service-technology.org] r7858 - /trunk/meta/genwebsite/data/requirements.json Jan Suermeli
• 2012/06/22 [service-technology.org] r7857 - in /trunk: _build/ anastasia/doc/ anica/doc/ bpel2owfn/doc/ candy/doc/ chie/doc/ cora/doc/ cosme/doc/ diane/doc/ domino/doc/ fiona/doc/ genet/doc/ linda/doc/ lisa/doc/ lola/doc/ mia/doc/ ondine/doc/ owfn2bpel/doc/ patricia/doc/ petia/doc/ pnapi/doc/ rachel/doc/ rebecca/doc/ safira/doc/ sara/doc/ sayo/doc/ stanca/doc/ tara/doc/ tess/doc/ uml2owfn/doc/ yasmina/doc/ yasmina2/doc/ Jan Suermeli
• 2012/06/22 [service-technology.org] r7856 - in /trunk/locretia/src: Output.cc Output.h main.cc Simon Heiden
• 2012/06/22 [service-technology.org] r7855 - in /trunk/locretia/src: InnerMarking.cc InnerMarking.h Output.cc Output.h main.cc Simon Heiden
• 2012/06/22 [service-technology.org] r7854 - /trunk/sara/utils/Makefile.am Harro Wimmel
• 2012/06/22 [service-technology.org] r7853 - in /trunk/wendy: m4/Makefile.src src/lexic_cover.ll src/lexic_graph.ll src/lexic_reducedgraph.ll Niels Lohmann
• 2012/06/22 [service-technology.org] r7852 - in /trunk/sara: ./ doc/ src/ Harro Wimmel
• 2012/06/22 [service-technology.org] r7851 - in /trunk/wendy/src: lexic_cover.ll lexic_graph.ll lexic_reducedgraph.ll Niels Lohmann
• 2012/06/21 [service-technology.org] r7850 - in /trunk/lola2/src/Exploration: ParallelExploration.cc ParallelExploration.h Gregor Behnke
• 2012/06/21 [service-technology.org] r7849 - in /trunk/lola2: src/Exploration/ src/Net/ src/Stores/ tests/ Gregor Behnke
• 2012/06/21 [service-technology.org] r7848 - /website/css/basic-structure.css Jan Suermeli
• 2012/06/20 [service-technology.org] r7847 - /trunk/lola2/src/Stores/VectorStores/SuffixTreeStore.cc Christian Koch
• 2012/06/20 [service-technology.org] r7846 - in /trunk/lola2/src/Stores: NetStateEncoder/SimpleCompressedEncoder.cc NetStateEncoder/SimpleCompressedEncoder.h VectorStores/SuffixTreeStore.cc Christian Koch
• 2012/06/19 [service-technology.org] r7845 - /trunk/yasmina2/doc/yasmina.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7844 - /trunk/yasmina/doc/yasmina.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7843 - /trunk/uml2owfn/doc/uml2owfn.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7842 - /trunk/tess/doc/tess.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7841 - /trunk/tara/doc/tara.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7840 - /trunk/stanca/doc/stanca.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7839 - /trunk/sayo/doc/sayo.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7838 - /trunk/sara/doc/sara.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7837 - /trunk/safira/doc/safira.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7836 - /trunk/rachel/doc/rachel.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7835 - /trunk/pnapi/doc/pnapi.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7834 - /trunk/genet/doc/genet.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7833 - /trunk/rebecca/doc/rebecca.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7832 - /trunk/petia/doc/petia.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7831 - /trunk/patricia/doc/patricia.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7830 - /trunk/owfn2bpel/doc/owfn2bpel.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7829 - /trunk/ondine/doc/ondine.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7828 - /trunk/mia/doc/mia.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7827 - /trunk/lola/doc/lola.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7826 - /trunk/linda/doc/linda.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7825 - /trunk/lisa/doc/lisa.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7824 - /trunk/fiona/doc/fiona.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7823 - /trunk/domino/doc/domino.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7822 - /trunk/diane/doc/diane.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7821 - /trunk/cosme/doc/cosme.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7820 - /trunk/cora/doc/cora.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7819 - /trunk/chie/doc/chie.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7818 - in /trunk: anica/m4/ candy/m4/ chie/m4/ cora/m4/ cosme/m4/ domino/m4/ evans/m4/ lisa/m4/ locretia/m4/ lola/m4/ lola2/m4/ marlene/m4/ maxis/m4/ mia/m4/ patricia/m4/ petia/m4/ rachel/m4/ sara/m4/ sayo/m4/ tara/m4/ tess/m4/ wendy/m4/ yasmina/m4/ Niels Lohmann
• 2012/06/19 [service-technology.org] r7817 - /trunk/candy/doc/candy.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7816 - /trunk/bpel2owfn/doc/bpel2owfn.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7815 - in /trunk: anastasia/src/Makefile.am bpel2owfn/src/Makefile.am Niels Lohmann
• 2012/06/19 [service-technology.org] r7814 - /trunk/bpel2owfn/doc/bpel2owfn.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7813 - /trunk/anica/doc/anica.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7812 - /trunk/anastasia/doc/anastasia.json Marvin Triebel
• 2012/06/19 [service-technology.org] r7811 - in /trunk/lola2/src/Net: LinearAlgebra.cc Net.cc Andreas Lehmann
• 2012/06/19 [service-technology.org] r7810 - /trunk/lola2/configure.ac Niels Lohmann
• 2012/06/19 [service-technology.org] r7809 - in /trunk/lola2: m4/st_basic.m4 src/Core/main.cc src/Net/LinearAlgebra.cc src/Net/LinearAlgebra.h src/Net/Net.cc src/Net/Net.h src/cmdline.ggo tests/package.m4.in Niels Lohmann
• 2012/06/19 [service-technology.org] r7808 - in /trunk/lola2/src: Net/LinearAlgebra.cc Net/LinearAlgebra.h Net/Net.cc Net/Net.h Parser/ParserPTNet.cc Andreas Lehmann
• 2012/06/19 [service-technology.org] r7807 - in /trunk/lola2/src/Net: LinearAlgebra.cc LinearAlgebra.h Andreas Lehmann
• 2012/06/19 [service-technology.org] r7806 - in /trunk/lola2/src/Net: Net.cc Net.h Andreas Lehmann
• 2012/06/19 [service-technology.org] r7805 - in /trunk/lola2/src: ./ InputOutput/ Net/ Parser/ Andreas Lehmann
• 2012/06/19 [service-technology.org] r7804 - /trunk/_build/tarballs/ Niels Lohmann
• 2012/06/18 [service-technology.org] r7803 - /trunk/lola2/src/Makefile.am Niels Lohmann
• 2012/06/18 [service-technology.org] r7802 - /trunk/locretia/tests/Makefile.am Simon Heiden
• 2012/06/18 [service-technology.org] r7801 - in /trunk/lola2/src: ./ Exploration/ Net/ Planning/ Stores/ Niels Lohmann
• 2012/06/18 [service-technology.org] r7800 - /trunk/lola2/src/Planning/Task.h Niels Lohmann
• 2012/06/18 [service-technology.org] r7799 - in /trunk/lola2/tests: Makefile.am testfiles/planner.lola Niels Lohmann
• 2012/06/16 [service-technology.org] r7798 - in /trunk/lola2/src/Stores/NetStateEncoder: SimpleCompressedEncoder.cc SimpleCompressedEncoder.h Max Görner
• 2012/06/16 [service-technology.org] r7797 - in /trunk/lola2/src/Stores: HuffmanStoreList.cc HuffmanStoreList.h ListStore.cc ListStore.h Max Görner
• 2012/06/15 [service-technology.org] r7796 - /trunk/lola2/tests/Makefile.am Christian Koch
• 2012/06/15 [service-technology.org] r7795 - in /trunk/lola2: ./ src/ src/Core/ src/Planning/ src/Stores/ src/Stores/NetStateEncoder/ src/Stores/VectorStores/ tests/ tests/testfiles/ Christian Koch
• 2012/06/15 [service-technology.org] r7794 - in /trunk/lola2: src/Core/ src/Exploration/ src/Net/ src/Planning/ src/Stores/ tests/ Gregor Behnke
• 2012/06/15 [service-technology.org] r7793 - in /trunk/lola2/src/Parser: LexicFormula.ll ParserPTFormula.yy formula_abstract.k formula_rewrite.k Niels Lohmann
• 2012/06/14 [service-technology.org] r7792 - /branches/lola2/src/Compressors/Huffman.cc Erik Friese
• 2012/06/14 [service-technology.org] r7791 - in /branches/lola2/src/Compressors: Huffman.cc Huffman.h Erik Friese
• 2012/06/14 [service-technology.org] r7790 - in /trunk/lola2: src/Exploration/DFSExploration.cc src/Exploration/SearchStack.cc src/Exploration/SearchStack.h src/Net/NetState.cc src/Planning/Task.cc tests/package.m4.in tests/testsuite.at Christian Sura
• 2012/06/14 [service-technology.org] r7789 - /trunk/locretia/src/Output.cc Simon Heiden
• 2012/06/13 [service-technology.org] r7788 - in /trunk/lola2/src: Makefile.am Planning/Task.cc Stores/LengthCodedBinStore.cc Stores/LengthCodedBinStore.h Stores/SuffixTreeStore.cc cmdline.ggo Christian Koch
• 2012/06/13 [service-technology.org] r7787 - /trunk/locretia/tests/testsuite.at Simon Heiden
• 2012/06/13 [service-technology.org] r7786 - /trunk/locretia/tests/testsuite.at Simon Heiden
• 2012/06/13 [service-technology.org] r7785 - /trunk/locretia/src/main.cc Simon Heiden
• 2012/06/13 [service-technology.org] r7784 - /trunk/locretia/tests/testsuite.at Simon Heiden
• 2012/06/13 [service-technology.org] r7783 - /trunk/locretia/tests/testsuite.at Simon Heiden
• 2012/06/13 [service-technology.org] r7782 - in /trunk/locretia: src/cmdline.ggo src/main.cc tests/testfiles/error02.owfn tests/testfiles/error03.owfn tests/testfiles/error04-1.owfn tests/testfiles/error04-2.owfn tests/testfiles/error06.owfn tests/testfiles/myCoffee.tpn tests/testsuite.at Simon Heiden
• 2012/06/13 [service-technology.org] r7781 - in /trunk/locretia/src: Output.cc Output.h Simon Heiden
• 2012/06/13 [service-technology.org] r7780 - /trunk/locretia/src/Output.cc Simon Heiden
• 2012/06/13 [service-technology.org] r7779 - in /trunk/locretia/src: InnerMarking.cc InnerMarking.h Output.cc Output.h cmdline.ggo main.cc Simon Heiden
• 2012/06/13 [service-technology.org] r7778 - in /trunk/lola2: configure.ac src/Core/Dimensions.h src/Stores/BinStore3.cc Christian Koch
• 2012/06/13 [service-technology.org] r7777 - in /branches/lola2: src/Compressors/Huffman.cc src/Compressors/Huffman.h src/Stores/HuffmanStoreAVL.cc src/Stores/HuffmanStoreAVL.h tests/testfiles/planner.lola Max Görner
• 2012/06/13 [service-technology.org] r7776 - in /trunk/lola2: src/Core/Dimensions.h src/Makefile.am src/Planning/Task.cc src/Stores/BinStore2.h src/Stores/BinStore3.cc src/Stores/BinStore3.h src/Stores/SuffixTreeStore.cc src/Stores/SuffixTreeStore.h src/cmdline.ggo tests/testsuite.at Christian Koch
• 2012/06/13 [service-technology.org] r7775 - /trunk/sara/utils/problem.cc Harro Wimmel
• 2012/06/13 [service-technology.org] r7774 - in /trunk/sara: doc/ChangeLog.texi src/syntax_sara.yy Harro Wimmel
• 2012/06/13 [service-technology.org] r7773 - in /trunk/lola2: src/ src/Core/ src/Exploration/ src/Formula/ src/InputOutput/ src/Net/ src/Parser/ src/Planning/ src/Stores/ tests/ Niels Lohmann
• 2012/06/13 [service-technology.org] r7772 - in /trunk/sara: ./ doc/ libs/lp_solve/ libs/lp_solve_5.5/ libs/lp_solve_5.5/bfp/ libs/lp_solve_5.5/bfp/bfp_LUSOL/ libs/lp_solve_5.5/bfp/bfp_LUSOL/LUSOL/ libs/lp_solve_5.5/colamd/ libs/lp_solve_5.5/shared/ src/ Harro Wimmel
• 2012/06/13 [service-technology.org] r7771 - /trunk/lola2/tests/testsuite.at Andreas Lehmann
• 2012/06/13 [service-technology.org] r7770 - in /trunk/lola2: src/Parser/formula_rewrite.k tests/testsuite.at Niels Lohmann
• 2012/06/13 [service-technology.org] r7769 - in /trunk/lola2/src/Formula: AtomicStatePredicate.cc ConjunctionStatePredicate.cc Andreas Lehmann
• 2012/06/13 [service-technology.org] r7768 - in /trunk/lola2/src/Net: LinearAlgebra.cc LinearAlgebra.h Marking.cc Marking.h Net.h Transition.cc swap.cc Andreas Lehmann
• 2012/06/13 [service-technology.org] r7767 - in /trunk/lola2/src: Exploration/ Formula/ Net/ Parser/ Andreas Lehmann
• 2012/06/13 [service-technology.org] r7766 - in /trunk/lola2/src: Core/Dimensions.h Core/main.cc Planning/Task.cc Planning/Task.h Niels Lohmann
• 2012/06/13 [service-technology.org] r7765 - in /trunk/lola2/src/Exploration: SimpleProperty.h StatePredicateProperty.cc StatePredicateProperty.h Gregor Behnke
• 2012/06/13 [service-technology.org] r7764 - in /trunk/lola2: meetings_protocols/2012-06-13.txt src/Exploration/FirelistStubbornDeadlock.cc src/Net/Marking.cc src/Net/Net.cc src/Net/Transition.cc src/Net/swap.cc Niels Lohmann
• 2012/06/12 [service-technology.org] r7763 - in /branches/lola2/src: Makefile.am Stores/BinStore3.cc Stores/BinStore3.h Stores/SuffixTreeStore.cc Stores/SuffixTreeStore.h utils/SuffixTree.cc Christian Koch
• 2012/06/12 [service-technology.org] r7762 - /trunk/_build/build.xml Niels Lohmann
• 2012/06/12 [service-technology.org] r7761 - /trunk/lola2/src/InputOutput/CompressedIO.cc Andreas Lehmann
• 2012/06/12 [service-technology.org] r7760 - in /trunk/lola2/src: Exploration/DFSExploration.cc Exploration/ParallelExploration.cc Net/Marking.cc Net/Marking.h Andreas Lehmann
• 2012/06/12 [service-technology.org] r7759 - /trunk/meta/genwebsite/data/requirements.json Marvin Triebel
• 2012/06/12 [service-technology.org] r7758 - /trunk/meta/genwebsite/data/requirements.json Marvin Triebel
• 2012/06/12 [service-technology.org] r7757 - in /branches/lola2/src/Compressors: Huffman.cc Huffman.h Erik Friese
• 2012/06/11 [service-technology.org] r7756 - in /trunk/_build/tarballs: Makefile gengetopt-2.22.4.tar.gz gengetopt-2.22.5.tar.gz Niels Lohmann
• 2012/06/11 [service-technology.org] r7755 - /branches/lola2/src/Compressors/Huffman.cc Erik Friese

• Earlier messages
• Later messages