Author: rimueller
Date: Thu Oct 22 18:43:46 2009
New Revision: 4884
URL: http://svn.gna.org/viewcvs/service-tech?rev=4884&view=rev
Log:
implemented negation formula
Added:
trunk/candy/tests/testfiles/formula_flatten_not.expected.og
trunk/candy/tests/testfiles/formula_flatten_not.og
trunk/candy/tests/testfiles/formula_merge.cf
trunk/candy/tests/testfiles/formula_merge_and.expected.og
trunk/candy/tests/testfiles/formula_merge_and.og
trunk/candy/tests/testfiles/formula_merge_andor.expected.og
trunk/candy/tests/testfiles/formula_merge_andor.og
trunk/candy/tests/testfiles/formula_merge_or.expected.og
trunk/candy/tests/testfiles/formula_merge_or.og
trunk/candy/tests/zcov/
trunk/candy/tests/zcov/GCovGroup.py
trunk/candy/tests/zcov/GCovParser.py
trunk/candy/tests/zcov/js/
trunk/candy/tests/zcov/js/sorttable.js
trunk/candy/tests/zcov/js/sourceview.js
trunk/candy/tests/zcov/style.css
trunk/candy/tests/zcov/zcov-genhtml
trunk/candy/tests/zcov/zcov-merge
trunk/candy/tests/zcov/zcov-scan
trunk/candy/tests/zcov/zcov-summarize
Modified:
trunk/candy/src/Event.h
trunk/candy/src/Formula.cc
trunk/candy/src/Formula.h
trunk/candy/src/Graph.cc
trunk/candy/src/Makefile.am
trunk/candy/src/Node.h
trunk/candy/src/og-lexic.ll
trunk/candy/src/og-syntax.yy
trunk/candy/tests/Makefile.am
trunk/candy/tests/cover.sh.in
trunk/candy/tests/package.m4.in
trunk/candy/tests/testsuite.at
trunk/candy/tests/wrap.sh
--
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.
