lhumphrey
fbc0e3eed9
Update proofs for Route Aggregator and Assignment Tree Branch and Bound ( #41 )
...
* Added missing test.out file for route_aggregator
* Updated proof session files for Route Aggregator and Assignment Tree Branch and Bound
2022-03-15 09:46:40 -04:00
M. Anthony Aiello
c087aac77b
Merge pull request #37 from joffreyhuguet/silver_level_proof_algebra_tree
...
Silver level proof algebra tree
2021-10-28 15:14:41 -04:00
Joffrey Huguet
7bbdaa3c3e
Update session files and proof testsuite
2021-10-25 17:40:25 +02:00
Joffrey Huguet
61b336ab7c
Update session files and testsuite
2021-10-21 15:38:19 +02:00
Joffrey Huguet
99054911e4
Merge branch 'integration' into improve_proof_testsuite
2021-10-20 10:15:00 +02:00
Joffrey Huguet
ea0e4a2fd9
Improve run-proofs.py to allow to run on non-replay mode, to easily rewrite session files
2021-09-10 14:48:45 +02:00
Joffrey Huguet
57319a5a39
Update session files for CE2021
2021-07-26 17:47:38 +02:00
Joffrey Huguet
be3b58d961
Merge pull request #21 from joffreyhuguet/change_reporting_level_in_proof_testsuite
...
Change report level on proof testsuite
2021-01-25 16:32:37 -05:00
Joffrey Huguet
88a40f522c
Update session files and testsuite
2020-12-07 09:50:58 +01:00
Joffrey Huguet
59358ed71a
Update session files and testsuite
2020-10-27 13:03:20 +01:00
M. Anthony Aiello
9f7d8f6388
Merge branch 'develop' of https://github.com/afrl-rq/OpenUxAS into integration
2020-09-01 14:26:02 -04:00
Joffrey Huguet
0fec920f63
Update session files
2020-09-01 09:36:35 +02:00
lhumphrey
b57d70211e
Adding Example_Spark_Service ( #8 )
...
* Example Spark service
* Version 1 of Example_Spark_Service. Minor formatting updates to other Ada files.
* Deleted session files. Added changes to uxas_ada.adb
* Restoring sessions files and adding new session file for example_spark_service
2020-08-26 14:15:09 -04:00
Joffrey Huguet
098047f90a
Remove the Route_Aggregator_ prefix for files that can be shared among several SPARK services
2020-08-18 15:35:33 +02:00
M. Anthony Aiello
5c1745313e
Final cleanup and refactoring ( #57 )
2020-07-24 19:13:47 -04:00
