tero.stronglytyped.org
Tero's blog - website
http://tero.stronglytyped.org/tag/website.html
New web site mirror (domain) for Ahven. Wed 05 June 2013. As a small promotional move, I setup Ahven a dedicated domain/website, www.ahven-framework.com. And also subdomain docs.ahven-framework.com. For Ahven documentation. This way Ahven does not need to live just at ahven.stronglytyped.org. In addition, I put all release tar balls and zip files under . Page 1 / 1. I am 32 years old software engineer, interested in Ada, Linux, OpenBSD, and embedded software.
testanything.org
TAP Producers - Test Anything Protocol
http://testanything.org/producers.html
TAP producers are any systems which output TAP. This page contains a catalog of software libraries that can act as TAP producers, grouped by programming language. Some test frameworks exist with TAP producers that are not language specific. Ada is a modern programming language designed for large, long-lived applications and embedded systems in particular where safety and security are essential. From Ada Information Clearinghouse. Is a unit test library for Ada which produces TAP 12 output. Is a fork of.
tero.stronglytyped.org
Tero's blog
http://tero.stronglytyped.org/index2.html
Ahven 2.4 released. Sun 09 February 2014. Today, I released Ahven. 24 It is mostly a maintenance release, since despite my plans, I didn't get much done last year. The biggest changes are a compile fix for Apex Ada, documentation improvements, and a comfignat-based build system in contrib/comfignat directory. I will be making this . Build script for NetBSD on Olinuxino-imx233. Fri 07 February 2014. Basically, you need to do following:. Sun 01 December 2013. Are not updating at the moment. Wed 12 June 2013.
codelabs.ch
Anet
https://www.codelabs.ch/anet/index.html
Anet is a networking library for the Ada programming language. The Anet networking library has the following features:. Extendable socket type hierarchy. Socket receiver tasks (Stream and Datagram). Ada type serialisation/deserialisation over sockets. UNIX domain (AF UNIX). Support for IPv4/IPv6 multicast. Support for non-blocking operation. UDP/IPv4 packet creation and validation. Binding to the Linux Packet Filter (LPF) system. And type the following command:. The key fingerprint of the public key (.
codelabs.ch
D_Bus/Ada
https://www.codelabs.ch/dbus-ada/index.html
The D Bus/Ada library provides an Ada binding to the D-Bus message bus used for inter-process communication on most modern Linux desktop systems. The current release version of D Bus/Ada is available at http:/ www.codelabs.ch/download/. To verify the integrity and authenticity of the distribution tarball, import the key http:/ www.codelabs.ch/keys/0xBB793815pub.asc. And type the following command:. Gpg - verify libdbusada-{version}.tar.bz2.sig. The key fingerprint of the public key (. D Bus/Ada provides ...
codelabs.ch
Paillier/ZKP
https://www.codelabs.ch/paillier-zkp/index.html
Paillier/ZKP is an Ada implementation of parts of the Paillier cryptosystem: http:/ en.wikipedia.org/wiki/Paillier. The project provides the following functionality:. Encryption of a vote and generation of the associated Zero-knowledge proof. Zero-knowledge proof verification of a cast vote. Weighted tallying of encrypted votes. This project was developed during the course of the master seminar "E-Voting" at the University of Applied Sciences Rapperswil. You should then see. Behind each of the tests.
tero.stronglytyped.org
Ahven 2.4 released
http://tero.stronglytyped.org/ahven-24-released.html
Ahven 2.4 released. Sun 09 February 2014. Today, I released Ahven. 24 It is mostly a maintenance release, since despite my plans, I didn't get much done last year. The biggest changes are a compile fix for Apex Ada, documentation improvements, and a comfignat-based build system in contrib/comfignat directory. I will be making this comfignat-based build system to be default build system for GNAT in Ahven 2.5, but I am already including it to Ahven, so people can get used to it and possibly report bugs.
tero.stronglytyped.org
Tero's blog - ahven
http://tero.stronglytyped.org/tag/ahven.html
Ahven 2.5 and 2.6 released. Sun 30 August 2015. It has been about 1.5 years since previous Ahven release. To fix the situation, I released Ahven. Ahven 2.6 is almost identical to 2.5, but its documentation contains fixed release dates. Hosting and other changes. There aren't many code . Building the development version of Ahven. Wed 04 June 2014. The next version of Ahven. 25) will use comfignat.mk. Will take care of all the details how to build suitable shared libraries, install the documentation where .
en.wikipedia.org
List of unit testing frameworks - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/List_of_unit_testing_frameworks
List of unit testing frameworks. From Wikipedia, the free encyclopedia. This page is a list of tables of code-driven unit testing. For various programming languages. Some but not all of these are based on xUnit. ActionScript / Adobe Flex. Object Pascal (Free Pascal). SQL and Database Procedural Languages. Visual Basic (VB6.0). This column contains the name of the framework and will usually link to it. This column indicates whether a framework should be considered of xUnit. Since SAP NetWeaver 2004. Unit ...