368a FreshPorts -- math/alt-ergo
FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter
Port details
alt-ergo 0.94_2 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
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.

Required To Build:
  1. math/ocaml-ocamlgraph
  2. x11-toolkits/ocaml-lablgtk2
  3. lang/ocaml
  4. devel/gmake
Required To Run:
  1. math/ocaml-ocamlgraph
  2. x11-toolkits/ocaml-lablgtk2
  3. lang/ocaml

This port is required by:

for Build for Run

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_2:
     GUI=on: GUI (Graphical User Interface)
===> Use 'make config' to modify these settings
Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
  3. ftp://ftp.cn.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
  4. ftp://ftp.jp.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
  5. ftp://ftp.ru.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
  6. ftp://ftp.se.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
  7. ftp://ftp.tw.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
  8. ftp://ftp.uk.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/
  9. http://alt-ergo.lri.fr/http/alt-ergo-0.94/
  10. http://ftp.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/

Number of commits found: 5

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
18 Mar 2013 16:11:34
Original commit files touched by this commit  0.94_2
 bf search for other commits by this committer 
update master sites; trim headers; reposition LICENSE, WWW
07 Mar 2013 03:46:47
Original commit files touched by this commit  0.94_2
 bf search for other commits by this committer 
switch to the new options format
05 Mar 2013 20:22:03
Original commit files touched by this commit  0.94_2
 bf search for other commits by this committer 
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
01 Jun 2012 05:26:28
Original commit files touched by this commit  0.94_1
 dinoex search for other commits by this committer 
- update png to 1.5.10
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: 5

282d
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
chromiumMay 22
chromiumMay 22
plibMay 19
plibMay 19
linux-f10-flashplugin10May 16
linux-f10-flashplugin11May 16
nginx*May 16
nginx-devel*May 16
firefoxMay 15
firefox-develMay 15
firefox-esrMay 15
firefox10May 15
firefox15May 15
firefox3May 15
firefox3-develMay 15

6 vulnerabilities affecting 22 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 24533
Broken 216
Deprecated 473
Ignore 632
Forbidden 2
Restricted 292
No CDROM 109
Vulnerable 26
Expired 132
Set to expire 511
Interactive 33
new 24 hours 6
new 48 hours9
new 7 days29
new fortnight61
new month219

This site
What is FreshPorts?
About the Authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact
8e7
Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD 		Valid HTML, CSS, and RSS.
Copyright © 2000-2013 DVL Software Limited. All rights reserved.
0