FreshPorts -- The Place For Ports notbug Sun, 27 May 2012 4:58 PM BST
Port details
alt-ergo 0.94 math on this many watch lists=0 search for ports that depend on this port
An automatic theorem prover dedicated to program verification
Maintained by: bf@FreeBSD.org search for ports maintained by this maintainer
Port Added: 21 Dec 2011 02:58:38
License: CeCILL-C


Alt-Ergo is an automatic theorem prover dedicated to program verification.
Alt-Ergo is based on CC(X), a congruence closure algorithm parameterized by
an equational theory X. Currently, CC(X) can be instantiated by the empty
equational theory and by the linear arithmetics. Alt-Ergo contains also a
home made SAT-solver and an instantiation mechanism.

Alt-Ergo is compact, safe, and modular. Each component is described by a small
set of inference rules and is implemented as an Ocaml functor.

WWW:	http://alt-ergo.lri.fr
CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon
NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: math/ocaml-ocamlgraph, x11-toolkits/ocaml-lablgtk2, lang/ocaml, devel/gmake
Required To Run: math/ocaml-ocamlgraph, x11-toolkits/ocaml-lablgtk2, lang/ocaml
There are no ports dependent upon this port

To install the port: cd /usr/ports/math/alt-ergo/ && make install clean
To add the package: pkg_add -r alt-ergo


Configuration Options
===> The following configuration options are available for alt-ergo-0.94:
     GUI=on (default) "Build the GUI"
===> Use 'make config' to modify these settings

Master Sites:
http://alt-ergo.lri.fr/http/
ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
ftp://ftp.se.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
ftp://ftp.uk.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
ftp://ftp.ru.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
ftp://ftp.jp.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
ftp://ftp.tw.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
ftp://ftp.cn.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

Number of commits found: 1

Commit History - (may be incomplete: see CVSWeb link above for full details)
DateByDescription
21 Dec 2011 02:58:24
Original commit files touched by this commit  0.94
bf search for other commits by this committer
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.

Number of commits found: 1

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet
SuperNews

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
haproxyMay 24
foswikiMay 21
inspircd*May 21
inspircd12*May 21
sympaMay 21
sympa5May 21
libxml2May 18
pidgin-otrMay 16
sudoMay 16
chromiumMay 15
chromiumMay 15
pivotx*May 14
socatMay 14
libpurpleMay 12
php5May 12

12 vulnerabilities affecting 17 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 23676
Broken 193
Deprecated 147
Ignore 737
Forbidden 3
Restricted 328
No CDROM 110
Vulnerable 0
Expired 44
Set to expire 188
Interactive 54
new 24 hours 6
new 48 hours17
new 7 days63
new fortnight185
new month256

This site
What is FreshPorts?
About the Authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Servers and bandwidth provided by
New York Internet
SuperNews
Valid HTML, CSS, and RSS.
Copyright © 2000-2012 DVL Software Limited. All rights reserved.
This page created in 0.06 seconds.