Author: niels
Date: Wed Oct 14 11:29:05 2009
New Revision: 4826
URL: http://svn.gna.org/viewcvs/service-tech?rev=4826&view=rev
Log:
------------------------------------------------------------------------
r50 | kathrin | 2009-10-12 14:37:36 +0200 (Mo, 12 Okt 2009) | 2 lines
Changed paths:
M /trunk/safira/src/Formula.cc
M /trunk/safira/src/Formula.h
M /trunk/safira/src/Graph.cc
M /trunk/safira/src/types.h
* fixed errors of cppcheck
* removed compiler warnings concerning formula.cc
------------------------------------------------------------------------
r56 | kathrin | 2009-10-12 15:21:57 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/safira/src/Node.cc
M /trunk/safira/src/Node.h
* removed compiler warnings concerning class Node
------------------------------------------------------------------------
r60 | kathrin | 2009-10-12 16:16:09 +0200 (Mo, 12 Okt 2009) | 2 lines
Changed paths:
M /trunk/safira/src/helpers.cc
M /trunk/safira/src/testNode.cc
M /trunk/safira/tests/Makefile.am
M /trunk/safira/tests/cover.sh.in
A /trunk/safira/tests/zcov
A /trunk/safira/tests/zcov/GCovGroup.py
A /trunk/safira/tests/zcov/GCovParser.py
A /trunk/safira/tests/zcov/js
A /trunk/safira/tests/zcov/js/sorttable.js
A /trunk/safira/tests/zcov/js/sourceview.js
A /trunk/safira/tests/zcov/style.css
A /trunk/safira/tests/zcov/zcov-genhtml
A /trunk/safira/tests/zcov/zcov-merge
A /trunk/safira/tests/zcov/zcov-scan
A /trunk/safira/tests/zcov/zcov-summarize
* added zcov for testing branch coverage
* removed more compiler warnings
------------------------------------------------------------------------
r67 | niels | 2009-10-12 17:48:09 +0200 (Mo, 12 Okt 2009) | 3 lines
Changed paths:
M /trunk/safira/Makefile.am
M /trunk/safira/configure.ac
A /trunk/safira/libs
A /trunk/safira/libs/minisat
A /trunk/safira/libs/minisat/Alg.h
A /trunk/safira/libs/minisat/Heap.h
A /trunk/safira/libs/minisat/Main.C
A /trunk/safira/libs/minisat/Makefile.am
A /trunk/safira/libs/minisat/Solver.C
A /trunk/safira/libs/minisat/Solver.h
A /trunk/safira/libs/minisat/SolverTypes.h
A /trunk/safira/libs/minisat/Sort.h
A /trunk/safira/libs/minisat/Vec.h
M /trunk/safira/src/Formula.cc
M /trunk/safira/src/Makefile.am
M /trunk/safira/src/main.cc
* Minisat-as-a-library :-)
------------------------------------------------------------------------
r68 | niels | 2009-10-12 18:04:12 +0200 (Mo, 12 Okt 2009) | 5 lines
Changed paths:
M /trunk/safira/Makefile.am
M /trunk/safira/configure.ac
M /trunk/safira/man/Makefile.am
D /trunk/safira/minisat
M /trunk/safira/src/Makefile.am
M /trunk/safira/src/cmdline.ggo
M /trunk/safira/src/main.cc
M /trunk/safira/tests/package.m4.in
* removed stand-alone Minisat
* fixed test case
* tidied up
------------------------------------------------------------------------
r69 | niels | 2009-10-12 18:18:41 +0200 (Mo, 12 Okt 2009) | 3 lines
Changed paths:
M /trunk/safira/libs/minisat/Main.C
M /trunk/safira/src/Formula.cc
* removed unnecessary parts in the Minisat file format and parser
Added:
trunk/safira/libs/
trunk/safira/libs/minisat/
trunk/safira/libs/minisat/Alg.h
trunk/safira/libs/minisat/Heap.h
trunk/safira/libs/minisat/Main.C
trunk/safira/libs/minisat/Makefile.am
trunk/safira/libs/minisat/Solver.C
trunk/safira/libs/minisat/Solver.h
trunk/safira/libs/minisat/SolverTypes.h
trunk/safira/libs/minisat/Sort.h
trunk/safira/libs/minisat/Vec.h
trunk/safira/tests/zcov/
trunk/safira/tests/zcov/GCovGroup.py
trunk/safira/tests/zcov/GCovParser.py
trunk/safira/tests/zcov/js/
trunk/safira/tests/zcov/js/sorttable.js
trunk/safira/tests/zcov/js/sourceview.js
trunk/safira/tests/zcov/style.css
trunk/safira/tests/zcov/zcov-genhtml
trunk/safira/tests/zcov/zcov-merge
trunk/safira/tests/zcov/zcov-scan
trunk/safira/tests/zcov/zcov-summarize
--
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.
