service-tech-commits  

Messages by Date

• 2013/04/26 [service-technology.org] r8354 - in /trunk/megan: configure.ac m4/st_basic.m4 src/Makefile.am src/Socket.cc src/Socket.h src/cmdline.ggo src/main.cc src/scanner.h src/verbose.cc src/verbose.h Niels Lohmann
• 2013/04/25 [service-technology.org] r8353 - in /trunk/megan/src: abstract.k main.cc rewrite.k unparse.k Niels Lohmann
• 2013/04/25 [service-technology.org] r8352 - /trunk/megan/src/rewrite.k Karsten Wolf
• 2013/04/24 [service-technology.org] r8351 - in /trunk/megan/src: abstract.k parser.yy rewrite.k unparse.k Niels Lohmann
• 2013/04/24 [service-technology.org] r8350 - in /trunk/megan/src: !Makefile main.cc parser.yy Niels Lohmann
• 2013/04/24 [service-technology.org] r8349 - in /trunk/megan: ./ doc/ libs/ libs/pnapi/ m4/ src/ tests/ tests/testfiles/ Niels Lohmann
• 2013/04/19 [service-technology.org] r8348 - in /trunk/meta/live2/frontend/fancy: ggos/wendy.ggo inputList.js inputs.js Marvin Triebel
• 2013/04/15 [service-technology.org] r8347 - in /trunk/lola2/src: SweepLine/Sweep.inc cmdline.ggo Harro Wimmel
• 2013/04/14 [service-technology.org] r8346 - in /trunk/ogapi/src/validSubGraphs: Formula.cc Graph.cc Graph.h Node.cc Node.h cmdline.ggo main.cc types.h Simon Heiden
• 2013/04/12 [service-technology.org] r8345 - in /trunk/lola2/src/Stores/VectorStores: HashingWrapperStore.h HashingWrapperStore.inc Harro Wimmel
• 2013/04/12 [service-technology.org] r8344 - in /trunk/lola2/src: Stores/VectorStores/HashingWrapperStore.inc SweepLine/Sweep.h SweepLine/Sweep.inc SweepLine/SweepListStore.h SweepLine/SweepListStore.inc SweepLine/SweepRingStore.h SweepLine/SweepRingStore.inc Harro Wimmel
• 2013/04/11 [service-technology.org] r8343 - in /trunk/meta/live2/frontend/fancy: index.html inputList.js inputs.js jsonEdit.js Marvin Triebel
• 2013/04/09 [service-technology.org] r8342 - in /trunk/meta/live2/frontend/fancy: index.html inputs.js jsonEdit.js Marvin Triebel
• 2013/04/08 [service-technology.org] r8341 - /trunk/lola2/src/Stores/VectorStores/HashingWrapperStore.inc Harro Wimmel
• 2013/04/05 [service-technology.org] r8340 - in /trunk/lola2/src: Exploration/LTLExploration.cc Formula/AtomicStatePredicate.cc Christian Koch
• 2013/04/05 [service-technology.org] r8339 - in /trunk/lola2/src: Exploration/ParallelExploration.cc Exploration/SearchStack.h Exploration/SimpleProperty.h Net/NetState.cc Net/NetState.h Planning/Task.cc Christian Koch
• 2013/04/05 [service-technology.org] r8338 - in /trunk/lola2/src: Exploration/ Net/ Stores/VectorStores/ SweepLine/ Christian Koch
• 2013/04/05 [service-technology.org] r8337 - in /trunk/lola2/src: Makefile.am Planning/Task.h SweepLine/SweepListStore.h SweepLine/SweepListStore.inc SweepLine/SweepRingStore.h SweepLine/SweepRingStore.inc SweepLine/SweepStore.cc SweepLine/SweepStore.h SweepLine/SweepStore.inc Harro Wimmel
• 2013/04/05 [service-technology.org] r8336 - /trunk/pnapi/utils/pathify.cc Niels Lohmann
• 2013/04/04 [service-technology.org] r8335 - in /trunk/meta/live2/frontend/fancy: form2command.js ggoConversion.js ggoGrammar.pegjs ggos/tara.ggo index.html inputList.js inputs.js jsonEdit.js Marvin Triebel
• 2013/04/04 [service-technology.org] r8334 - in /trunk/lola2/src/Exploration: ParallelExploration.cc ParallelExploration.h Gregor Behnke
• 2013/04/04 [service-technology.org] r8333 - in /trunk/lola2/src/Exploration: ParallelExploration.cc ParallelExploration.h Gregor Behnke
• 2013/04/04 [service-technology.org] r8332 - /trunk/lola2/tests/Makefile.am Christian Koch
• 2013/04/04 [service-technology.org] r8331 - in /trunk/lola2/src/Exploration: ParallelExploration.cc ParallelExploration.h Gregor Behnke
• 2013/04/04 [service-technology.org] r8330 - /trunk/lola2/tests/testsuite.at Christian Koch
• 2013/04/03 [service-technology.org] r8329 - in /trunk/lola2/src/Stores/VectorStores: HashingWrapperStore.h HashingWrapperStore.inc PrefixTreeStore.h PrefixTreeStore.inc VBloomStore.h VBloomStore.inc VSTLStore.cc VSTLStore.h VSTLStore.inc VectorStore.h Harro Wimmel
• 2013/04/02 [service-technology.org] r8328 - in /trunk/lola2/src/Stores/VectorStores: HashingWrapperStore.h HashingWrapperStore.inc PrefixTreeStore.h PrefixTreeStore.inc VBloomStore.h VBloomStore.inc VSTLStore.cc VSTLStore.h VSTLStore.inc VectorStore.h Harro Wimmel
• 2013/04/02 [service-technology.org] r8327 - in /trunk/lola2/src: Stores/VectorStores/ SweepLine/ Harro Wimmel
• 2013/03/28 [service-technology.org] r8326 - in /trunk/lola2/src: Net/Net.cc SweepLine/Sweep.inc SweepLine/SweepRingStore.inc cmdline.ggo Harro Wimmel
• 2013/03/27 [service-technology.org] r8325 - in /trunk/meta/live2/frontend/fancy: formatOutput.js ggoConversion.js ggoGrammar.pegjs ggos/wendy.ggo index.html inputList.js inputs.js Marvin Triebel
• 2013/03/25 [service-technology.org] r8324 - in /trunk/meta/live2/frontend/fancy: form2command.js ggoConversion.js ggoGrammar.pegjs index.html inputList.js inputs.js Marvin Triebel
• 2013/03/25 [service-technology.org] r8323 - in /trunk/lola2: src/Exploration/ src/Formula/ src/Formula/LTL/ tests/ Gregor Behnke
• 2013/03/24 [service-technology.org] r8322 - /trunk/lola2/src/Exploration/LTLExploration.cc Gregor Behnke
• 2013/03/24 [service-technology.org] r8321 - in /trunk/lola2/src: Exploration/LTLExploration.cc Exploration/LTLExploration.h Exploration/LTLStack.h Net/Transition.cc Gregor Behnke
• 2013/03/24 [service-technology.org] r8320 - in /trunk/lola2: src/ src/Planning/ src/Stores/VectorStores/ tests/ tests/testfiles/ Christian Koch
• 2013/03/23 [service-technology.org] r8319 - in /trunk/lola2: src/Exploration/LTLExploration.cc src/Exploration/LTLExploration.h src/Formula/LTL/BuechiAutomata.cc src/Formula/LTL/BuechiAutomata.h src/Planning/Task.cc src/Planning/Task.h src/cmdline.ggo tests/testsuite.at Gregor Behnke
• 2013/03/23 [service-technology.org] r8318 - in /trunk/lola2/tests: Makefile.am testfiles/echo-d3r3.name.lola testsuite.at Gregor Behnke
• 2013/03/23 [service-technology.org] r8317 - /trunk/lola2/src/Stores/VectorStores/PrefixTreeStore.inc Christian Koch
• 2013/03/23 [service-technology.org] r8316 - in /trunk/lola2/src/Exploration: ParallelExploration.cc SearchStack.h SimpleProperty.h Gregor Behnke
• 2013/03/23 [service-technology.org] r8315 - /trunk/lola2/src/Exploration/ParallelExploration.cc Christian Koch
• 2013/03/23 [service-technology.org] r8314 - in /trunk/lola2/src: Exploration/LTLExploration.cc Exploration/LTLExploration.h Exploration/LTLStack.h Exploration/ParallelExploration.cc Exploration/SearchStack.cc Exploration/SearchStack.h Exploration/SimpleProperty.h Net/Transition.cc Gregor Behnke
• 2013/03/22 [service-technology.org] r8313 - in /trunk/pnapi/utils: pathify-cmdline.ggo pathify.cc Niels Lohmann
• 2013/03/21 [service-technology.org] r8312 - /trunk/pnapi/utils/pathify.cc Niels Lohmann
• 2013/03/21 [service-technology.org] r8311 - in /trunk/pnapi/utils: pathify-cmdline.ggo pathify.cc Niels Lohmann
• 2013/03/21 [service-technology.org] r8310 - /trunk/meta/nets/challenge/sumo-contest-2012/nets/lola-deadlock-sweepline-deletion.txt Harro Wimmel
• 2013/03/21 [service-technology.org] r8309 - in /trunk/lola2/src/SweepLine: Sweep.inc SweepRingStore.h SweepRingStore.inc Harro Wimmel
• 2013/03/21 [service-technology.org] r8308 - /trunk/meta/nets/challenge/sumo-contest-2012/nets/lola-deadlock-sweepline-deletion.txt Harro Wimmel
• 2013/03/20 [service-technology.org] r8307 - /trunk/meta/live2/frontend/fancy/formatOutput.js Marvin Triebel
• 2013/03/20 [service-technology.org] r8306 - in /trunk/meta/live2/frontend/fancy: ./ bootstrap/ bootstrap/css/ bootstrap/img/ bootstrap/js/ ggos/ Marvin Triebel
• 2013/03/20 [service-technology.org] r8305 - in /trunk/pnapi/utils: pathify-cmdline.ggo pathify.cc Niels Lohmann
• 2013/03/19 [service-technology.org] r8304 - in /trunk/pnapi/utils: Makefile.am pathify-cmdline.ggo pathify.cc Niels Lohmann
• 2013/03/19 [service-technology.org] r8303 - in /trunk/ogapi/src/validSubGraphs: Graph.cc Graph.h Node.cc Node.h cmdline.ggo helpers.cc helpers.h main.cc Simon Heiden
• 2013/03/18 [service-technology.org] r8302 - /trunk/meta/nets/challenge/newcastle/README Harro Wimmel
• 2013/03/16 [service-technology.org] r8301 - /trunk/pnapi/utils/pathify.cc Niels Lohmann
• 2013/03/15 [service-technology.org] r8300 - /trunk/ogapi/src/validSubGraphs/main.cc Simon Heiden
• 2013/03/15 [service-technology.org] r8299 - /trunk/meta/nets/challenge/newcastle/README Harro Wimmel
• 2013/03/15 [service-technology.org] r8298 - /trunk/meta/nets/challenge/newcastle/README Harro Wimmel
• 2013/03/15 [service-technology.org] r8297 - in /trunk/ogapi/src/validSubGraphs: Formula.cc Formula.h Graph.cc Graph.h Node.h cmdline.ggo helpers.cc helpers.h lexer_og.ll main.cc syntax_og.yy types.h Simon Heiden
• 2013/03/14 [service-technology.org] r8296 - /trunk/pnapi/utils/pathify.cc Niels Lohmann
• 2013/03/14 [service-technology.org] r8295 - in /trunk/lola2/src/SweepLine: Sweep.h Sweep.inc SweepRingStore.h SweepRingStore.inc Harro Wimmel
• 2013/03/14 [service-technology.org] r8294 - in /trunk/lola2: src/Net/ src/SweepLine/ tests/ Harro Wimmel
• 2013/03/12 [service-technology.org] r8293 - /trunk/pnapi/utils/pathify.cc Niels Lohmann
• 2013/03/11 [service-technology.org] r8292 - in /trunk/pnapi/utils: Makefile.am pathify.cc Niels Lohmann
• 2013/03/11 [service-technology.org] r8291 - in /trunk/_build/tarballs: Makefile bison-2.6.tar.gz bison-2.7.tar.gz cppcheck-1.54.tar.gz cppcheck-1.58.tar.gz flex-2.5.36.tar.gz flex-2.5.37.tar.gz help2man-1.40.10.tar.gz help2man-1.41.1.tar.gz Niels Lohmann
• 2013/03/11 [service-technology.org] r8290 - in /trunk/_build/tarballs: Makefile automake-1.12.tar.gz automake-1.13.tar.gz doxygen-1.8.1.1.src.tar.gz doxygen-1.8.3.1.src.tar.gz Niels Lohmann
• 2013/02/25 [service-technology.org] r8289 - /trunk/lola2/src/Exploration/ParallelExploration.cc Max Görner
• 2013/02/22 [service-technology.org] r8288 - in /trunk/lola2/src: ./ Exploration/ Planning/ SweepLine/ Harro Wimmel
• 2013/02/20 [service-technology.org] r8287 - in /trunk/lola2/src/Formula/CTL: AUFormula.cc CTLFormula.h DFSFormula.h EUFormula.cc Christian Koch
• 2013/02/20 [service-technology.org] r8286 - in /trunk/lola2: src/ src/Formula/ src/Formula/LTL/ src/Parser/ src/Planning/ tests/ Gregor Behnke
• 2013/02/20 [service-technology.org] r8285 - /trunk/lola2/src/Stores/VectorStores/PrefixTreeStore.inc Harro Wimmel
• 2013/02/15 [service-technology.org] r8284 - /trunk/lola2/tests/testsuite.at Harro Wimmel
• 2013/02/14 [service-technology.org] r8283 - in /trunk/lola2: src/Formula/CTL/AUFormula.cc src/Planning/Task.cc tests/testsuite.at Christian Koch
• 2013/02/14 [service-technology.org] r8282 - in /trunk/lola2/src: Exploration/LTLExploration.cc Formula/LTL/BuechiAutomata.cc Parser/formula_unparse.k Gregor Behnke
• 2013/02/14 [service-technology.org] r8281 - in /trunk/lola2: src/Formula/CTL/ src/Parser/ tests/ Christian Koch
• 2013/02/14 [service-technology.org] r8280 - in /trunk/lola2: src/Formula/NegationStatePredicate.cc src/Formula/NegationStatePredicate.h tests/testsuite.at Gregor Behnke
• 2013/02/14 [service-technology.org] r8279 - in /trunk/lola2: src/ src/Exploration/ src/Formula/LTL/ src/Net/ src/Parser/ src/Planning/ tests/ tests/testfiles/LTL/ Gregor Behnke
• 2013/02/14 [service-technology.org] r8278 - in /trunk/lola2/src: ./ Exploration/ Formula/ Planning/ Harro Wimmel
• 2013/02/06 [service-technology.org] r8277 - in /trunk/lola2/tests: Makefile.am testfiles/CTL/phils-complex.task testsuite.at Max Görner
• 2013/02/02 [service-technology.org] r8276 - in /trunk/ogapi/src/validSubGraphs: Graph.cc Graph.h Node.h main.cc types.h Simon Heiden
• 2013/01/31 [service-technology.org] r8275 - in /trunk/lola2: src/ src/Formula/CTL/ src/Net/ tests/testfiles/ Christian Koch
• 2013/01/31 [service-technology.org] r8274 - /trunk/locretia/src/main.cc Simon Heiden
• 2013/01/31 [service-technology.org] r8273 - /trunk/ogapi/src/validSubGraphs/Graph.cc Simon Heiden
• 2013/01/31 [service-technology.org] r8272 - in /trunk/ogapi/src/validSubGraphs: Graph.cc Graph.h Node.cc Node.h Simon Heiden
• 2013/01/31 [service-technology.org] r8271 - /trunk/lola2/tests/testsuite.at Max Görner
• 2013/01/31 [service-technology.org] r8270 - in /trunk/lola2/tests: Makefile.am testsuite.at Gregor Behnke
• 2013/01/31 [service-technology.org] r8269 - in /trunk/lola2: src/Core/main.cc src/Exploration/LTLExploration.cc src/Planning/Task.cc tests/Makefile.am tests/testsuite.at Gregor Behnke
• 2013/01/30 [service-technology.org] r8268 - /trunk/lola2/tests/testfiles/LTL/fork1.buechi Erik Friese
• 2013/01/30 [service-technology.org] r8267 - in /trunk/lola2/tests/testfiles: LTL/phils5dld.buechi phils1000dld.lola phils10dld.lola phils5dld.lola Erik Friese
• 2013/01/30 [service-technology.org] r8266 - in /trunk/ogapi/src/validSubGraphs: Graph.cc main.cc Simon Heiden
• 2013/01/29 [service-technology.org] r8265 - /trunk/lola2/tests/testfiles/CTL/temporal-disjunction.task Max Görner
• 2013/01/29 [service-technology.org] r8264 - in /trunk/lola2: doc/Bauanleitung_Stores/ src/Parser/ tests/ tests/testfiles/CTL/ Max Görner
• 2013/01/29 [service-technology.org] r8263 - /trunk/ogapi/src/validSubGraphs/lexer_og.ll Simon Heiden
• 2013/01/29 [service-technology.org] r8262 - /trunk/ogapi/Makefile.am Simon Heiden
• 2013/01/29 [service-technology.org] r8261 - in /trunk/ogapi: ./ src/validSubGraphs/ Simon Heiden
• 2013/01/29 [service-technology.org] r8260 - in /trunk/lola2: src/Exploration/ src/Formula/ src/Formula/LTL/ src/Planning/ tests/ tests/testfiles/ tests/testfiles/LTL/ Gregor Behnke
• 2013/01/28 [service-technology.org] r8259 - in /trunk/lola2: src/Exploration/LTLExploration.cc tests/Makefile.am tests/testsuite.at Gregor Behnke
• 2013/01/28 [service-technology.org] r8258 - in /trunk/lola2: src/ src/Exploration/ src/Formula/CTL/ src/Net/ src/Planning/ src/Stores/VectorStores/ tests/ Christian Koch
• 2013/01/28 [service-technology.org] r8257 - in /trunk/lola2: src/Exploration/LTLExploration.cc src/Net/Net.cc src/Parser/ParserPTFormula.yy src/Parser/ParserPTNet.cc src/Parser/Symbol.cc tests/testsuite.at Gregor Behnke
• 2013/01/27 [service-technology.org] r8256 - in /trunk/lola2: src/Exploration/LTLExploration.cc src/Exploration/LTLExploration.h src/Exploration/LTLStack.h tests/testsuite.at Gregor Behnke
• 2013/01/27 [service-technology.org] r8255 - in /trunk/lola2: src/Exploration/ src/Net/ src/Planning/ tests/ tests/testfiles/ Gregor Behnke
• 2013/01/25 [service-technology.org] r8254 - in /trunk/lola2: src/Exploration/ src/Formula/LTL/ src/Net/ tests/ tests/testfiles/ Gregor Behnke
• 2013/01/25 [service-technology.org] r8253 - /trunk/lola2/doc/Bauanleitung_Stores/Anleitung.tex Max Görner
• 2013/01/24 [service-technology.org] r8252 - /trunk/lola2/doc/Bauanleitung_Stores/Anleitung.tex Max Görner
• 2013/01/24 [service-technology.org] r8251 - in /trunk/tara: ChangeLog NEWS configure.ac Jan Suermeli
• 2013/01/24 [service-technology.org] r8250 - /trunk/tara/doc/ChangeLog.texi Jan Suermeli
• 2013/01/24 [service-technology.org] r8249 - /trunk/tara/tests/Makefile.am Jan Suermeli
• 2013/01/23 [service-technology.org] r8248 - /trunk/lola2/tests/testsuite.at Gregor Behnke
• 2013/01/22 [service-technology.org] r8247 - in /trunk/lola2: src/Exploration/ src/Formula/LTL/ src/Planning/ tests/ tests/testfiles/ Gregor Behnke
• 2013/01/22 [service-technology.org] r8246 - in /trunk/ogapi/src: minimize/Makefile.am minimize/lexer_og.ll productOG/Makefile.am productOG/lexic-og.ll Simon Heiden
• 2013/01/21 [service-technology.org] r8245 - in /trunk/locretia/doc: Makefile.am locretia.texi toolpaper.pdf Simon Heiden
• 2013/01/20 [service-technology.org] r8244 - in /trunk/lola2: src/Planning/Task.cc src/cmdline.ggo tests/testsuite.at Christian Koch
• 2013/01/20 [service-technology.org] r8243 - in /trunk/lola2/src: Exploration/CTLExploration.cc Formula/CTL/AUFormula.cc Formula/CTL/DFSFormula.h Formula/CTL/EUFormula.cc Planning/Task.cc Christian Koch
• 2013/01/20 [service-technology.org] r8242 - in /trunk/locretia: src/InnerMarking.cc src/main.cc src/openNet.cc src/openNet.h tests/testsuite.at Simon Heiden
• 2013/01/19 [service-technology.org] r8241 - in /trunk/lola2/src: Formula/LTL/buchi.c Makefile.am Planning/Task.cc Gregor Behnke
• 2013/01/19 [service-technology.org] r8240 - /trunk/lola2/src/Makefile.am Gregor Behnke
• 2013/01/19 [service-technology.org] r8239 - in /trunk/lola2: src/ src/Core/ src/Exploration/ src/Formula/ src/Formula/LTL/ src/Net/ src/Parser/ src/Planning/ tests/ tests/testfiles/ Gregor Behnke
• 2013/01/19 [service-technology.org] r8238 - in /trunk/lola2/src: Formula/CTL/EUFormula.cc Stores/VectorStores/PrefixTreeStore.inc Christian Koch
• 2013/01/18 [service-technology.org] r8237 - in /trunk/lola2/src: Exploration/LTLExploration.cc Exploration/LTLExploration.h Formula/BuechiAutomata.cc Gregor Behnke
• 2013/01/18 [service-technology.org] r8236 - in /trunk/locretia/src: openNet.h serviceAutomaton.h Simon Heiden
• 2013/01/18 [service-technology.org] r8235 - in /trunk/locretia: ./ doc/ src/ Simon Heiden
• 2013/01/18 [service-technology.org] r8234 - in /trunk/lola2: src/Exploration/LTLExploration.cc src/Exploration/LTLExploration.h src/Formula/BuechiAutomata.cc src/Formula/BuechiAutomata.h src/Planning/Task.cc tests/testfiles/empty.buechi Gregor Behnke
• 2013/01/18 [service-technology.org] r8233 - in /trunk/locretia: ChangeLog NEWS REQUIREMENTS THEORY doc/Makefile.am Simon Heiden
• 2013/01/18 [service-technology.org] r8232 - /trunk/locretia/doc/ChangeLog.texi Simon Heiden
• 2013/01/18 [service-technology.org] r8231 - /trunk/locretia/configure.ac Simon Heiden
• 2013/01/18 [service-technology.org] r8230 - in /trunk/locretia: NEWS README REQUIREMENTS THANKS THEORY doc/ChangeLog.texi Simon Heiden
• 2013/01/17 [service-technology.org] r8229 - in /trunk/locretia: doc/locretia.texi src/cmdline.ggo Simon Heiden
• 2013/01/16 [service-technology.org] r8228 - /trunk/lola2/src/Stores/VectorStores/PrefixTreeStore.inc Christian Koch
• 2013/01/16 [service-technology.org] r8227 - /trunk/locretia/tests/testsuite.at Simon Heiden
• 2013/01/16 [service-technology.org] r8226 - in /trunk/locretia: doc/ src/ tests/ Simon Heiden
• 2013/01/15 [service-technology.org] r8225 - /trunk/tara/src/main.cc Jan Suermeli
• 2013/01/15 [service-technology.org] r8224 - in /trunk/lola2/tests: package.m4 package.m4.in Erik Friese
• 2013/01/15 [service-technology.org] r8223 - /trunk/bpel2owfn/src/ Niels Lohmann
• 2013/01/15 [service-technology.org] r8222 - in /trunk/lola2: src/Planning/Task.cc src/Planning/Task.h src/cmdline.ggo tests/package.m4 tests/testsuite.at Erik Friese
• 2013/01/14 [service-technology.org] r8221 - in /trunk/lola2: src/Planning/Task.cc src/Planning/Task.h src/cmdline.ggo tests/testsuite.at Erik Friese
• 2013/01/14 [service-technology.org] r8220 - in /trunk/marlene: m4/Makefile.src m4/st_configpp.m4 src/lexer_adapt_rules.ll src/lexer_marking_information.ll Christian Gierds
• 2013/01/14 [service-technology.org] r8219 - /trunk/marlene/m4/Makefile.src Christian Gierds
• 2013/01/14 [service-technology.org] r8218 - in /trunk/marlene: libs/ m4/ src/ src/json/ Christian Gierds
• 2013/01/14 [service-technology.org] r8217 - /trunk/lola2/src/Parser/formula_unparse.k Max Görner
• 2013/01/11 [service-technology.org] r8216 - in /trunk/locretia/src: InnerMarking.cc main.cc serviceAutomaton.cc serviceAutomaton.h Simon Heiden
• 2013/01/11 [service-technology.org] r8215 - in /trunk/locretia/tests: Makefile.am testfiles/myCoffee.owfn.sa testsuite.at Simon Heiden
• 2013/01/11 [service-technology.org] r8214 - /trunk/locretia/m4/Makefile.src Simon Heiden
• 2013/01/11 [service-technology.org] r8213 - in /trunk/lola2/src: Parser/formula_unparse.k Planning/Task.cc Max Görner
• 2013/01/11 [service-technology.org] r8212 - /trunk/lola2/src/Exploration/SearchStack.h Max Görner
• 2013/01/10 [service-technology.org] r8211 - in /trunk/lola2/src: Formula/CTL/AtomicFormula.h Formula/CTL/EUFormula.cc Parser/formula_unparse.k Christian Koch
• 2013/01/10 [service-technology.org] r8210 - /trunk/lola2/src/Parser/formula_unparse.k Christian Koch
• 2013/01/10 [service-technology.org] r8209 - /trunk/lola2/src/Makefile.am Gregor Behnke
• 2013/01/10 [service-technology.org] r8208 - in /trunk/lola2/tests/testfiles/CTL: ./ temporal-disjunction.task Max Görner
• 2013/01/10 [service-technology.org] r8207 - in /trunk/locretia/src: InnerMarking.cc InnerMarking.h cmdline.ggo generateLog.cc generateLog.h locretia.conf.in main.cc serviceAutomaton.h Simon Heiden
• 2013/01/10 [service-technology.org] r8206 - in /trunk/lola2: src/Parser/LexicBuechi.ll src/Parser/formula_unparse.k tests/Makefile.am tests/testfiles/cycle2.lola tests/testfiles/cycle3.lola tests/testsuite.at Gregor Behnke
• 2013/01/10 [service-technology.org] r8205 - in /trunk/locretia: configure.ac java/ libs/libjvm/ m4/javapath.m4 src/Makefile.am src/PromBridge.cc src/PromBridge.h src/cmdline.ggo src/jni.h src/jni_md.h src/linux/ src/solaris/ src/windows/ Simon Heiden
• 2013/01/10 [service-technology.org] r8204 - /trunk/lola2/src/Exploration/LTLExploration.cc Gregor Behnke
• 2013/01/10 [service-technology.org] r8203 - /trunk/locretia/src/ Simon Heiden
• 2013/01/10 [service-technology.org] r8202 - in /trunk/lola2/src/Exploration: LTLExploration.cc LTLExploration.h Gregor Behnke
• 2013/01/09 [service-technology.org] r8201 - in /trunk/lola2/src: Exploration/ Formula/CTL/ Parser/ Christian Koch
• 2013/01/09 [service-technology.org] r8200 - in /trunk/lola2/src: Parser/ParserPTFormula.yy Parser/formula_rewrite.k Planning/Task.cc Christian Koch
• 2013/01/08 [service-technology.org] r8199 - in /trunk/lola2/src: SweepLine/Sweep.h SweepLine/Sweep.inc SweepLine/SweepRingStore.h SweepLine/SweepRingStore.inc cmdline.ggo Harro Wimmel
• 2013/01/08 [service-technology.org] r8198 - in /trunk/locretia: src/cmdline.ggo src/main.cc tests/testsuite.at Simon Heiden
• 2013/01/08 [service-technology.org] r8197 - in /trunk/locretia/src: cmdline.ggo main.cc Simon Heiden
• 2013/01/07 [service-technology.org] r8196 - in /trunk/lola2/src/Exploration: LTLExploration.cc LTLExploration.h Gregor Behnke
• 2013/01/07 [service-technology.org] r8195 - in /trunk/lola2/src: Core/Dimensions.h Exploration/LTLExploration.cc Exploration/LTLExploration.h Gregor Behnke
• 2013/01/06 [service-technology.org] r8194 - in /trunk/lola2: src/ src/Stores/VectorStores/ tests/ Christian Koch
• 2013/01/04 [service-technology.org] r8193 - in /trunk/lola2/src: Formula/CTL/ConjunctionFormula.h Formula/CTL/DisjunctionFormula.h Parser/formula_unparse.k Planning/Task.cc Max Görner
• 2013/01/04 [service-technology.org] r8192 - /trunk/lola2/src/Formula/CTL/ConjunctionFormula.h Max Görner
• 2013/01/04 [service-technology.org] r8191 - in /trunk/lola2: src/Exploration/ src/Formula/ src/Parser/ src/Planning/ tests/ tests/testfiles/ Gregor Behnke
• 2012/12/26 [service-technology.org] r8190 - in /trunk/lola2: src/ src/InputOutput/ src/Parser/ src/Planning/ src/Stores/VectorStores/ src/Witness/ tests/ Christian Koch
• 2012/12/23 [service-technology.org] r8189 - /trunk/lola2/tests/Makefile.am Gregor Behnke
• 2012/12/23 [service-technology.org] r8188 - /trunk/lola2/tests/testfiles/cycle.lola Gregor Behnke
• 2012/12/23 [service-technology.org] r8187 - in /trunk/lola2: src/Exploration/LTLExploration.cc src/Exploration/LTLExploration.h src/Formula/BuechiAutomata.cc src/Parser/formula_unparse.k src/Planning/Task.cc src/Planning/Task.h tests/testfiles/simple.buechi tests/testsuite.at Gregor Behnke
• 2012/12/23 [service-technology.org] r8186 - in /trunk/lola2: src/Exploration/LTLExploration.cc src/Formula/BuechiAutomata.cc src/Formula/BuechiAutomata.h src/Parser/ParserPTBuechi.yy src/Parser/formula_rewrite.k src/Parser/formula_unparse.k src/Planning/Task.cc tests/testfiles/simple.buechi Gregor Behnke
• 2012/12/23 [service-technology.org] r8185 - in /trunk/lola2: src/Core/main.cc src/Parser/ParserPTBuechi.yy src/Planning/Task.cc tests/testfiles/empty.buechi Gregor Behnke
• 2012/12/22 [service-technology.org] r8184 - in /trunk/lola2: src/ src/Core/ src/Exploration/ src/Formula/CTL/ src/Parser/ src/Planning/ tests/ Christian Koch
• 2012/12/20 [service-technology.org] r8183 - /trunk/lola2/src/Parser/formula_unparse.k Max Görner
• 2012/12/20 [service-technology.org] r8182 - /trunk/lola2/src/Parser/formula_unparse.k Max Görner
• 2012/12/20 [service-technology.org] r8181 - /trunk/lola2/src/Parser/formula_unparse.k Max Görner
• 2012/12/20 [service-technology.org] r8180 - in /trunk/lola2/tests/testfiles: empty.buechi simple.buechi Gregor Behnke
• 2012/12/20 [service-technology.org] r8179 - in /trunk/lola2/src/SweepLine: Sweep.h Sweep.inc Harro Wimmel
• 2012/12/19 [service-technology.org] r8178 - in /trunk/lola2/src: Parser/formula_unparse.k Planning/Task.cc Max Görner
• 2012/12/19 [service-technology.org] r8177 - in /trunk/lola2: src/Net/NetState.h src/Parser/formula_abstract.k src/Parser/formula_unparse.k src/Planning/Task.cc src/Planning/Task.h tests/testfiles/philsunsat.task Max Görner
• 2012/12/19 [service-technology.org] r8176 - in /trunk/lola2/src: Formula/CTL/AGFormula.h Formula/CTL/AXFormula.h Formula/CTL/EGFormula.h Formula/CTL/NotFormula.h Parser/formula_unparse.k Christian Koch
• 2012/12/18 [service-technology.org] r8175 - in /trunk/lola2/src: ./ Exploration/ Planning/ SweepLine/ Harro Wimmel
• 2012/12/18 [service-technology.org] r8174 - in /trunk/lola2/src/Net: Net.cc Transition.cc Transition.h Harro Wimmel
• 2012/12/17 [service-technology.org] r8173 - in /trunk/lola2/src: Core/ Exploration/ Formula/CTL/ Parser/ Planning/ Christian Koch
• 2012/12/17 [service-technology.org] r8172 - in /trunk/lola2/src: Parser/formula_unparse.k Planning/Task.cc Max Görner
• 2012/12/14 [service-technology.org] r8171 - /trunk/lola2/src/Parser/ParserPTBuechi.yy Erik Friese
• 2012/12/14 [service-technology.org] r8170 - in /trunk/lola2/src: Formula/BuechiAutomata.h Parser/LexicBuechi.ll Parser/ParserPTBuechi.yy Parser/formula_abstract.k Parser/formula_rewrite.k Parser/formula_unparse.k Erik Friese
• 2012/12/11 [service-technology.org] r8169 - in /branches/location-pnapi/src: distributor-test.cc distributor.cc distributor.h Aurele Destailleur
• 2012/12/10 [service-technology.org] r8168 - /trunk/lola2/src/Parser/LexicBuechi.ll Gregor Behnke
• 2012/12/10 [service-technology.org] r8167 - /trunk/lola2/src/Parser/ParserPTBuechi.yy Gregor Behnke
• 2012/12/07 [service-technology.org] r8166 - in /trunk/lola2/src: Makefile.am Parser/formula_abstract.k Parser/formula_unparse.k Planning/Task.cc Gregor Behnke
• 2012/12/06 [service-technology.org] r8165 - in /trunk/lola2/src: Exploration/LTLExploration.cc Planning/Task.cc Planning/Task.h cmdline.ggo Gregor Behnke
• 2012/12/05 [service-technology.org] r8164 - /trunk/lola2/src/Exploration/LTLExploration.cc Gregor Behnke
• 2012/12/05 [service-technology.org] r8163 - in /trunk/lola2: doc/Tarjan/ doc/Tarjan/TarjanStack.tex doc/Tarjan/llncs.cls src/Formula/CTL/AUFormula.cc src/Formula/CTL/EUFormula.cc Christian Koch
• 2012/11/28 [service-technology.org] r8162 - in /trunk/stacia: ./ doc/ src/ tests/ tests/testfiles/ Harro Wimmel
• 2012/11/27 [service-technology.org] r8161 - in /trunk/lola2/src: ./ Core/ Exploration/ Formula/CTL/ Planning/ Christian Koch
• 2012/11/27 [service-technology.org] r8160 - in /trunk/lola2/src: Exploration/LTLExploration.cc Exploration/LTLExploration.h Formula/BuechiAutomata.h Gregor Behnke
• 2012/11/23 [service-technology.org] r8159 - in /trunk/stacia: doc/stacia.texi src/formula.cc src/formula.h src/imatrix.cc src/imatrix.h src/main.cc src/netdata.cc src/netdata.h src/sthread.cc src/sthread.h tests/Makefile.am tests/testfiles/expsiphon8a.owfn tests/testsuite.at Harro Wimmel
• 2012/11/22 [service-technology.org] r8158 - in /trunk/stacia: ./ doc/ examplenets/ libs/ libs/minisat/ libs/pnapi/ m4/ src/ tests/ tests/testfiles/ Harro Wimmel
• 2012/11/21 [service-technology.org] r8157 - in /trunk/Service-Tech-Java/uma: examples/ examples/discovery_from_log/ src/hub/top/uma/er/ src/hub/top/uma/repair/ Dirk Fahland
• 2012/11/14 [service-technology.org] r8156 - in /branches/location-marlene: src/marlene.cc tests/testfiles/td_sync2.ar Aurele Destailleur
• 2012/11/14 [service-technology.org] r8155 - in /branches/location-pnapi/src: Makefile.am component.cc component.h distributor-test.cc distributor.cc distributor.h petrinet.cc petrinet.h Aurele Destailleur

• Earlier messages
• Later messages