Author: hw138
Date: Thu Mar 4 17:45:52 2010
New Revision: 5445
URL: http://svn.gna.org/viewcvs/service-tech?rev=5445&view=rev
Log:
Reachablility solver
Added:
trunk/sara/
trunk/sara/AUTHORS
trunk/sara/COPYING
trunk/sara/ChangeLog
trunk/sara/INSTALL
trunk/sara/Makefile.am
trunk/sara/Makefile.in
trunk/sara/NEWS
trunk/sara/README
trunk/sara/THANKS
trunk/sara/aclocal.m4
trunk/sara/autom4te.cache/
trunk/sara/autom4te.cache/output.0
trunk/sara/autom4te.cache/output.1
trunk/sara/autom4te.cache/output.2
trunk/sara/autom4te.cache/output.3
trunk/sara/autom4te.cache/requests
trunk/sara/autom4te.cache/traces.0
trunk/sara/autom4te.cache/traces.1
trunk/sara/autom4te.cache/traces.2
trunk/sara/autom4te.cache/traces.3
trunk/sara/compile
trunk/sara/config.guess
trunk/sara/config.sub
trunk/sara/configure
trunk/sara/configure.ac
trunk/sara/depcomp
trunk/sara/install-sh
trunk/sara/libs/
trunk/sara/libs/lp_solve_55/
trunk/sara/libs/lp_solve_55/Makefile
trunk/sara/libs/lp_solve_55/Makefile.Linux
trunk/sara/libs/lp_solve_55/Makefile.in
trunk/sara/libs/lp_solve_55/Makefile.msc
trunk/sara/libs/lp_solve_55/README.txt
trunk/sara/libs/lp_solve_55/autom4te.cache/
trunk/sara/libs/lp_solve_55/autom4te.cache/output.0
trunk/sara/libs/lp_solve_55/autom4te.cache/requests
trunk/sara/libs/lp_solve_55/autom4te.cache/traces.0
trunk/sara/libs/lp_solve_55/bfp/
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/LUSOL-overview.txt
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/LUSOL_LGPL.txt
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/LUSOL_Overview.txt
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/LUSOL_README.txt
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/Row-based L0.txt
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/Victoria1850.RUA
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/bfile3.txt
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/hbio.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/hbio.h
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusol.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusol.h
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusol1.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusol2.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusol6a.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusol6l0.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusol6u.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusol7a.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusol8a.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusolio.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusolio.h
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusolmain.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/lusolmain.h
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/mmio.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/mmio.h
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/myblas.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/myblas.h
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/sherman5.mtx
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/sherman5_rhs1.mtx
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/sparselib.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/LUSOL/sparselib.h
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/bfp_LUSOL.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/bfp_LUSOL.h
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/lp_LUSOL.c
trunk/sara/libs/lp_solve_55/bfp/bfp_LUSOL/lp_LUSOL.h
trunk/sara/libs/lp_solve_55/bfp/lp_BFP.h
trunk/sara/libs/lp_solve_55/bfp/lp_BFP1.c
trunk/sara/libs/lp_solve_55/bfp/lp_BFP2.c
trunk/sara/libs/lp_solve_55/colamd/
trunk/sara/libs/lp_solve_55/colamd/colamd.c
trunk/sara/libs/lp_solve_55/colamd/colamd.h
trunk/sara/libs/lp_solve_55/config.log
trunk/sara/libs/lp_solve_55/config.status
trunk/sara/libs/lp_solve_55/configure
trunk/sara/libs/lp_solve_55/configure.ac
trunk/sara/libs/lp_solve_55/declare.h
trunk/sara/libs/lp_solve_55/demo/
trunk/sara/libs/lp_solve_55/demo/cbcc32.bat
trunk/sara/libs/lp_solve_55/demo/ccc
trunk/sara/libs/lp_solve_55/demo/ccc.osx
trunk/sara/libs/lp_solve_55/demo/cgcc.bat
trunk/sara/libs/lp_solve_55/demo/cvc6.bat
trunk/sara/libs/lp_solve_55/demo/cvc8.bat
trunk/sara/libs/lp_solve_55/demo/demo.c
trunk/sara/libs/lp_solve_55/demo/demo.sln
trunk/sara/libs/lp_solve_55/demo/demo.vcproj
trunk/sara/libs/lp_solve_55/demo/demolib.sln
trunk/sara/libs/lp_solve_55/demo/demolib.vcproj
trunk/sara/libs/lp_solve_55/demo/readme.txt
trunk/sara/libs/lp_solve_55/fortify.c
trunk/sara/libs/lp_solve_55/fortify.h
trunk/sara/libs/lp_solve_55/ini.c
trunk/sara/libs/lp_solve_55/ini.h
trunk/sara/libs/lp_solve_55/lp_Hash.c
trunk/sara/libs/lp_solve_55/lp_Hash.h
trunk/sara/libs/lp_solve_55/lp_MDO.c
trunk/sara/libs/lp_solve_55/lp_MDO.h
trunk/sara/libs/lp_solve_55/lp_MPS.c
trunk/sara/libs/lp_solve_55/lp_MPS.h
trunk/sara/libs/lp_solve_55/lp_SOS.c
trunk/sara/libs/lp_solve_55/lp_SOS.h
trunk/sara/libs/lp_solve_55/lp_bit.h
trunk/sara/libs/lp_solve_55/lp_crash.c
trunk/sara/libs/lp_solve_55/lp_crash.h
trunk/sara/libs/lp_solve_55/lp_explicit.h
trunk/sara/libs/lp_solve_55/lp_fortify.h
trunk/sara/libs/lp_solve_55/lp_lib.c
trunk/sara/libs/lp_solve_55/lp_lib.h
trunk/sara/libs/lp_solve_55/lp_matrix.c
trunk/sara/libs/lp_solve_55/lp_matrix.h
trunk/sara/libs/lp_solve_55/lp_mipbb.c
trunk/sara/libs/lp_solve_55/lp_mipbb.h
trunk/sara/libs/lp_solve_55/lp_params.c
trunk/sara/libs/lp_solve_55/lp_presolve.c
trunk/sara/libs/lp_solve_55/lp_presolve.h
trunk/sara/libs/lp_solve_55/lp_price.c
trunk/sara/libs/lp_solve_55/lp_price.h
trunk/sara/libs/lp_solve_55/lp_pricePSE.c
trunk/sara/libs/lp_solve_55/lp_pricePSE.h
trunk/sara/libs/lp_solve_55/lp_report.c
trunk/sara/libs/lp_solve_55/lp_report.h
trunk/sara/libs/lp_solve_55/lp_rlp.bat
trunk/sara/libs/lp_solve_55/lp_rlp.c
trunk/sara/libs/lp_solve_55/lp_rlp.h
trunk/sara/libs/lp_solve_55/lp_rlp.l
trunk/sara/libs/lp_solve_55/lp_rlp.y
trunk/sara/libs/lp_solve_55/lp_scale.c
trunk/sara/libs/lp_solve_55/lp_scale.h
trunk/sara/libs/lp_solve_55/lp_simplex.c
trunk/sara/libs/lp_solve_55/lp_simplex.h
trunk/sara/libs/lp_solve_55/lp_solve/
trunk/sara/libs/lp_solve_55/lp_solve.def
trunk/sara/libs/lp_solve_55/lp_solve/Makefile.msc
trunk/sara/libs/lp_solve_55/lp_solve/cbcc32.bat
trunk/sara/libs/lp_solve_55/lp_solve/ccc
trunk/sara/libs/lp_solve_55/lp_solve/ccc.osx
trunk/sara/libs/lp_solve_55/lp_solve/cgcc.bat
trunk/sara/libs/lp_solve_55/lp_solve/cvc6.bat
trunk/sara/libs/lp_solve_55/lp_solve/cvc6d.bat
trunk/sara/libs/lp_solve_55/lp_solve/cvc8.bat
trunk/sara/libs/lp_solve_55/lp_solve/lp_solve.c
trunk/sara/libs/lp_solve_55/lp_solve/lp_solve.sln
trunk/sara/libs/lp_solve_55/lp_solve/lp_solve.vcproj
trunk/sara/libs/lp_solve_55/lp_solve/readme.txt
trunk/sara/libs/lp_solve_55/lp_solveDLL.c
trunk/sara/libs/lp_solve_55/lp_solveDLL.h
trunk/sara/libs/lp_solve_55/lp_types.h
trunk/sara/libs/lp_solve_55/lp_utils.c
trunk/sara/libs/lp_solve_55/lp_utils.h
trunk/sara/libs/lp_solve_55/lp_wlp.c
trunk/sara/libs/lp_solve_55/lp_wlp.h
trunk/sara/libs/lp_solve_55/lpkit.h
trunk/sara/libs/lp_solve_55/lpsolve.h
trunk/sara/libs/lp_solve_55/lpsolve55/
trunk/sara/libs/lp_solve_55/lpsolve55/ccc
trunk/sara/libs/lp_solve_55/lpsolve55/ccc.aix
trunk/sara/libs/lp_solve_55/lpsolve55/ccc.hp-ux
trunk/sara/libs/lp_solve_55/lpsolve55/ccc.osx
trunk/sara/libs/lp_solve_55/lpsolve55/ccc.solaris
trunk/sara/libs/lp_solve_55/lpsolve55/cccLUSOL.osx
trunk/sara/libs/lp_solve_55/lpsolve55/cg++.bat
trunk/sara/libs/lp_solve_55/lpsolve55/cgcc.bat
trunk/sara/libs/lp_solve_55/lpsolve55/cvc6.bat
trunk/sara/libs/lp_solve_55/lpsolve55/cvc8NOmsvcrt.bat
trunk/sara/libs/lp_solve_55/lpsolve55/cvc8msvcrt.bat
trunk/sara/libs/lp_solve_55/lpsolve55/dll.sln
trunk/sara/libs/lp_solve_55/lpsolve55/dll.vcproj
trunk/sara/libs/lp_solve_55/lpsolve55/lib.sln
trunk/sara/libs/lp_solve_55/lpsolve55/lib.vcproj
trunk/sara/libs/lp_solve_55/lpsolve55/lpsolve.rc
trunk/sara/libs/lp_solve_55/lpsolve55/readme.txt
trunk/sara/libs/lp_solve_55/lpsolve55/resource.h
trunk/sara/libs/lp_solve_55/shared/
trunk/sara/libs/lp_solve_55/shared/commonlib.c
trunk/sara/libs/lp_solve_55/shared/commonlib.h
trunk/sara/libs/lp_solve_55/shared/mmio.c
trunk/sara/libs/lp_solve_55/shared/mmio.h
trunk/sara/libs/lp_solve_55/shared/myblas.c
trunk/sara/libs/lp_solve_55/shared/myblas.h
trunk/sara/libs/lp_solve_55/ufortify.h
trunk/sara/libs/lp_solve_55/yacc_read.c
trunk/sara/libs/lp_solve_55/yacc_read.h
trunk/sara/libs/pnapi/
trunk/sara/libs/pnapi/Makefile.am
trunk/sara/libs/pnapi/Makefile.in
trunk/sara/libs/pnapi/Output.cc
trunk/sara/libs/pnapi/Output.h
trunk/sara/libs/pnapi/automaton.cc
trunk/sara/libs/pnapi/automaton.h
trunk/sara/libs/pnapi/component.cc
trunk/sara/libs/pnapi/component.h
trunk/sara/libs/pnapi/condition.cc
trunk/sara/libs/pnapi/condition.h
trunk/sara/libs/pnapi/errorhandling.cc
trunk/sara/libs/pnapi/formula.cc
trunk/sara/libs/pnapi/formula.h
trunk/sara/libs/pnapi/interface.cc
trunk/sara/libs/pnapi/interface.h
trunk/sara/libs/pnapi/io-format.cc
trunk/sara/libs/pnapi/link.cc
trunk/sara/libs/pnapi/link.h
trunk/sara/libs/pnapi/marking.cc
trunk/sara/libs/pnapi/marking.h
trunk/sara/libs/pnapi/myio.cc
trunk/sara/libs/pnapi/myio.h
trunk/sara/libs/pnapi/parser-lola-lexer.cc
trunk/sara/libs/pnapi/parser-lola-lexer.ll
trunk/sara/libs/pnapi/parser-lola.cc
trunk/sara/libs/pnapi/parser-lola.h
trunk/sara/libs/pnapi/parser-lola.yy
trunk/sara/libs/pnapi/parser-onwd-lexer.cc
trunk/sara/libs/pnapi/parser-onwd-lexer.ll
trunk/sara/libs/pnapi/parser-onwd.cc
trunk/sara/libs/pnapi/parser-onwd.h
trunk/sara/libs/pnapi/parser-onwd.yy
trunk/sara/libs/pnapi/parser-owfn-lexer.cc
trunk/sara/libs/pnapi/parser-owfn-lexer.ll
trunk/sara/libs/pnapi/parser-owfn.cc
trunk/sara/libs/pnapi/parser-owfn.h
trunk/sara/libs/pnapi/parser-owfn.yy
trunk/sara/libs/pnapi/parser-pn-lexer.cc
trunk/sara/libs/pnapi/parser-pn-lexer.ll
trunk/sara/libs/pnapi/parser-pn.cc
trunk/sara/libs/pnapi/parser-pn.h
trunk/sara/libs/pnapi/parser-pn.yy
trunk/sara/libs/pnapi/parser-pnml-lexer.cc
trunk/sara/libs/pnapi/parser-pnml-lexer.ll
trunk/sara/libs/pnapi/parser-pnml.cc
trunk/sara/libs/pnapi/parser-pnml.h
trunk/sara/libs/pnapi/parser-pnml.yy
trunk/sara/libs/pnapi/parser-sa-lexer.cc
trunk/sara/libs/pnapi/parser-sa-lexer.ll
trunk/sara/libs/pnapi/parser-sa.cc
trunk/sara/libs/pnapi/parser-sa.h
trunk/sara/libs/pnapi/parser-sa.yy
trunk/sara/libs/pnapi/parser.cc
trunk/sara/libs/pnapi/parser.h
trunk/sara/libs/pnapi/petrinet-pn.cc
trunk/sara/libs/pnapi/petrinet-reduction.cc
trunk/sara/libs/pnapi/petrinet.cc
trunk/sara/libs/pnapi/petrinet.h
trunk/sara/libs/pnapi/pnapi.cc
trunk/sara/libs/pnapi/pnapi.h
trunk/sara/libs/pnapi/port.cc
trunk/sara/libs/pnapi/port.h
trunk/sara/libs/pnapi/state.cc
trunk/sara/libs/pnapi/state.h
trunk/sara/libs/pnapi/util.h
trunk/sara/missing
trunk/sara/src/
trunk/sara/src/Makefile.am
trunk/sara/src/Makefile.in
trunk/sara/src/cmdline.ggo
trunk/sara/src/config.h.in
trunk/sara/src/constraint.cc
trunk/sara/src/constraint.h
trunk/sara/src/garavel.llnet
trunk/sara/src/garavel.llnet.sara
trunk/sara/src/imatrix.cc
trunk/sara/src/imatrix.h
trunk/sara/src/jobqueue.cc
trunk/sara/src/jobqueue.h
trunk/sara/src/lexic_sara.ll
trunk/sara/src/lpwrapper.cc
trunk/sara/src/lpwrapper.h
trunk/sara/src/main.cc
trunk/sara/src/partialsolution.cc
trunk/sara/src/partialsolution.h
trunk/sara/src/pathfinder.cc
trunk/sara/src/pathfinder.h
trunk/sara/src/problem.cc
trunk/sara/src/problem.h
trunk/sara/src/reachalyzer.cc
trunk/sara/src/reachalyzer.h
trunk/sara/src/syntax_sara.yy
trunk/sara/src/tarjan.cc
trunk/sara/src/tarjan.h
trunk/sara/src/test1.owfn
trunk/sara/src/test1.sara
trunk/sara/src/test10.owfn
trunk/sara/src/test10.sara
trunk/sara/src/test11.owfn
trunk/sara/src/test11.sara
trunk/sara/src/test12.sara
trunk/sara/src/test2.owfn
trunk/sara/src/test2.sara
trunk/sara/src/test3.owfn
trunk/sara/src/test3.sara
trunk/sara/src/test4.owfn
trunk/sara/src/test4.sara
trunk/sara/src/test5.owfn
trunk/sara/src/test5.sara
trunk/sara/src/test6.owfn
trunk/sara/src/test6.sara
trunk/sara/src/test7-1.owfn
trunk/sara/src/test7-2.owfn
trunk/sara/src/test7-3.owfn
trunk/sara/src/test7-4.owfn
trunk/sara/src/test7-5.owfn
trunk/sara/src/test7-6.owfn
trunk/sara/src/test7-7.owfn
trunk/sara/src/test7-8.owfn
trunk/sara/src/test7-9.owfn
trunk/sara/src/test7-X.owfn
trunk/sara/src/test7.sara
trunk/sara/src/test8-1.owfn
trunk/sara/src/test8-1.sara
trunk/sara/src/test8-2.owfn
trunk/sara/src/test8-2.sara
trunk/sara/src/test8-3.owfn
trunk/sara/src/test8-3.sara
trunk/sara/src/test8-4.owfn
trunk/sara/src/test8-4.sara
trunk/sara/src/test8-5.owfn
trunk/sara/src/test8-5.sara
trunk/sara/src/test8-6.owfn
trunk/sara/src/test8-6.sara
trunk/sara/src/test8-7.owfn
trunk/sara/src/test8-7.sara
trunk/sara/src/test8-8.owfn
trunk/sara/src/test8-8.sara
trunk/sara/src/test8-9.owfn
trunk/sara/src/test8-9.sara
trunk/sara/src/test8-X.owfn
trunk/sara/src/test8-X.sara
trunk/sara/src/test8.sara
trunk/sara/src/test9.owfn
trunk/sara/src/test9.sara
trunk/sara/src/tests.pdf (with props)
trunk/sara/src/verbose.cc
trunk/sara/src/verbose.h
trunk/sara/tests/
trunk/sara/tests/atconfig
trunk/sara/ylwrap
--
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.
