| Port details on branch 2022Q3 |
- spark Technology for engineering high-reliability s/w applications
- 2014 lang
 =0      2014Version of this port present on the latest quarterly branch.  BROKEN: brutally fails test suite - with ICE
 DEPRECATED: Broken for more than 6 months
 This port expired on: 2016-09-30
 IGNORE: is marked as broken: brutally fails test suite - with ICE
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2015-06-24 13:32:54
- Last Update: 2016-09-30 20:31:51
- SVN Revision: 423021
- License: GPLv3
- WWW:
- http://www.spark-2014.org
- Description:
- SPARK 2014 is a programming language and a set of verification tools
designed to meet the needs of high-assurance software development. SPARK
is based on Ada 2012, both subsetting the language to remove features that
defy verification, but also extending the system of contracts and aspects
to support modular, formal verification.
The new aspects support abstraction and refinement and facilitate deep
static analysis to be performed including information-flow analysis and
formal verification of an implementation against a specification.
SPARK is a much larger and more flexible language than its predecessor
SPARK 2005. The language can be configured to suit a number of application
domains and standards, from server-class high-assurance systems (such as
air-traffic management applications), to embedded, hard real-time,
critical systems (such as avionic systems complying with DO-178C Level A).
A major feature of SPARK is the support for a mixture of proof and other
verification methods such as testing, which facilitates the use of unit
proof in place of unit testing; an approach now formalized in DO-178C and
the DO-333 formal methods supplement. Certain units may be formally proven
and other units validated through testing.
WWW: http://www.spark-2014.org
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: spark
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (spark-gpl-2014-src.tar.gz) = 238c82116346375bde63addf7be6950c700916c80c4362aa15c67b9bd72f134f
SIZE (spark-gpl-2014-src.tar.gz) = 37930303
SHA256 (gcc-5-20150609.tar.bz2) = 9154f0b0c4950cfb6dc802da8a35d02478029923a0c44f8ca963cd7ca9107885
SIZE (gcc-5-20150609.tar.bz2) = 90768076
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gnatcoll>=2014 : devel/gnatcoll
- ada : lang/gcc6-aux
- gmake : devel/gmake
- Runtime dependencies:
-
- gnatwhy3 : math/why3-spark
- alt-ergo : math/alt-ergo
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- N/A
- USES:
- ada gmake
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
As an Amazon Associate I earn from qualifying purchases.