service-tech-commits  

Messages by Date

• 2014/01/30 [service-technology.org] r8954 - /trunk/bisim/ Johannes Dewender
• 2014/01/30 [service-technology.org] r8953 - /trunk/lola2/src/InputOutput/InputOutput.cc Niels Lohmann
• 2014/01/30 [service-technology.org] r8952 - in /trunk/lola2/src/Stores/VectorStores: VBloomStore.h VBloomStore.inc Niels Lohmann
• 2014/01/30 [service-technology.org] r8951 - in /trunk/lola2/src: Planning/Task.cc Planning/Task.h Stores/VectorStores/VBloomStore.h Stores/VectorStores/VBloomStore.inc Niels Lohmann
• 2014/01/30 [service-technology.org] r8950 - in /trunk/delain: ChangeLog NEWS doc/ChangeLog.texi Johannes Dewender
• 2014/01/30 [service-technology.org] r8949 - /trunk/_build/build.xml Niels Lohmann
• 2014/01/30 [service-technology.org] r8948 - /trunk/lola2/src/Core/Runtime.cc Niels Lohmann
• 2014/01/30 [service-technology.org] r8947 - /trunk/_build/build.xml Niels Lohmann
• 2014/01/30 [service-technology.org] r8946 - in /trunk/lola2/src/Core: Runtime.cc Runtime.h Niels Lohmann
• 2014/01/29 [service-technology.org] r8945 - in /trunk/lola2/src: Core/ Exploration/ Formula/CTL/ Formula/LTL/ Frontend/Parser/ Frontend/SymbolTable/ InputOutput/ Net/ Planning/ Stores/ Niels Lohmann
• 2014/01/29 [service-technology.org] r8926 - in /trunk/bisim: ./ libs/pnapi/ m4/ src/ Johannes Dewender
• 2014/01/29 [service-technology.org] r8924 - in /trunk/bisim: ./ benchmark/ doc/ libs/ libs/pnapi/ m4/ src/ tests/ tests/testfiles/ Johannes Dewender
• 2014/01/29 [service-technology.org] r8934 - in /trunk/delain: src/main.cc tests/testsuite.at Johannes Dewender
• 2014/01/29 [service-technology.org] r8936 - in /trunk/delain: ./ tests/ tests/testfiles/ Johannes Dewender
• 2014/01/29 [service-technology.org] r8930 - in /trunk: bisim/ bisim/benchmark/ bisim/doc/ bisim/m4/ bisim/src/ bisim/tests/ bisim/tests/testfiles/ delain/ delain/benchmark/ delain/doc/ delain/m4/ delain/src/ delain/tests/ delain/tests/testfiles/ Johannes Dewender
• 2014/01/29 [service-technology.org] r8935 - /trunk/bisim/src/synth.cc Johannes Dewender
• 2014/01/29 [service-technology.org] r8929 - in /trunk/bisim/src: Makefile.am cmdline.ggo main.cc synth.cc synth.h types.h util.cc util.h Johannes Dewender
• 2014/01/29 [service-technology.org] r8925 - in /trunk/bisim: AUTHORS ChangeLog NEWS README REQUIREMENTS THANKS THEORY configure.ac doc/Makefile.am doc/bisim.json doc/bisim.texi doc/bsd.json doc/bsd.texi src/Makefile.am Johannes Dewender
• 2014/01/29 [service-technology.org] r8928 - in /trunk/bisim/src: Makefile.am main.cc synth.cc synth.h Johannes Dewender
• 2014/01/29 [service-technology.org] r8931 - in /trunk/delain: Makefile.am configure.ac src/Makefile.am src/bsd.conf.in src/cmdline.ggo src/main.cc Johannes Dewender
• 2014/01/29 [service-technology.org] r8927 - in /trunk/bisim/src: BSD.cc BSD.h Makefile.am Output.h main.cc Johannes Dewender
• 2014/01/29 [service-technology.org] r8933 - in /trunk/delain/tests: Makefile.am package.m4.in testsuite.at Johannes Dewender
• 2014/01/29 [service-technology.org] r8932 - in /trunk/delain: ChangeLog NEWS REQUIREMENTS THEORY configure.ac doc/ChangeLog.texi doc/Makefile.am doc/delain.texi doc/extra_man src/cmdline.ggo Johannes Dewender
• 2014/01/29 [service-technology.org] r8944 - in /trunk/delain: ./ doc/ src/ tests/ Johannes Dewender
• 2014/01/29 [service-technology.org] r8943 - /trunk/delain/.gitignore Johannes Dewender
• 2014/01/29 [service-technology.org] r8942 - /trunk/delain/src/main.cc Johannes Dewender
• 2014/01/29 [service-technology.org] r8941 - in /trunk/delain: src/main.cc src/util.h tests/testsuite.at Johannes Dewender
• 2014/01/29 [service-technology.org] r8940 - /trunk/lola2/src/Planning/Task.cc Niels Lohmann
• 2014/01/29 [service-technology.org] r8939 - in /trunk/lola2: doc/ src/ src/Core/ src/Exploration/ src/Formula/ src/Formula/CTL/ src/Formula/LTL/ src/Frontend/Parser/ src/Net/ src/Planning/ src/Stores/ src/Stores/NetStateEncoder/ src/Stores/VectorStores/ src/utils/ Niels Lohmann
• 2014/01/29 [service-technology.org] r8938 - in /trunk/delain/src: synth.cc synth.h util.cc Johannes Dewender
• 2014/01/29 [service-technology.org] r8937 - in /trunk/bisim/src: synth.cc synth.h util.cc Johannes Dewender
• 2014/01/29 [service-technology.org] r8923 - in /trunk/lola2: doc/ src/Core/ src/Exploration/ src/Formula/ src/Formula/CTL/ src/Formula/LTL/ src/Frontend/Parser/ src/Frontend/SymbolTable/ src/InputOutput/ src/Net/ src/Planning/ src/Stores/ src/Stores/NetStateEncoder/ src/Stores/VectorStores/ src/Symmetry/ src/Witness/ Niels Lohmann
• 2014/01/29 [service-technology.org] r8922 - in /trunk/lola2/src: Core/ Planning/ Stores/ Stores/VectorStores/ Niels Lohmann
• 2014/01/29 [service-technology.org] r8921 - in /trunk/lola2: src/Core/ src/Frontend/Parser/ src/Planning/ src/Witness/ tests/ Niels Lohmann
• 2014/01/29 [service-technology.org] r8920 - /trunk/lola2/m4/Makefile.tests Niels Lohmann
• 2014/01/29 [service-technology.org] r8919 - /trunk/lola2/src/Frontend/Parser/error.cc Niels Lohmann
• 2014/01/29 [service-technology.org] r8918 - in /trunk/lola2: m4/Makefile.tests tests/testsuite.at Niels Lohmann
• 2014/01/29 [service-technology.org] r8917 - in /trunk/lola2: m4/Makefile.tests tests/Makefile.am Niels Lohmann
• 2014/01/29 [service-technology.org] r8916 - /trunk/lola2/tests/testsuite.at Niels Lohmann
• 2014/01/29 [service-technology.org] r8915 - in /trunk/lola2: src/Formula/AtomicStatePredicate.cc src/Frontend/Parser/formula_unparse.k src/Planning/Task.cc tests/testsuite.at Niels Lohmann
• 2014/01/29 [service-technology.org] r8914 - /trunk/lola2/doc/lola.texi Karsten Wolf
• 2014/01/29 [service-technology.org] r8913 - in /trunk/lola2/doc/grammars: ./ formula/ Niels Lohmann
• 2014/01/29 [service-technology.org] r8912 - in /trunk/lola2/src: Core/Dimensions.h Frontend/Parser/formula_unparse.k Planning/Task.cc Niels Lohmann
• 2014/01/29 [service-technology.org] r8911 - in /trunk/lola2: ./ doc/ m4/ src/Core/ src/Frontend/Parser/ src/Witness/ Niels Lohmann
• 2014/01/29 [service-technology.org] r8910 - /trunk/lola2/tests/testsuite.at Niels Lohmann
• 2014/01/29 [service-technology.org] r8909 - /trunk/lola2/src/Core/Handlers.cc Niels Lohmann
• 2014/01/29 [service-technology.org] r8908 - /trunk/lola2/tests/Makefile.am Niels Lohmann
• 2014/01/28 [service-technology.org] r8907 - in /trunk/lola2/src/Formula/CTL: CTLFormula.h ConjunctionFormula.cc DisjunctionFormula.cc valy
• 2014/01/28 [service-technology.org] r8906 - /trunk/lola2/tests/Makefile.am Niels Lohmann
• 2014/01/28 [service-technology.org] r8905 - /trunk/lola2/tests/Makefile.am Niels Lohmann
• 2014/01/28 [service-technology.org] r8904 - /trunk/lola2/doc/lola.texi Niels Lohmann
• 2014/01/28 [service-technology.org] r8903 - /trunk/lola2/doc/lola.texi Karsten Wolf
• 2014/01/28 [service-technology.org] r8902 - in /trunk/_build/tarballs: Makefile doxygen-1.8.3.1.src.tar.gz doxygen-1.8.6.src.tar.gz Niels Lohmann
• 2014/01/28 [service-technology.org] r8901 - /trunk/lola2/doc/lola.texi Karsten Wolf
• 2014/01/28 [service-technology.org] r8900 - /trunk/lola2/tests/testsuite.at Niels Lohmann
• 2014/01/28 [service-technology.org] r8899 - /trunk/lola2/tests/Makefile.am Niels Lohmann
• 2014/01/28 [service-technology.org] r8898 - in /trunk/lola2/src: Core/Handlers.cc Core/main.cc Planning/Task.cc utils/Listener.cc Niels Lohmann
• 2014/01/28 [service-technology.org] r8897 - /trunk/lola2/src/InputOutput/SimpleString.h Niels Lohmann
• 2014/01/28 [service-technology.org] r8896 - /trunk/lola2/tests/testsuite.at Niels Lohmann
• 2014/01/28 [service-technology.org] r8895 - /trunk/lola2/tests/testsuite.at Niels Lohmann
• 2014/01/28 [service-technology.org] r8894 - /trunk/lola2/tests/testsuite.at Niels Lohmann
• 2014/01/28 [service-technology.org] r8893 - /trunk/lola2/tests/testsuite.at Niels Lohmann
• 2014/01/28 [service-technology.org] r8892 - /trunk/lola2/src/Formula/CTL/ valy
• 2014/01/28 [service-technology.org] r8891 - in /trunk/lola2/src: ./ Formula/CTL/ Formula/LTL/ valy
• 2014/01/28 [service-technology.org] r8890 - /trunk/lola2/src/Planning/Task.cc Niels Lohmann
• 2014/01/28 [service-technology.org] r8889 - in /trunk/lola2: configure.ac examples/echo/ examples/echo/echo.lola examples/echo/echo.task Niels Lohmann
• 2014/01/28 [service-technology.org] r8888 - /trunk/lola2/doc/lola.texi Niels Lohmann
• 2014/01/28 [service-technology.org] r8887 - in /trunk/lola2/src: Planning/Task.cc Planning/Task.h cmdline.ggo Niels Lohmann
• 2014/01/28 [service-technology.org] r8886 - in /trunk/lola2/src: Core/main.cc Frontend/Parser/ParserPTNet.cc Niels Lohmann
• 2014/01/28 [service-technology.org] r8885 - in /trunk/lola2/src/Exploration: DFSExploration.cc ParallelExploration.h valy
• 2014/01/28 [service-technology.org] r8884 - in /trunk/lola2/src: Exploration/ InputOutput/ Net/ Stores/VectorStores/ valy
• 2014/01/28 [service-technology.org] r8883 - /trunk/lola2/src/Witness/Event.cc Niels Lohmann
• 2014/01/27 [service-technology.org] r8882 - in /trunk/lola2/src: Planning/Task.cc Planning/Task.h Stores/Store.inc Niels Lohmann
• 2014/01/27 [service-technology.org] r8881 - in /trunk/lola2/src: Core/Runtime.cc Exploration/DFSExploration.cc Exploration/Firelist.cc Exploration/ParallelExploration.h Frontend/SymbolTable/PlaceSymbol.h Net/Net.cc Niels Lohmann
• 2014/01/27 [service-technology.org] r8880 - in /trunk/lola2: ./ examples/ examples/data/ examples/garavel/ examples/mutex/ examples/phils/ Niels Lohmann
• 2014/01/27 [service-technology.org] r8879 - /trunk/lola2/src/Makefile.am Niels Lohmann
• 2014/01/27 [service-technology.org] r8878 - /trunk/lola2/src/cmdline.ggo Niels Lohmann
• 2014/01/27 [service-technology.org] r8877 - /trunk/lola2/tests/testsuite.at Niels Lohmann
• 2014/01/27 [service-technology.org] r8876 - in /trunk/lola2/src: Core/ Exploration/ Formula/ Formula/CTL/ Formula/LTL/ Frontend/Parser/ Frontend/SymbolTable/ InputOutput/ Net/ Planning/ Stores/ Stores/NetStateEncoder/ Stores/VectorStores/ Symmetry/ Witness/ Niels Lohmann
• 2014/01/27 [service-technology.org] r8875 - in /trunk/lola2: doc/lola.texi src/Planning/Task.h src/Stores/Store.inc src/Stores/VectorStores/VBloomStore.inc src/cmdline.ggo Niels Lohmann
• 2014/01/27 [service-technology.org] r8874 - in /trunk/lola2/src: Net/Net.cc Net/Transition.cc Net/Transition.h Planning/Task.cc valy
• 2014/01/27 [service-technology.org] r8873 - /trunk/_meta/live2/Makefile Simon Heiden
• 2014/01/27 [service-technology.org] r8872 - /trunk/lola2/src/InputOutput/Socket.h Niels Lohmann
• 2014/01/27 [service-technology.org] r8871 - in /trunk/lola2: ./ doc/ src/ src/Core/ src/Frontend/Parser/ src/Frontend/SymbolTable/ src/InputOutput/ src/Net/ src/Planning/ src/Stores/ src/Stores/NetStateEncoder/ src/Stores/VectorStores/ src/Witness/ Niels Lohmann
• 2014/01/27 [service-technology.org] r8870 - /trunk/lola2/doc/lola.texi Niels Lohmann
• 2014/01/26 [service-technology.org] r8869 - in /trunk/lola2/src/Net: Net.cc Place.cc Transition.cc valy
• 2014/01/26 [service-technology.org] r8868 - in /trunk: lola/src/userconfig.h lola2/doc/lola.texi lola2/src/cmdline.ggo Karsten Wolf
• 2014/01/24 [service-technology.org] r8867 - /trunk/bsd/src/Output.cc Simon Heiden
• 2014/01/24 [service-technology.org] r8866 - /trunk/_meta/live2/Makefile Simon Heiden
• 2014/01/24 [service-technology.org] r8865 - /trunk/_meta/live2/Makefile Simon Heiden
• 2014/01/23 [service-technology.org] r8864 - in /trunk/marlene: src/adapter.cc src/diagnosis.cc tests/testfiles/diagnosis_tsc/google.ar tests/testsuite.at Christian Gierds
• 2014/01/23 [service-technology.org] r8863 - /trunk/lola2/configure.ac Niels Lohmann
• 2014/01/23 [service-technology.org] r8862 - in /trunk/lola2/src: Core/Runtime.cc InputOutput/Reporter.cc InputOutput/Reporter.h cmdline.ggo Niels Lohmann
• 2014/01/23 [service-technology.org] r8861 - in /trunk/lola2/src: Core/Runtime.cc Core/main.cc Net/Net.cc Planning/Task.cc cmdline.ggo Niels Lohmann
• 2014/01/23 [service-technology.org] r8860 - /trunk/lola2/doc/Makefile.am Niels Lohmann
• 2014/01/23 [service-technology.org] r8859 - in /trunk/lola2/src: InputOutput/Socket.cc Makefile.am utils/Killer.cc utils/Listener.cc Niels Lohmann
• 2014/01/23 [service-technology.org] r8858 - /trunk/lola2/src/Core/Runtime.cc Niels Lohmann
• 2014/01/23 [service-technology.org] r8857 - in /trunk/lola2/src: ./ Core/ Exploration/ Formula/ Frontend/Parser/ InputOutput/ Net/ Planning/ Stores/ Stores/NetStateEncoder/ Stores/VectorStores/ SweepLine/ Symmetry/ Witness/ Niels Lohmann
• 2014/01/23 [service-technology.org] r8856 - /trunk/lola2/doc/lola.texi Niels Lohmann
• 2014/01/23 [service-technology.org] r8855 - in /trunk/lola2/src: Core/main.cc InputOutput/JSON.cc InputOutput/JSON.h Makefile.am Niels Lohmann
• 2014/01/23 [service-technology.org] r8854 - in /trunk/lola2/doc: ./ grammars/ grammars/formula/ grammars/net/ Niels Lohmann
• 2014/01/23 [service-technology.org] r8853 - in /trunk/lola2: src/Core/main.cc src/Witness/Condition.cc src/cmdline.ggo tests/testsuite.at Niels Lohmann
• 2014/01/23 [service-technology.org] r8852 - in /trunk/lola2/src: Core/main.cc Witness/Condition.cc Witness/Condition.h Witness/Event.cc Witness/Event.h Witness/Path.cc Witness/Path.h Niels Lohmann
• 2014/01/22 [service-technology.org] r8851 - in /trunk/lola2/src: Core/main.cc Exploration/SimpleProperty.h Planning/Task.cc Planning/Task.h Witness/Path.cc Witness/Path.h Niels Lohmann
• 2014/01/22 [service-technology.org] r8850 - in /trunk/lola2/src/Witness: Path.cc Path.h Niels Lohmann
• 2014/01/22 [service-technology.org] r8849 - in /trunk/lola2/src: ./ Core/ Exploration/ Formula/CTL/ Planning/ Niels Lohmann
• 2014/01/21 [service-technology.org] r8848 - in /trunk/lola2/doc/grammars: formula.ebnf formula.xhtml net.ebnf net.xhtml Niels Lohmann
• 2014/01/21 [service-technology.org] r8847 - /trunk/lola2/doc/lola.texi Niels Lohmann
• 2014/01/21 [service-technology.org] r8846 - in /trunk/lola2: Makefile.am configure.ac doc/Doxyfile.in doc/Makefile doc/Makefile.am doc/gendocs.sh doc/gendocs_template doc/lola.texi Niels Lohmann
• 2014/01/21 [service-technology.org] r8845 - /trunk/lola2/src/cmdline.ggo Niels Lohmann
• 2014/01/21 [service-technology.org] r8844 - /trunk/lola2/src/Net/Net.cc Niels Lohmann
• 2014/01/20 [service-technology.org] r8843 - /trunk/lola2/src/Planning/Task.cc Niels Lohmann
• 2014/01/20 [service-technology.org] r8842 - /trunk/lola2/src/Planning/Task.cc Niels Lohmann
• 2014/01/20 [service-technology.org] r8841 - in /trunk/lola2/src: Core/main.cc Planning/Task.cc Niels Lohmann
• 2014/01/20 [service-technology.org] r8840 - in /trunk/_meta/live2/frontend/fancy: data/ggos/bsd.ggo index.html Marvin Triebel
• 2014/01/20 [service-technology.org] r8839 - /trunk/_meta/live2/frontend/fancy/index.html Marvin Triebel
• 2014/01/17 [service-technology.org] r8838 - /trunk/lola2/src/Net/Net.cc valy
• 2014/01/16 [service-technology.org] r8837 - in /trunk/lola2/src: Core/main.cc Exploration/RandomWalk.cc Exploration/RandomWalk.h Makefile.am Net/LinearAlgebra.h Planning/Task.cc Planning/Task.h valy
• 2014/01/16 [service-technology.org] r8836 - /trunk/lola2/src/SweepLine/SweepRingStore.inc Harro Wimmel
• 2014/01/16 [service-technology.org] r8835 - /trunk/lola2/src/cmdline.ggo Karsten Wolf
• 2014/01/15 [service-technology.org] r8834 - /trunk/lola2/src/cmdline.ggo Karsten Wolf
• 2014/01/15 [service-technology.org] r8833 - in /trunk/lola2: src/Core/main.cc src/Planning/Task.cc src/Witness/Condition.cc src/cmdline.ggo tests/testsuite.at Niels Lohmann
• 2014/01/14 [service-technology.org] r8832 - in /trunk/lola2/src: Exploration/RandomWalk.cc Net/LinearAlgebra.h Net/Net.cc Planning/Task.cc valy
• 2014/01/14 [service-technology.org] r8831 - /trunk/_meta/live2/frontend/fancy/index.html Marvin Triebel
• 2014/01/14 [service-technology.org] r8830 - in /trunk/tara/src: ServiceTools.cc main.cc Marvin Triebel
• 2014/01/14 [service-technology.org] r8829 - /trunk/_meta/live2/backend/tools.json Marvin Triebel
• 2014/01/14 [service-technology.org] r8828 - in /trunk/_meta/live2: Makefile backend/live.js backend/tools.json Marvin Triebel
• 2014/01/13 [service-technology.org] r8827 - /branches/firewall-marlene/src/adapter.cc Christian Gierds
• 2014/01/10 [service-technology.org] r8826 - in /trunk/bsd: doc/bsd.texi src/parser.cc Simon Heiden
• 2014/01/10 [service-technology.org] r8825 - in /website/locretia: download.html index.html support.html Simon Heiden
• 2014/01/10 [service-technology.org] r8824 - in /trunk/locretia: ChangeLog NEWS configure.ac doc/ChangeLog.texi Simon Heiden
• 2014/01/10 [service-technology.org] r8823 - in /website: bsd/download.html locretia/download.html Simon Heiden
• 2014/01/10 [service-technology.org] r8822 - /trunk/locretia/doc/locretia.json Simon Heiden
• 2014/01/10 [service-technology.org] r8821 - /trunk/_meta/genwebsite/template/tool/download.html Simon Heiden
• 2014/01/10 [service-technology.org] r8820 - in /trunk/bsd/src: BSD.cc BSD.h Simon Heiden
• 2014/01/10 [service-technology.org] r8819 - /trunk/bsd/src/MP.cc Simon Heiden
• 2014/01/09 [service-technology.org] r8818 - /trunk/lola/doc/lola.texi Christian Gierds
• 2014/01/09 [service-technology.org] r8817 - in /trunk/marlene: src/ tests/ tests/testfiles/diagnosis_tsc/ tests/testfiles/tsc/ Christian Gierds
• 2014/01/08 [service-technology.org] r8816 - in /trunk/marlene: src/adapter.cc src/diagnosis.cc src/diagnosis.h tests/testfiles/d1_final.owfn tests/testfiles/d2_final.owfn tests/testfiles/diag_final.ar tests/testsuite.at Christian Gierds
• 2014/01/08 [service-technology.org] r8815 - in /trunk/_meta/live2/frontend/fancy: index.html js/class.inputs.js js/obj.formatOutput.js Marvin Triebel
• 2014/01/07 [service-technology.org] r8814 - in /trunk/_meta/live2/frontend/fancy: data/ggos/bpel2owfn.ggo data/ggos/tara.ggo js/class.viz.js Marvin Triebel
• 2014/01/07 [service-technology.org] r8813 - in /trunk/tara/src: cmdline.ggo main.cc Marvin Triebel
• 2014/01/07 [service-technology.org] r8812 - /trunk/bsd/doc/bsd.json Simon Heiden
• 2014/01/07 [service-technology.org] r8811 - /trunk/tara/src/ServiceTools.cc Marvin Triebel
• 2014/01/07 [service-technology.org] r8810 - /trunk/bsd/NEWS Simon Heiden
• 2014/01/07 [service-technology.org] r8809 - /website/bsd/download.html Simon Heiden
• 2014/01/07 [service-technology.org] r8808 - in /website/bsd: download.html index.html support.html Simon Heiden
• 2014/01/07 [service-technology.org] r8807 - /trunk/bsd/doc/bsd.json Simon Heiden
• 2014/01/07 [service-technology.org] r8806 - in /trunk/bsd: ChangeLog doc/bsd.json Simon Heiden
• 2014/01/07 [service-technology.org] r8805 - /trunk/_build/tarballs/Makefile Niels Lohmann
• 2014/01/07 [service-technology.org] r8804 - in /trunk/bsd: configure.ac doc/ChangeLog.texi doc/bsd.json Simon Heiden
• 2014/01/07 [service-technology.org] r8803 - /trunk/_build/tarballs/ Niels Lohmann
• 2014/01/06 [service-technology.org] r8802 - in /trunk/_meta/live2/frontend/fancy: index.html lib/viz.js Marvin Triebel
• 2014/01/06 [service-technology.org] r8801 - /trunk/_meta/live2/frontend/fancy/js/obj.fileExplorer.js Marvin Triebel
• 2014/01/06 [service-technology.org] r8800 - in /trunk/tara/src: ServiceTools.cc ServiceTools.h cmdline.ggo main.cc Marvin Triebel
• 2014/01/05 [service-technology.org] r8799 - in /trunk/bsd/src: BSD.cc BSD.h InnerMarking.h MP.cc main.cc types.h Simon Heiden
• 2014/01/02 [service-technology.org] r8798 - /trunk/_meta/live2/frontend/fancy/js/obj.formatOutput.js Marvin Triebel
• 2014/01/01 [service-technology.org] r8797 - in /trunk/bsd/src: BSD.cc BSD.h MP.cc types.h Simon Heiden
• 2013/12/30 [service-technology.org] r8796 - in /trunk/bsd: doc/bsd.json src/BSD.cc src/BSD.h src/CSD.cc src/InnerMarking.h src/MP.cc src/Output.cc src/Output.h src/confcheck.cc src/confcheck.h src/main.cc src/parser.cc src/parser.h src/partnercheck.cc src/partnercheck.h src/types.h Simon Heiden
• 2013/12/30 [service-technology.org] r8795 - in /website/bsd: download.html index.html Simon Heiden
• 2013/12/30 [service-technology.org] r8794 - in /website/bsd: ./ download.html g/ g/overview.png getInvolved.html index.html science.html style.css support.html Simon Heiden
• 2013/12/30 [service-technology.org] r8793 - in /branches/firewall-marlene: ChangeLog src/adapter.cc Christian Gierds
• 2013/12/27 [service-technology.org] r8792 - in /trunk/charlotte: ./ UnitTestProject1/ UnitTestProject1/Properties/ WebserviceAdapter/ WebserviceAdapter/Properties/ Fabian Weber
• 2013/12/27 [service-technology.org] r8791 - /trunk/charlotte/charlotte/ Fabian Weber
• 2013/12/27 [service-technology.org] r8790 - /trunk/charlotte/charlotte/ Fabian Weber
• 2013/12/27 [service-technology.org] r8789 - /trunk/charlotte/ Fabian Weber
• 2013/12/20 [service-technology.org] r8788 - in /trunk/_meta/live2/frontend/fancy: ./ bootstrap/ data/ data/ggos/ ggos/ js/ lib/ lib/bootstrap/ Marvin Triebel
• 2013/12/19 [service-technology.org] r8787 - in /trunk/marlene: configure.ac src/adapter.cc src/diagnosis.cc src/diagnosis.h src/markings.cc tests/testsuite.at Christian Gierds
• 2013/12/16 [service-technology.org] r8786 - in /trunk/lola2/src: ./ Core/ Frontend/ Frontend/Parser/ Frontend/SymbolTable/ InputOutput/ Net/ Parser/ Planning/ Niels Lohmann
• 2013/12/16 [service-technology.org] r8785 - in /trunk/lola2/src: ./ Core/ InputOutput/ Net/ Parser/ Parser/Parser/ Parser/SymbolTable/ Planning/ Niels Lohmann
• 2013/12/13 [service-technology.org] r8784 - in /trunk/bsd/src: BSD.cc BSD.h CSD.cc CSD.h MP.cc MP.h Output.cc Output.h cmdline.ggo confcheck.h main.cc openNet.h parser.h partnercheck.h types.h Simon Heiden
• 2013/12/13 [service-technology.org] r8783 - in /trunk/sara/src: JSON.cc JSON.h pathfinder.cc Harro Wimmel
• 2013/12/13 [service-technology.org] r8782 - /trunk/pnapi/src/io-format.cc Niels Lohmann
• 2013/12/12 [service-technology.org] r8781 - /trunk/bsd/src/Output.cc Simon Heiden
• 2013/12/12 [service-technology.org] r8780 - /branches/firewall-marlene/ Christian Gierds
• 2013/12/11 [service-technology.org] r8779 - in /trunk/_meta/code/JSON: Makefile.am README.md src/JSON.cc test/JSON_test.cc Niels Lohmann
• 2013/12/10 [service-technology.org] r8778 - /trunk/lola2/src/Parser/Lexic.ll Niels Lohmann
• 2013/12/10 [service-technology.org] r8777 - in /trunk/lola2: doc/grammars/ src/Parser/ Niels Lohmann
• 2013/12/09 [service-technology.org] r8776 - in /trunk/lola2/src: InputOutput/CompressedIO.cc Net/Net.cc Net/Net.h Parser/ParserPTNet.cc Parser/PlaceSymbol.cc Parser/PlaceSymbol.h Parser/Symbol.cc Parser/Symbol.h Parser/TransitionSymbol.cc Parser/TransitionSymbol.h Niels Lohmann
• 2013/12/09 [service-technology.org] r8775 - /trunk/lola2/src/Parser/Symbol.h Niels Lohmann
• 2013/12/06 [service-technology.org] r8774 - in /trunk/lola2: ./ src/ src/Core/ src/InputOutput/ src/Net/ src/Parser/ tests/ Niels Lohmann
• 2013/12/06 [service-technology.org] r8773 - in /trunk/lola2/src: Core/main.cc Parser/Lexic.ll Parser/error.cc Planning/Task.cc Niels Lohmann
• 2013/12/06 [service-technology.org] r8772 - in /trunk/lola2/src: ./ Core/ InputOutput/ Parser/ Planning/ Niels Lohmann
• 2013/12/05 [service-technology.org] r8771 - in /trunk/lola2/src: Parser/Diagnosis.cc Stores/Store.inc Niels Lohmann
• 2013/12/05 [service-technology.org] r8770 - /trunk/lola2/src/Parser/Diagnosis.cc Niels Lohmann
• 2013/12/05 [service-technology.org] r8769 - /trunk/lola2/src/Parser/Diagnosis.cc Niels Lohmann
• 2013/12/05 [service-technology.org] r8768 - in /trunk/lola2/src: Makefile.am Parser/Diagnosis.cc Parser/Diagnosis.h Parser/Lexic.ll Parser/ParserPTNetLoLA.yy Niels Lohmann
• 2013/12/03 [service-technology.org] r8767 - in /website/tara: download.html index.html Marvin Triebel
• 2013/12/03 [service-technology.org] r8766 - /trunk/_meta/code/JSON/src/JSON.cc Niels Lohmann
• 2013/12/02 [service-technology.org] r8765 - in /trunk/bsd/src: InnerMarking.cc Label.cc Label.h Simon Heiden
• 2013/11/29 [service-technology.org] r8764 - /trunk/bsd/Makefile.am Simon Heiden
• 2013/11/29 [service-technology.org] r8763 - /trunk/bsd/tests/testsuite.at Simon Heiden
• 2013/11/29 [service-technology.org] r8762 - in /trunk/bsd/src: lexic_graph.cc main.cc Simon Heiden
• 2013/11/29 [service-technology.org] r8761 - /trunk/lola/src/configs/boundedgraph/userconfig.h Simon Heiden
• 2013/11/28 [service-technology.org] r8760 - /trunk/tara/NEWS Marvin Triebel
• 2013/11/28 [service-technology.org] r8759 - in /trunk/tara: NEWS tests/Makefile.am Marvin Triebel
• 2013/11/28 [service-technology.org] r8758 - /trunk/tara/tests/Makefile.am Marvin Triebel
• 2013/11/28 [service-technology.org] r8757 - /trunk/tara/tests/Makefile.am Marvin Triebel
• 2013/11/28 [service-technology.org] r8756 - in /trunk/tara: ChangeLog configure.ac Marvin Triebel
• 2013/11/27 [service-technology.org] r8755 - in /trunk/bsd: ./ doc/ m4/ src/ Simon Heiden

• Earlier messages
• Later messages