M. Anthony Aiello ad985645b6 Update daidalus_integration with new infrastructure (#28) ...

* Initial update for DAIDALUS w/ new infrastructure.

Merged the work from the develop branch with DAIDALUS. This is
completely untested at present. README needs update, so this should be
considered a work in progress.

* Fix proofs and add run-example support.

`run-example` can now be used with the daidalus examples (9-12).

Proofs are fixed.

README is still broken.

* Update README for DAIDALUS.

2021-08-17 09:48:38 -04:00

..

00_Template

Update daidalus_integration with new infrastructure (#28)

2021-08-17 09:48:38 -04:00

01_HelloWorld

Feature/create run example (#40)

2020-05-14 13:49:06 -04:00

02_Example_WaterwaySearch

Feature/create run example (#40)

2020-05-14 13:49:06 -04:00

02a_Ada_WaterwaySearch

Feature/create run example (#40)

2020-05-14 13:49:06 -04:00

02b_Double_WaterwaySearch

Feature/create run example (#40)

2020-05-14 13:49:06 -04:00

02c_Ada_ARV_RA_WaterwaySearch

Add test case with ARV and RA service in Ada

2020-05-29 15:27:12 +02:00

03_Example_DistributedCooperation

Restore DAIDALUS_integration branch. (#5)

2020-08-13 09:18:36 -04:00

04_Example_DistributedCooperation_large

collapsed DAIDALUS detection and response into a single service. Updated examples that use DAIDALUS, accordingly.

2020-10-07 16:31:39 -04:00

05_AssignTasks

Feature/create run example (#40)

2020-05-14 13:49:06 -04:00

05a_Ada_AssignTasks

Add an example featuring Ada implementation of Assignment Tree Branch Bound

2020-08-31 15:55:19 +02:00

06_AutomationDiagram

Changes to fix examples/06_AutomationDiagram (#10)

2020-08-28 15:40:17 -04:00

07_PythonWithAmase

Created example 7 to demonstrate how to connect directly between Python and AMASE

2018-06-20 10:35:13 -04:00

08_ExampleSparkService

Adding Example_Spark_Service (#8)

2020-08-26 14:15:09 -04:00

09_Collision

Update daidalus_integration with new infrastructure (#28)

2021-08-17 09:48:38 -04:00

10_Overtaking

Update daidalus_integration with new infrastructure (#28)

2021-08-17 09:48:38 -04:00

11_Intersecting_Line_Searches

Update daidalus_integration with new infrastructure (#28)

2021-08-17 09:48:38 -04:00

12_Patrol

Update daidalus_integration with new infrastructure (#28)

2021-08-17 09:48:38 -04:00

99_Tasks

Merge remote-tracking branch 'afrl/develop' into ada

2020-07-23 10:49:36 -04:00