[mona] branch master updated (ea409ba -> 75ee74b)
Ralf Treinen
treinen at moszumanska.debian.org
Mon Aug 18 10:10:43 UTC 2014
This is an automated email from the git hooks/post-receive script.
treinen pushed a change to branch master
in repository mona.
from ea409ba add gbp.conf to force pristine-tar
new 9446358 add debian/watch
new 8c58253 Imported Upstream version 1.4-15
new a182793 Merge tag 'upstream/1.4-15'
new ea95a18 new upstream 1.4-15
new 4e5cc51 rewrote debian/rules, using dh
new 89a9172 dh compat level 9
new 9bc34c3 standards-verssion 3.9.5
new c5c1a47 fix installation of mona-mode.el
new 67c1921 install mona-mode.el via dh_install
new 2ea382b drop chrpatch from build-deps
new 16ba400 don't install *.la files
new 090dbce drop the patch for mona-mode.el, just remove the file before dh_install
new 75ee74b refresh lintian override
The 13 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
.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 +-
debian/changelog | 18 +
debian/compat | 2 +-
debian/control | 4 +-
debian/lintian-overrides | 9 +-
debian/mona.install | 1 +
debian/rules | 95 +-
debian/watch | 3 +
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 +-
154 files changed, 44357 insertions(+), 37860 deletions(-)
create mode 100644 .gitignore
delete mode 100644 Front/parser.cpp
delete mode 100644 Front/parser.h
delete mode 100644 Front/scanner.cpp
delete mode 100644 config.h
create mode 100755 config/ar-lib
delete mode 100755 config/compile
mode change 100644 => 100755 config/ltmain.sh
rename configure.in => configure.ac (89%)
create mode 100644 debian/mona.install
create mode 100644 debian/watch
create mode 100644 m4/libtool.m4
create mode 100644 m4/ltoptions.m4
create mode 100644 m4/ltsugar.m4
create mode 100644 m4/ltversion.m4
create mode 100644 m4/lt~obsolete.m4
delete mode 100644 mona.spec
--
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