Author: gierds
Date: Thu Oct 15 14:30:41 2009
New Revision: 4838
URL: http://svn.gna.org/viewcvs/service-tech?rev=4838&view=rev
Log:
Damn, this is fast ;)
* added changes of Niels and me from Hacker-Luhme
* completed task of directly passing the "ints" to minisat lib
* added test case for PO.og (this is now fast enough for a test case, even
using Cygwin ;))
* some code refactoring is left open
!!! known issue:
* `safira' QR.og still crashes, but this is probably a conceptual problem --
there is a very deep hierachie of FormulaANDs (more than 100,000 according to
GDB), such that there seems to be left no heap/stack memory when trying to
create a string in intToString()
Added:
trunk/safira/tests/testfiles/PO.og
trunk/safira/tests/testfiles/PO.txt
Removed:
trunk/safira/tests/testfiles/._spec_klein.og
Modified:
trunk/safira/libs/minisat/Main.C
trunk/safira/src/Formula.cc
trunk/safira/src/Formula.h
trunk/safira/src/helpers.cc
trunk/safira/src/helpers.h
trunk/safira/tests/Makefile.am
trunk/safira/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.
