Skip to content

Split SPARK Ada code into separate files.

Clark Colemanrequested to merge
split_SPARK_files into master

Reduce some file sizes and group code functionally by splitting the SPARK Ada analysis and output methods into separate files.

Merge request reports