rtyler
/
ironsides
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Fork of the SPARK-based DNS server
4 Commits 1 Branch 0 Tags 4.5 MiB
Roff 57.5%
Ada 42.4%
Go to file
R. Tyler Croy 9c8e9330d7 Nuke the sli files too while i'm at it 2012-11-04 22:30:39 -08:00
dns_network_receive Initial commit 2012-11-04 21:43:40 -08:00
dns_table_pkg/dns_table_type Initial commit 2012-11-04 21:43:40 -08:00
dns_types Initial commit 2012-11-04 21:43:40 -08:00
parser_utilities Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request Initial commit 2012-11-04 21:43:40 -08:00
process_first_line_of_record Initial commit 2012-11-04 21:43:40 -08:00
rr_type Initial commit 2012-11-04 21:43:40 -08:00
task_limit/task_count_type Initial commit 2012-11-04 21:43:40 -08:00
tcp_dns_package Initial commit 2012-11-04 21:43:40 -08:00
udp_dns_package Initial commit 2012-11-04 21:43:40 -08:00
zone_file_io Initial commit 2012-11-04 21:43:40 -08:00
zone_file_parser Initial commit 2012-11-04 21:43:40 -08:00
.gitignore Nuke all the .ali files and ignore them 2012-11-04 22:29:59 -08:00
COPYRIGHT.txt Initial commit 2012-11-04 21:43:40 -08:00
README.txt Initial commit 2012-11-04 21:43:40 -08:00
allbob.bat Initial commit 2012-11-04 21:43:40 -08:00
allbobserial.bat Initial commit 2012-11-04 21:43:40 -08:00
ann Initial commit 2012-11-04 21:43:40 -08:00
bob Initial commit 2012-11-04 21:43:40 -08:00
bob.bat Initial commit 2012-11-04 21:43:40 -08:00
bob.sh Initial commit 2012-11-04 21:43:40 -08:00
bob2.bat Initial commit 2012-11-04 21:43:40 -08:00
db.dfcs.usafa.edu.signed Initial commit 2012-11-04 21:43:40 -08:00
dfcs.usafa.edu.oldzonefile Initial commit 2012-11-04 21:43:40 -08:00
dfcs.usafa.edu.zonefile Initial commit 2012-11-04 21:43:40 -08:00
dns_network.adb Initial commit 2012-11-04 21:43:40 -08:00
dns_network.ads Initial commit 2012-11-04 21:43:40 -08:00
dns_network.ads.bk.1 Initial commit 2012-11-04 21:43:40 -08:00
dns_network.lsb Initial commit 2012-11-04 21:43:40 -08:00
dns_network_receive.adb Initial commit 2012-11-04 21:43:40 -08:00
dns_network_receive.ads Initial commit 2012-11-04 21:43:40 -08:00
dns_network_receive.lsb Initial commit 2012-11-04 21:43:40 -08:00
dns_table_pkg.adb Initial commit 2012-11-04 21:43:40 -08:00
dns_table_pkg.ads Initial commit 2012-11-04 21:43:40 -08:00
dns_table_pkg.lsb Initial commit 2012-11-04 21:43:40 -08:00
dns_table_pkg.lss Initial commit 2012-11-04 21:43:40 -08:00
dns_types.adb Initial commit 2012-11-04 21:43:40 -08:00
dns_types.ads Initial commit 2012-11-04 21:43:40 -08:00
dns_types.ads.bk.1 Initial commit 2012-11-04 21:43:40 -08:00
dns_types.ads.bk.2 Initial commit 2012-11-04 21:43:40 -08:00
dns_types.ads.bk.3 Initial commit 2012-11-04 21:43:40 -08:00
dns_types.ads.bk.4 Initial commit 2012-11-04 21:43:40 -08:00
dns_types.lsb Initial commit 2012-11-04 21:43:40 -08:00
driver.adb Initial commit 2012-11-04 21:43:40 -08:00
error_msgs.adb Initial commit 2012-11-04 21:43:40 -08:00
error_msgs.ads Initial commit 2012-11-04 21:43:40 -08:00
error_msgs.lsb Initial commit 2012-11-04 21:43:40 -08:00
files.txt Initial commit 2012-11-04 21:43:40 -08:00
gnat.ago Initial commit 2012-11-04 21:43:40 -08:00
gnat.cfg Initial commit 2012-11-04 21:43:40 -08:00
mcc Initial commit 2012-11-04 21:43:40 -08:00
mcc.bat Initial commit 2012-11-04 21:43:40 -08:00
mcc.cfg Initial commit 2012-11-04 21:43:40 -08:00
mcc.idx Initial commit 2012-11-04 21:43:40 -08:00
multitask_process_dns_request.adb Initial commit 2012-11-04 21:43:40 -08:00
multitask_process_dns_request.ads Initial commit 2012-11-04 21:43:40 -08:00
multitask_process_dns_request.lsb Initial commit 2012-11-04 21:43:40 -08:00
non_spark_stuff.adb Initial commit 2012-11-04 21:43:40 -08:00
non_spark_stuff.adb.bk.1 Initial commit 2012-11-04 21:43:40 -08:00
non_spark_stuff.adb.bk.2 Initial commit 2012-11-04 21:43:40 -08:00
non_spark_stuff.adb.bk.3 Initial commit 2012-11-04 21:43:40 -08:00
non_spark_stuff.adb.bk.4 Initial commit 2012-11-04 21:43:40 -08:00
non_spark_stuff.ads Initial commit 2012-11-04 21:43:40 -08:00
non_spark_stuff.lsb Initial commit 2012-11-04 21:43:40 -08:00
out Initial commit 2012-11-04 21:43:40 -08:00
parser_utilities.adb Initial commit 2012-11-04 21:43:40 -08:00
parser_utilities.ads Initial commit 2012-11-04 21:43:40 -08:00
parser_utilities.lsb Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.adb Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.adb.0 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.adb.1 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.adb.2 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.adb.3 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.adb.bk.1 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.adb.bk.2 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.adb.bk.3 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.adb.bk.4 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.ads Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.ads.bk.1 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.ads.bk.2 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.ads.bk.3 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.ads.bk.4 Initial commit 2012-11-04 21:43:40 -08:00
process_dns_request.lsb Initial commit 2012-11-04 21:43:40 -08:00
process_first_line_of_record.adb Initial commit 2012-11-04 21:43:40 -08:00
process_first_line_of_record.ads Initial commit 2012-11-04 21:43:40 -08:00
process_first_line_of_record.lsb Initial commit 2012-11-04 21:43:40 -08:00
protected_spark_io_05.adb Initial commit 2012-11-04 21:43:40 -08:00
protected_spark_io_05.ads Initial commit 2012-11-04 21:43:40 -08:00
protected_spark_io_05.lsb Initial commit 2012-11-04 21:43:40 -08:00
rr_type-a_record_type.ads Initial commit 2012-11-04 21:43:40 -08:00
rr_type-aaaa_record_type.ads Initial commit 2012-11-04 21:43:40 -08:00
rr_type-cname_record_type.ads Initial commit 2012-11-04 21:43:40 -08:00
rr_type-dnskey_record_type.ads Initial commit 2012-11-04 21:43:40 -08:00
rr_type-dnskey_record_type.lss Initial commit 2012-11-04 21:43:40 -08:00
rr_type-mx_record_type.ads Initial commit 2012-11-04 21:43:40 -08:00
rr_type-ns_record_type.ads Initial commit 2012-11-04 21:43:40 -08:00
rr_type-ns_record_type.lss Initial commit 2012-11-04 21:43:40 -08:00
rr_type-nsec_record_type.ads Initial commit 2012-11-04 21:43:40 -08:00
rr_type-nsec_record_type.lss Initial commit 2012-11-04 21:43:40 -08:00
rr_type-ptr_record_type.ads Initial commit 2012-11-04 21:43:40 -08:00
rr_type-ptr_record_type.lss Initial commit 2012-11-04 21:43:40 -08:00
rr_type-rrsig_record_type.ads Initial commit 2012-11-04 21:43:40 -08:00
rr_type-soa_record_type.ads Initial commit 2012-11-04 21:43:40 -08:00
rr_type.adb Initial commit 2012-11-04 21:43:40 -08:00
rr_type.ads Initial commit 2012-11-04 21:43:40 -08:00
rr_type.lsb Initial commit 2012-11-04 21:43:40 -08:00
socket_timeout.adb Initial commit 2012-11-04 21:43:40 -08:00
socket_timeout.ads Initial commit 2012-11-04 21:43:40 -08:00
socket_timeout.lsb Initial commit 2012-11-04 21:43:40 -08:00
socket_timeout_linux.adb Initial commit 2012-11-04 21:43:40 -08:00
spark.rep Initial commit 2012-11-04 21:43:40 -08:00
spark.smf Initial commit 2012-11-04 21:43:40 -08:00
spark.sw Initial commit 2012-11-04 21:43:40 -08:00
spark.wrn Initial commit 2012-11-04 21:43:40 -08:00
spark_ada_command_line.adb Initial commit 2012-11-04 21:43:40 -08:00
spark_ada_command_line.ads Initial commit 2012-11-04 21:43:40 -08:00
spark_ada_command_line.lsb Initial commit 2012-11-04 21:43:40 -08:00
spark_dns_main.adb Initial commit 2012-11-04 21:43:40 -08:00
spark_dns_main.exe Initial commit 2012-11-04 21:43:40 -08:00
spark_dns_main.fdl Initial commit 2012-11-04 21:43:40 -08:00
spark_dns_main.lsb Initial commit 2012-11-04 21:43:40 -08:00
spark_dns_main.rls Initial commit 2012-11-04 21:43:40 -08:00
spark_dns_main.siv Initial commit 2012-11-04 21:43:40 -08:00
spark_dns_main.slg Initial commit 2012-11-04 21:43:40 -08:00
spark_dns_main.vcg Initial commit 2012-11-04 21:43:40 -08:00
spark_dns_main.vct Initial commit 2012-11-04 21:43:40 -08:00
spark_dns_main.vlg Initial commit 2012-11-04 21:43:40 -08:00
spark_dns_main.vsm Initial commit 2012-11-04 21:43:40 -08:00
task_limit.adb Initial commit 2012-11-04 21:43:40 -08:00
task_limit.ads Initial commit 2012-11-04 21:43:40 -08:00
task_limit.lsb Initial commit 2012-11-04 21:43:40 -08:00
tcp_dns_package.adb Initial commit 2012-11-04 21:43:40 -08:00
tcp_dns_package.ads Initial commit 2012-11-04 21:43:40 -08:00
tcp_dns_package.lsb Initial commit 2012-11-04 21:43:40 -08:00
tim Initial commit 2012-11-04 21:43:40 -08:00
trunk.sum Initial commit 2012-11-04 21:43:40 -08:00
udp_dns_package.adb Initial commit 2012-11-04 21:43:40 -08:00
udp_dns_package.adb.bk.1 Initial commit 2012-11-04 21:43:40 -08:00
udp_dns_package.adb.bk.2 Initial commit 2012-11-04 21:43:40 -08:00
udp_dns_package.adb.bk.3 Initial commit 2012-11-04 21:43:40 -08:00
udp_dns_package.adb.bk.4 Initial commit 2012-11-04 21:43:40 -08:00
udp_dns_package.ads Initial commit 2012-11-04 21:43:40 -08:00
udp_dns_package.lsb Initial commit 2012-11-04 21:43:40 -08:00
unsigned_types.ads Initial commit 2012-11-04 21:43:40 -08:00
zone_file_io.adb Initial commit 2012-11-04 21:43:40 -08:00
zone_file_io.ads Initial commit 2012-11-04 21:43:40 -08:00
zone_file_io.lsb Initial commit 2012-11-04 21:43:40 -08:00
zone_file_parser.adb Initial commit 2012-11-04 21:43:40 -08:00
zone_file_parser.ads Initial commit 2012-11-04 21:43:40 -08:00
zone_file_parser.lsb Initial commit 2012-11-04 21:43:40 -08:00

README.txt 

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