[Pkg-ocaml-maint-commits] [aac-tactics] 04/09: Merge tag 'upstream/8.5.1'
Nicolas Braud-Santoni
nicolas at braud-santoni.eu
Sun Jul 24 02:17:57 UTC 2016
This is an automated email from the git hooks/post-receive script.
nicoo-guest pushed a commit to branch master
in repository aac-tactics.
commit a3a7c528787411373bb857af4b51f3003f9fcc2b
Merge: 2614d6d 17564e4
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date: Sat Jul 23 16:22:24 2016 -0400
Merge tag 'upstream/8.5.1'
Upstream version 8.5.1
AAC.v | 1 +
CHANGELOG | 5 --
Caveats.v | 3 -
Instances.v | 31 ++++---
Make | 21 +++++
Makefile | 38 ++------
README.txt => README | 24 +----
Tutorial.v | 33 -------
aac.mlpack | 1 -
coq.ml | 60 +++++++------
coq.mli | 6 +-
description | 15 ++++
evm_compute.ml | 221 -----------------------------------------------
evm_compute.mli | 11 ---
files.txt | 11 ---
matcher.ml | 2 +-
print.ml | 4 +-
print.mli | 2 +-
rewrite.ml4 | 95 ++++++--------------
print.mli => rewrite.mli | 16 +---
theory.ml | 88 +++++++++++++++----
theory.mli | 2 +-
22 files changed, 204 insertions(+), 486 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
More information about the Pkg-ocaml-maint-commits
mailing list