Filewatcher File Search File Search
Catalog
Content Search
» » » » »

libaac-tactics-ocaml-dev

Coq tactics for reasoning modulo AC (devt files)

Variants:
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

This package provides the static native-code library, needed to build custom toplevels, and the compiled interfaces.

Homepage:
Package version:0.2.pl2-7
Architecture:amd64
Distribution:Debian
Filename:libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb

/usr/share/doc/libaac-tactics-ocaml-dev/changelog.Debian.gz

aac-tactics (0.2.pl2-7) unstable; urgency=low

  * Recompile with camlp5 6.06 (no changes)

 -- Stéphane Glondu <glondu@debian.org>  Sat, 09 Jun 2012 10:31:21 +0200

aac-tactics (0.2.pl2-6) unstable; urgency=medium

  * Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)

 -- Stéphane Glondu <glondu@debian.org>  Sun, 01 Apr 2012 17:19:08 +0200

aac-tactics (0.2.pl2-5) unstable; urgency=low

 
more»

/usr/share/doc/libaac-tactics-ocaml-dev/changelog.gz

AAC_tactics 0.2-pl2 :
-----------------

- Improved the handling of nullifiable patterns.

AAC_tactics 0.2.1 :
-----------------

- backport of some debian patches (thanks to S. Glondu)

AAC_tactics 0.2 :
-----------------

- Several operators can share a given unit (like max and plus sharing zero)
- Added some support to rewrite in inequations (using inequations)
- Better priting functions for aa
more»

/usr/share/doc/libaac-tactics-ocaml-dev/copyright

Packaged-By: Stéphane Glondu <glondu@debian.org>
Packaged-Date: Mon, 29 Nov 2010 23:40:57 +0100
Upstream-Author: Thomas Braibant, Damien Pous
Original-Source-Location: http://sardes.inrialpes.fr/~braibant/aac_tactics/

Files: *
Copyright: © 2009-2010 Thomas Braibant, Damien Pous
License: LGPL-3+

  The aac_tactics plugin library is free software: you can
  redistribute it and/or modify it under 
more»

Browse inside libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors
         [DIR]var/ (1)  56408+ mirrors

Download libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com