notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
This referral link gives you 10% off a account and gives me a discount on my Fastmail account.
New feature planned: get notified when the package is available. Now is the time to contribute ideas/suggestions.
non port: lang/spark/Makefile

Number of commits found: 7

Thursday, 15 Sep 2016
01:35 marino search for other commits by this committer
Drop spark-related ports for removal after 30 Sept
Original commitRevision:422174 
Friday, 1 Apr 2016
14:08 mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
Original commitRevision:412347 
Monday, 29 Feb 2016
19:53 marino search for other commits by this committer
lang/spark: extend expiration by 8 months

I'm still working on this port and I'm chasing down some runtime
segfaults which are not trivial to diagnose and fix.
Original commitRevision:409825 
Saturday, 30 Jan 2016
20:20 antoine search for other commits by this committer
Deprecate ports broken for more than 6 months
Original commitRevision:407550 
Thursday, 10 Dec 2015
20:20 marino search for other commits by this committer
Move math/why3-gpl => math/why3-spark

There are two reasons to rename this port.
1) Upstream never liked it and requested -spark be the suffix instead
2) An ongoing attempt to fix lang/spark may result in a number of slave
   ports with a -spark suffix, so this keeps up consistency as all of
   these ports only exist to support that port.
Original commitRevision:403466 
Wednesday, 24 Jun 2015
20:17 marino search for other commits by this committer
lang/spark: Mark BROKEN until further notice

While spark builds, gnatprove is getting murdered on the testsuite,
including emitting Internal Compiler Errors quite often.  It's not
usable as is and needs more work.
Original commitRevision:390517 
13:32 marino search for other commits by this committer
Add new file lang/spark  (will become run-depends for GPS)

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.
Original commitRevision:390479 

Number of commits found: 7