Author: niels
Date: Wed Oct 14 11:32:03 2009
New Revision: 4830
URL: http://svn.gna.org/viewcvs/service-tech?rev=4830&view=rev
Log:
------------------------------------------------------------------------
r7 | suermeli | 2009-10-10 15:43:22 +0200 (Sa, 10 Okt 2009) | 1 line
Changed paths:
M /trunk/linda/src/eventTerm.h
M /trunk/linda/src/files.h
M /trunk/linda/src/helpers.h
M /trunk/linda/src/main.cc
M /trunk/linda/src/setsOfFinalMarkings.h
M /trunk/linda/src/stateEquation.h
Kommentare
------------------------------------------------------------------------
r9 | suermeli | 2009-10-10 16:35:55 +0200 (Sa, 10 Okt 2009) | 1 line
Changed paths:
M /trunk/linda/src/main.cc
fehlerhaftes delete entfernt.
------------------------------------------------------------------------
r11 | suermeli | 2009-10-11 00:03:06 +0200 (So, 11 Okt 2009) | 2 lines
Changed paths:
M /trunk/linda/src/main.cc
M /trunk/linda/src/setsOfFinalMarkings.cc
M /trunk/linda/src/stateEquation.cc
M /trunk/linda/src/stateEquation.h
kommentare
neues static member
------------------------------------------------------------------------
r12 | suermeli | 2009-10-11 08:51:57 +0200 (So, 11 Okt 2009) | 1 line
Changed paths:
M /trunk/linda/src/main.cc
M /trunk/linda/src/stateEquation.cc
M /trunk/linda/src/stateEquation.h
Mehr static members!
------------------------------------------------------------------------
r20 | suermeli | 2009-10-11 18:18:45 +0200 (So, 11 Okt 2009) | 3 lines
Changed paths:
M /trunk/linda/src/Makefile.am
M /trunk/linda/src/cmdline.ggo
M /trunk/linda/src/eventTerm.cc
M /trunk/linda/src/eventTerm.h
M /trunk/linda/src/files.cc
M /trunk/linda/src/files.h
M /trunk/linda/src/helpers.cc
M /trunk/linda/src/helpers.h
M /trunk/linda/src/main.cc
M /trunk/linda/src/setsOfFinalMarkings.cc
M /trunk/linda/src/setsOfFinalMarkings.h
M /trunk/linda/src/stateEquation.cc
M /trunk/linda/src/stateEquation.h
A /trunk/linda/src/verbose.cc
A /trunk/linda/src/verbose.h
- Removed interactive mode.
- Added Niels verbose functions
- Changed message/status/abort output behavior. output file format has not been
changed. if -o <logfilename.log> is not given, linda now writes the output file
to std::cout.
------------------------------------------------------------------------
r22 | suermeli | 2009-10-11 21:11:48 +0200 (So, 11 Okt 2009) | 2 lines
Changed paths:
M /trunk/linda/src/syntax_et.yy
M /trunk/linda/tests/testfiles/accrej.et
M /trunk/linda/tests/testfiles/accrej.output2.check
A /trunk/linda/tests/testfiles/accrej_short.owfn
M /trunk/linda/tests/testsuite.at
- Added a new (hopefully portable) testcase.
- Small fix in the parser.
------------------------------------------------------------------------
r24 | suermeli | 2009-10-11 21:48:41 +0200 (So, 11 Okt 2009) | 2 lines
Changed paths:
M /trunk/linda/libs/lp_solve/lp_types.h
M /trunk/linda/src/files.cc
M /trunk/linda/src/main.cc
M /trunk/linda/src/stateEquation.cc
- A step forward to make lp_solve ISO compliant
- Added a few std::'s to set declarations.
------------------------------------------------------------------------
r25 | suermeli | 2009-10-11 22:25:35 +0200 (So, 11 Okt 2009) | 1 line
Changed paths:
M /trunk/linda/src/stateEquation.cc
Another step towards iso c++
------------------------------------------------------------------------
r33 | suermeli | 2009-10-12 00:02:51 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/linda/tests/Makefile.am
added needed files to testfiles.
------------------------------------------------------------------------
r35 | suermeli | 2009-10-12 00:20:29 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/linda/configure.ac
Added checking for type int64_t to the configure.ac.
------------------------------------------------------------------------
r41 | suermeli | 2009-10-12 10:55:02 +0200 (Mo, 12 Okt 2009) | 2 lines
Changed paths:
M /trunk/linda/src/cmdline.ggo
M /trunk/linda/src/eventTerm.cc
M /trunk/linda/src/files.cc
M /trunk/linda/src/helpers.cc
M /trunk/linda/src/helpers.h
M /trunk/linda/src/main.cc
M /trunk/linda/src/setsOfFinalMarkings.cc
M /trunk/linda/src/stateEquation.cc
M /trunk/linda/src/verbose.cc
- Format correction
- Hidden mode --about
------------------------------------------------------------------------
r58 | suermeli | 2009-10-12 15:41:55 +0200 (Mo, 12 Okt 2009) | 2 lines
Changed paths:
M /trunk/linda/configure.ac
M /trunk/linda/src/Makefile.am
M /trunk/linda/src/cmdline.ggo
M /trunk/linda/src/eventTerm.cc
M /trunk/linda/src/eventTerm.h
A /trunk/linda/src/lindaAgent.cc
A /trunk/linda/src/lindaAgent.h
M /trunk/linda/src/main.cc
M /trunk/linda/src/stateEquation.cc
M /trunk/linda/src/stateEquation.h
Adding mode -1 --level-1 to Linda that finds mutual exclusions.
Beginning the library creation process.
------------------------------------------------------------------------
r59 | suermeli | 2009-10-12 16:05:17 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/linda/libs/lp_solve/Makefile.am
M /trunk/linda/src/Makefile.am
M /trunk/linda/src/main.cc
A library is constructed. We are not sure if it works at all.
------------------------------------------------------------------------
r71 | suermeli | 2009-10-12 20:57:19 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/linda/configure.ac
M /trunk/linda/libs/lp_solve/Makefile.am
M /trunk/linda/src/Makefile.am
M /trunk/linda/src/eventTerm.cc
M /trunk/linda/src/helpers.h
M /trunk/linda/src/lindaAgent.cc
M /trunk/linda/src/lindaAgent.h
M /trunk/linda/src/stateEquation.cc
Linda can serve as a library for wendy calculating an XOR table for the
(sending) events.
------------------------------------------------------------------------
r72 | suermeli | 2009-10-12 21:11:30 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/linda/src/lindaAgent.cc
M /trunk/linda/src/stateEquation.cc
------------------------------------------------------------------------
r82 | suermeli | 2009-10-13 10:25:04 +0200 (Di, 13 Okt 2009) | 2 lines
Changed paths:
M /trunk/linda/src/Makefile.am
A /trunk/linda/src/eventTermParser.cc
A /trunk/linda/src/eventTermParser.h
M /trunk/linda/src/files.cc
M /trunk/linda/src/files.h
M /trunk/linda/src/main.cc
M /trunk/linda/src/setsOfFinalMarkings.h
- commented the liblinda stuff out again, at this point, only the linda binary
is built.
- started refactoring process: linda = linda exectuable + linda library
------------------------------------------------------------------------
r84 | suermeli | 2009-10-13 13:18:16 +0200 (Di, 13 Okt 2009) | 1 line
Changed paths:
M /trunk/linda/src/lindaAgent.cc
M /trunk/linda/src/lindaAgent.h
M /trunk/linda/src/main.cc
Added some more functionality to the LindaAgent.
------------------------------------------------------------------------
r85 | suermeli | 2009-10-13 13:42:13 +0200 (Di, 13 Okt 2009) | 1 line
Changed paths:
M /trunk/linda/src/lindaAgent.cc
Added even more functionality to the LindaAgent (finalize is still not
complete).
Added:
trunk/linda/src/eventTermParser.cc
trunk/linda/src/eventTermParser.h
trunk/linda/src/lindaAgent.cc
trunk/linda/src/lindaAgent.h
trunk/linda/src/verbose.cc
trunk/linda/src/verbose.h
trunk/linda/tests/testfiles/accrej_short.owfn
Modified:
trunk/linda/configure.ac
trunk/linda/libs/lp_solve/Makefile.am
trunk/linda/libs/lp_solve/lp_types.h
trunk/linda/src/Makefile.am
trunk/linda/src/cmdline.ggo
trunk/linda/src/eventTerm.cc
trunk/linda/src/eventTerm.h
trunk/linda/src/files.cc
trunk/linda/src/files.h
trunk/linda/src/helpers.cc
trunk/linda/src/helpers.h
trunk/linda/src/main.cc
trunk/linda/src/setsOfFinalMarkings.cc
trunk/linda/src/setsOfFinalMarkings.h
trunk/linda/src/stateEquation.cc
trunk/linda/src/stateEquation.h
trunk/linda/src/syntax_et.yy
trunk/linda/tests/Makefile.am
trunk/linda/tests/testfiles/accrej.et
trunk/linda/tests/testfiles/accrej.output2.check
trunk/linda/tests/testsuite.at
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
