[mona] 03/13: Merge tag 'upstream/1.4-15'
Ralf Treinen
treinen at moszumanska.debian.org
Mon Aug 18 10:10:45 UTC 2014
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository mona.
commit a1827935c32e38f2da1a1c5f4301a61885dba236
Merge: 9446358 8c58253
Author: Ralf Treinen <treinen at free.fr>
Date: Mon Aug 18 10:26:28 2014 +0200
Merge tag 'upstream/1.4-15'
Upstream version 1.4-15
.gitignore | 25 +
AUTHORS | 4 +-
BDD/bdd.c | 4 +-
BDD/bdd.h | 6 +-
BDD/bdd_cache.c | 4 +-
BDD/bdd_double.c | 4 +-
BDD/bdd_dump.c | 4 +-
BDD/bdd_dump.h | 4 +-
BDD/bdd_external.c | 4 +-
BDD/bdd_external.h | 4 +-
BDD/bdd_internal.h | 4 +-
BDD/bdd_manager.c | 4 +-
BDD/bdd_trace.c | 4 +-
BDD/hash.c | 4 +-
BDD/hash.h | 4 +-
BDD/makefile.in | 333 +-
COPYING | 42 +-
ChangeLog | 9 +
DFA/analyze.c | 4 +-
DFA/basic.c | 4 +-
DFA/dfa.c | 4 +-
DFA/dfa.h | 4 +-
DFA/external.c | 72 +-
DFA/hash.h | 4 +-
DFA/makebasic.c | 4 +-
DFA/makefile.in | 399 +-
DFA/minimize.c | 9 +-
DFA/prefix.c | 4 +-
DFA/printdfa.c | 4 +-
DFA/product.c | 13 +-
DFA/project.c | 13 +-
DFA/quotient.c | 4 +-
Examples/bdd_example.c | 8 +-
Examples/gta_example.c | 4 +-
Examples/makefile.in | 277 +-
Examples/presburger_analysis.c | 4 +-
Examples/presburger_transduction.c | 4 +-
Front/ast.cpp | 4 +-
Front/ast.h | 4 +-
Front/astdump.cpp | 4 +-
Front/code.cpp | 8 +-
Front/code.h | 4 +-
Front/codedump.cpp | 4 +-
Front/codesubst.cpp | 4 +-
Front/codetable.cpp | 7 +-
Front/codetable.h | 4 +-
Front/deque.h | 4 +-
Front/env.h | 4 +-
Front/freevars.cpp | 4 +-
Front/ident.cpp | 4 +-
Front/ident.h | 4 +-
Front/lib.cpp | 4 +-
Front/lib.h | 4 +-
Front/makefile.in | 552 +-
Front/makeguide.cpp | 18 +-
Front/mona.cpp | 11 +-
Front/offsets.cpp | 4 +-
Front/offsets.h | 4 +-
Front/parser.cpp | 3319 ----
Front/parser.h | 274 -
Front/parser.ypp | 4 +-
Front/predlib.cpp | 4 +-
Front/predlib.h | 4 +-
Front/printline.cpp | 6 +-
Front/printline.h | 4 +-
Front/reduce.cpp | 4 +-
Front/scanner.cpp | 2484 ---
Front/scanner.lpp | 6 +-
Front/signature.cpp | 4 +-
Front/signature.h | 4 +-
Front/st_dfa.cpp | 4 +-
Front/st_dfa.h | 4 +-
Front/st_gta.cpp | 4 +-
Front/st_gta.h | 4 +-
Front/str.h | 4 +-
Front/symboltable.cpp | 30 +-
Front/symboltable.h | 4 +-
Front/timer.cpp | 4 +-
Front/timer.h | 4 +-
Front/untyped.cpp | 6 +-
Front/untyped.h | 4 +-
GTA/analyze.c | 4 +-
GTA/analyze_acceptance.c | 4 +-
GTA/basic.c | 4 +-
GTA/copy.c | 4 +-
GTA/dyn.c | 4 +-
GTA/dyn.h | 4 +-
GTA/external.c | 70 +-
GTA/gta.c | 4 +-
GTA/gta.h | 4 +-
GTA/makebasic.c | 4 +-
GTA/makefile.in | 453 +-
GTA/minimize.c | 4 +-
GTA/negation.c | 4 +-
GTA/pairhash.c | 4 +-
GTA/pairhash.h | 4 +-
GTA/printgta.c | 4 +-
GTA/product.c | 4 +-
GTA/project.c | 4 +-
GTA/projset.c | 4 +-
GTA/projset.h | 4 +-
GTA/reachable.c | 4 +-
GTA/replace_indices.c | 4 +-
GTA/restrict.c | 4 +-
GTA/subsets.c | 4 +-
GTA/subsets.h | 4 +-
GTA/types.c | 10 +-
Lib/bddlib.h | 4 +-
Lib/dfa2dot.c | 4 +-
Lib/dfalib.c | 65 +-
Lib/dfalib.h | 4 +-
Lib/gta2dot.c | 4 +-
Lib/gtalib.c | 140 +-
Lib/gtalib.h | 4 +-
Lib/makefile.in | 319 +-
Mem/gnuc.h | 4 +-
Mem/makefile.in | 333 +-
Mem/mem.c | 4 +-
Mem/mem.h | 4 +-
README | 14 +-
aclocal.m4 | 11642 +++++++-----
config.h | 111 -
config.h.in | 61 +-
config/ar-lib | 270 +
config/compile | 142 -
config/config.guess | 1029 +-
config/config.sub | 473 +-
config/depcomp | 290 +-
config/install-sh | 252 +-
config/ltmain.sh | 14595 +++++++++------
config/makefile.am | 2 +-
config/makefile.in | 191 +-
config/missing | 94 +-
config/ylwrap | 81 +-
configure | 34020 ++++++++++++++++-------------------
configure.in => configure.ac | 29 +-
m4/libtool.m4 | 7835 ++++++++
m4/ltoptions.m4 | 369 +
m4/ltsugar.m4 | 123 +
m4/ltversion.m4 | 23 +
m4/lt~obsolete.m4 | 98 +
makefile.am | 4 +-
makefile.in | 598 +-
mona-mode.el | 4 +-
mona.1 | 12 +-
mona.spec | 50 -
mona.spec.in | 4 +-
147 files changed, 44322 insertions(+), 37763 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/mona.git
More information about the debian-science-commits
mailing list