https://github.com/rtyler/ironsides

Fork of the SPARK-based DNS server
https://github.com/rtyler/ironsides

Last synced: 27 days ago
JSON representation

Fork of the SPARK-based DNS server

• Host: GitHub
• URL: https://github.com/rtyler/ironsides
• Owner: rtyler
• License: other
• Created: 2013-07-01T22:09:51.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2013-07-01T22:14:14.000Z (over 11 years ago)
• Last Synced: 2024-11-26T21:03:09.273Z (29 days ago)
• Language: Ada
• Size: 4.43 MB
• Stars: 8
• Watchers: 5
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.txt

Awesome Lists containing this project

README

        
IRONSIDES compilation instructions

SPARK (http://www.altran-praxis.com/spark.aspx) is a programming language that uses formal methods to prove software properties.  There are two separate compilation processes:

1) Use the SPARK toolset (http://libre.adacore.com/tools/spark-gpl-edition/) to perform the automatic theorem proving on the code.  (If you haven't modified the distribution, this step is not required as it has already been done by the authors-- you do still have to download SPARK to get the library modules).

2) Use an Ada compiler (e.g. http://libre.adacore.com/tools/gnat-gpl-edition/) to create an executable.

The following command line will create an executable (assuming SPARK is installed to c:\spark\2011).

gnatmake -gnat05 -O3 -gnatp -Ic:\spark\2011\lib\spark -Ic:\spark\2011\lib\spark\current spark_dns_main