Author: oliviao
Date: Wed Jan 27 12:43:14 2010
New Revision: 5309
URL: http://svn.gna.org/viewcvs/service-tech?rev=5309&view=rev
Log:
STanca Siphon-Trap property checker using minisat
Added:
trunk/stanca/
trunk/stanca/AUTHORS
trunk/stanca/COPYING
trunk/stanca/ChangeLog
trunk/stanca/Makefile.am
trunk/stanca/NEWS
trunk/stanca/README
trunk/stanca/REQUIREMENTS
trunk/stanca/THANKS
trunk/stanca/THEORY
trunk/stanca/configure.ac
trunk/stanca/doc/
trunk/stanca/doc/ChangeLog.texi
trunk/stanca/doc/Doxyfile.in
trunk/stanca/doc/Makefile.am
trunk/stanca/doc/fdl.texi
trunk/stanca/doc/stanca.texi
trunk/stanca/libs/
trunk/stanca/libs/minisat/
trunk/stanca/libs/minisat/Alg.h
trunk/stanca/libs/minisat/Heap.h
trunk/stanca/libs/minisat/Main.C
trunk/stanca/libs/minisat/Makefile.am
trunk/stanca/libs/minisat/Solver.C
trunk/stanca/libs/minisat/Solver.h
trunk/stanca/libs/minisat/SolverTypes.h
trunk/stanca/libs/minisat/Sort.h
trunk/stanca/libs/minisat/Vec.h
trunk/stanca/libs/pnapi/
trunk/stanca/libs/pnapi/Makefile.am
trunk/stanca/libs/pnapi/Output.cc
trunk/stanca/libs/pnapi/Output.h
trunk/stanca/libs/pnapi/automaton.cc
trunk/stanca/libs/pnapi/automaton.h
trunk/stanca/libs/pnapi/component.cc
trunk/stanca/libs/pnapi/component.h
trunk/stanca/libs/pnapi/condition.cc
trunk/stanca/libs/pnapi/condition.h
trunk/stanca/libs/pnapi/errorhandling.cc
trunk/stanca/libs/pnapi/formula.cc
trunk/stanca/libs/pnapi/formula.h
trunk/stanca/libs/pnapi/io-format.cc
trunk/stanca/libs/pnapi/link.cc
trunk/stanca/libs/pnapi/link.h
trunk/stanca/libs/pnapi/marking.cc
trunk/stanca/libs/pnapi/marking.h
trunk/stanca/libs/pnapi/myio.cc
trunk/stanca/libs/pnapi/myio.h
trunk/stanca/libs/pnapi/parser-lola-lexer.ll
trunk/stanca/libs/pnapi/parser-lola.yy
trunk/stanca/libs/pnapi/parser-onwd-lexer.ll
trunk/stanca/libs/pnapi/parser-onwd.yy
trunk/stanca/libs/pnapi/parser-owfn-lexer.ll
trunk/stanca/libs/pnapi/parser-owfn.yy
trunk/stanca/libs/pnapi/parser-pn-lexer.ll
trunk/stanca/libs/pnapi/parser-pn.yy
trunk/stanca/libs/pnapi/parser-sa-lexer.ll
trunk/stanca/libs/pnapi/parser-sa.yy
trunk/stanca/libs/pnapi/parser.cc
trunk/stanca/libs/pnapi/parser.h
trunk/stanca/libs/pnapi/petrinet-pn.cc
trunk/stanca/libs/pnapi/petrinet-reduction.cc
trunk/stanca/libs/pnapi/petrinet.cc
trunk/stanca/libs/pnapi/petrinet.h
trunk/stanca/libs/pnapi/pnapi.h
trunk/stanca/libs/pnapi/state.cc
trunk/stanca/libs/pnapi/state.h
trunk/stanca/libs/pnapi/util.cc
trunk/stanca/libs/pnapi/util.h
trunk/stanca/maintainer/
trunk/stanca/maintainer/Makefile.am
trunk/stanca/maintainer/debian/
trunk/stanca/maintainer/debian/compat
trunk/stanca/maintainer/debian/control
trunk/stanca/maintainer/debian/copyright
trunk/stanca/maintainer/debian/dirs
trunk/stanca/maintainer/debian/docs
trunk/stanca/man/
trunk/stanca/man/Makefile.am
trunk/stanca/man/extra
trunk/stanca/src/
trunk/stanca/src/Formula.cc
trunk/stanca/src/Formula.h
trunk/stanca/src/Formulamea.cc
trunk/stanca/src/Formulamea.h
trunk/stanca/src/Graph.cc
trunk/stanca/src/Graph.h
trunk/stanca/src/Makefile.am
trunk/stanca/src/Node.cc
trunk/stanca/src/Node.h
trunk/stanca/src/Output.cc
trunk/stanca/src/Output.h
trunk/stanca/src/cmdline.ggo
trunk/stanca/src/helpers.cc
trunk/stanca/src/helpers.h
trunk/stanca/src/main.cc
trunk/stanca/src/og_lexer.ll
trunk/stanca/src/og_syntax.yy
trunk/stanca/src/testFormula.cc
trunk/stanca/src/testFormula.h
trunk/stanca/src/testGraph.cc
trunk/stanca/src/testGraph.h
trunk/stanca/src/testNode.cc
trunk/stanca/src/testNode.h
trunk/stanca/src/testmain.cc
trunk/stanca/src/types.h
trunk/stanca/src/verbose.cc
trunk/stanca/src/verbose.h
trunk/stanca/tests/
trunk/stanca/tests/Makefile.am
trunk/stanca/tests/cover.sh.in (with props)
trunk/stanca/tests/lcov/
trunk/stanca/tests/lcov/README
trunk/stanca/tests/lcov/gendesc (with props)
trunk/stanca/tests/lcov/genhtml (with props)
trunk/stanca/tests/lcov/geninfo (with props)
trunk/stanca/tests/lcov/genpng (with props)
trunk/stanca/tests/lcov/lcov (with props)
trunk/stanca/tests/package.m4.in
trunk/stanca/tests/testsuite.at
trunk/stanca/tests/wrap.sh (with props)
trunk/stanca/tests/zcov/
trunk/stanca/tests/zcov/GCovGroup.py
trunk/stanca/tests/zcov/GCovParser.py
trunk/stanca/tests/zcov/js/
trunk/stanca/tests/zcov/js/sorttable.js
trunk/stanca/tests/zcov/js/sourceview.js
trunk/stanca/tests/zcov/style.css
trunk/stanca/tests/zcov/zcov-genhtml
trunk/stanca/tests/zcov/zcov-merge
trunk/stanca/tests/zcov/zcov-scan
trunk/stanca/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.
