Author: kathrin
Date: Mon Sep 28 16:51:09 2009
New Revision: 4777
URL: http://svn.gna.org/viewcvs/service-tech?rev=4777&view=rev
Log:
* added code in og_lexer.ll and og_syntax.yy to avoid memory leaks
* added tests for formulas
* added code to measure the time needed by minisat
Modified:
trunk/safira/ (props changed)
trunk/safira/src/Formula.cc
trunk/safira/src/Formula.h
trunk/safira/src/main.cc
trunk/safira/src/og_lexer.ll
trunk/safira/src/og_syntax.yy
trunk/safira/src/testFormula.cc
--
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.
