Commit Graph

Select branches

Hide Pull Requests

DAIDALUS_integration

develop

experiments/lustre

experiments/tla

rogers/casing_fix

#1

#10

#11

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#28

#29

#3

#30

#31

#32

#33

#34

#35

#36

#37

#38

#39

#4

#40

#5

#6

#7

#8

#9

Mono Color

• b58c27aa56 Update Automation Request Validator service ARV service now uses messages defined in lmcp_messages.ads Joffrey Huguet 2020-10-21 17:32:32 +02:00
• 26d3c28765 Merge pull request #14 from joffreyhuguet/add_compilation_switch_ada_release Joffrey Huguet 2020-10-22 09:11:23 +02:00
• 607241a046 Add -gnatwa switch at compilation for release scenario of Ada UxAS Joffrey Huguet 2020-10-21 17:33:42 +02:00
• dec132e445 Merge pull request #13 from pat-rogers/integration Pat Rogers 2020-10-21 09:29:41 -05:00
• 919bbbfcfe reorganize all Ada sources into subdirs rogers 2020-10-20 11:55:51 -05:00
• bd7c59a652 Minor updates to README files for DAIDALUS examples. Minor updates to XML config files to make them well-formed in various XML viewers lhumphrey 2020-10-15 17:06:26 -04:00
• 95eade9841 Merge pull request #15 from VVCAS-Sean/daidalus_integration lhumphrey 2020-10-08 09:55:04 -04:00
• d0ad94ccad collapsed DAIDALUS detection and response into a single service. Updated examples that use DAIDALUS, accordingly. VVCAS-Sean 2020-10-07 16:31:39 -04:00
• 5b7d1ab501 Updates to heading resolution and altering of the mission command for returning to mission. VVCAS-Sean 2020-10-07 09:54:00 -04:00
• 9fbb611b59 re-organization of examples illustrating DAIDALUS detection of loss of wellclear and subsequent response. VVCAS-Sean 2020-10-07 09:45:45 -04:00
• 8a4eee878a Merge pull request #14 from AdaCore/DAIDALUS_integration lhumphrey 2020-09-03 17:24:03 -04:00
• 514033bdde Update to prep for hosting branches on afrl-rq. M. Anthony Aiello 2020-09-03 13:47:35 -04:00
• 334eb15c27 Merge pull request #11 from manthonyaiello/feature/daidalus-improve-anod-integration M. Anthony Aiello 2020-09-02 10:29:21 -04:00
• a9fb14831b Updates for daidalus branch. M. Anthony Aiello 2020-09-02 09:09:44 -04:00
• 3378886d0c Merge remote-tracking branch 'origin/integration' into DAIDALUS_integration M. Anthony Aiello 2020-09-02 08:52:20 -04:00
• 60de7bff75 Merge pull request #11 from AdaCore/integration lhumphrey 2020-09-01 16:33:06 -04:00
• cf1cbe4fc0 Add Makefile (left out of PR#10 by accident). M. Anthony Aiello 2020-09-01 14:28:49 -04:00
• 9f7d8f6388 Merge branch 'develop' of https://github.com/afrl-rq/OpenUxAS into integration M. Anthony Aiello 2020-09-01 14:26:02 -04:00
• 18180857ba Improve integration with anod. (#10) M. Anthony Aiello 2020-09-01 09:49:46 -04:00
• 64dc70f749 Merge pull request #8 from joffreyhuguet/add_assignment_tree_branch_bound_service Joffrey Huguet 2020-09-01 14:18:20 +02:00
• 0fec920f63 Update session files Joffrey Huguet 2020-08-20 18:18:34 +02:00
• 029aa02386 Add an example featuring Ada implementation of Assignment Tree Branch Bound Joffrey Huguet 2020-08-18 18:12:12 +02:00
• e6027e2958 Changes to fix examples/06_AutomationDiagram (#10) lhumphrey 2020-08-28 15:40:17 -04:00
• b57d70211e Adding Example_Spark_Service (#8) lhumphrey 2020-08-26 14:15:09 -04:00
• 39936f7855 Merge pull request #9 from pat-rogers/integration Pat Rogers 2020-08-26 12:59:26 -05:00
• 325f017084 Add Assignment Tree Branch Bound service Joffrey Huguet 2020-08-18 18:07:40 +02:00
• 2fd0933646 make Network_Client_Processor tasks not die in face of exceptions rogers 2020-08-24 16:44:44 -05:00
• a1679d6989 Merge pull request #6 from joffreyhuguet/remove_route_aggregator_prefix_in_shared_files Joffrey Huguet 2020-08-18 17:21:20 +02:00
• e18f12c017 Merge pull request #7 from joffreyhuguet/fix_proof_testsuite_with_exit_code Joffrey Huguet 2020-08-18 17:20:39 +02:00
• 098047f90a Remove the Route_Aggregator_ prefix for files that can be shared among several SPARK services Joffrey Huguet 2020-08-10 11:55:04 +02:00
• 0a43d70573 Proof testsuite can exit with an error code in case one test fails Joffrey Huguet 2020-08-18 14:56:11 +02:00
• 1499e5f31b Restore DAIDALUS_integration branch. (#5) M. Anthony Aiello 2020-08-13 09:18:36 -04:00
• 8aef6b9b3d Enhance run-example. (#3) M. Anthony Aiello 2020-08-07 11:21:29 -04:00
• 7d76ed8980 Feature/lint run example (#2) M. Anthony Aiello 2020-08-05 14:48:04 -04:00
• 4db4798831 [T804-027] Be specific about python version. (#1) M. Anthony Aiello 2020-08-05 14:47:33 -04:00
• 2a58d63435 Enhance run-example. (#3) M. Anthony Aiello 2020-08-07 11:21:29 -04:00
• e4c44bd3b9 Enhance run-example. M. Anthony Aiello 2020-08-05 17:23:48 -04:00
• afc4482e10 Feature/lint run example (#2) M. Anthony Aiello 2020-08-05 14:48:04 -04:00
• 2163499fb2 [T804-027] Be specific about python version. (#1) M. Anthony Aiello 2020-08-05 14:47:33 -04:00
• 12e0cf2f6f Merge pull request #1 from manthonyaiello/feature/update-readme lhumphrey 2020-07-30 11:57:56 -04:00
• 055555424a Update the OpenUxAS README M. Anthony Aiello 2020-07-30 11:32:32 -04:00
• 5e7dbbd5d5 Changes for afrl-rq repository James Hamil 2020-07-27 12:18:41 -04:00
• 5c1745313e Final cleanup and refactoring (#57) M. Anthony Aiello 2020-07-24 19:13:47 -04:00
• a1f59a7065 Merge pull request #56 from manthonyaiello/ada M. Anthony Aiello 2020-07-24 10:02:06 -04:00
• 041d7cc357 Refactor the repository. M. Anthony Aiello 2020-07-23 11:22:00 -04:00
• 360ef3d018 Merge remote-tracking branch 'afrl/develop' into ada M. Anthony Aiello 2020-07-23 10:49:36 -04:00
• ba47d6834c Bugfix/run tests without coverage (#54) M. Anthony Aiello 2020-07-15 10:19:56 -04:00
• d60eacb42c Merge pull request #53 from joffreyhuguet/add_gcov_document_to_testsuite Joffrey Huguet 2020-07-06 16:32:15 +02:00
• e34021c3a0 Merge pull request #52 from joffreyhuguet/update_route_aggregator_proof Joffrey Huguet 2020-07-06 16:31:43 +02:00
• 1d476c2073 Add document How to use Gcov in OpenUxAS project to the testsuite Joffrey Huguet 2020-06-25 16:31:18 +02:00
• d266935b7a Cleanup of the code; add comments, rename subprograms, etc. Joffrey Huguet 2020-07-03 10:51:12 +02:00
• 80c07a9940 Increase timeout for proof in GitHub Actions script Joffrey Huguet 2020-07-01 14:23:24 +02:00
• 53203ad11c Merge pull request #50 from joffreyhuguet/fix_jobs_option_in_testsuite Joffrey Huguet 2020-07-01 11:30:15 +02:00
• 5725800442 Merge remote-tracking branch 'origin/ada' into update_route_aggregator_proof Joffrey Huguet 2020-07-01 10:53:20 +02:00
• d448d0a372 Update proof of route aggregator Joffrey Huguet 2020-06-23 11:49:26 +02:00
• 4a73a2e98b Feature/use GitHub actions (#51) M. Anthony Aiello 2020-06-30 15:36:46 -04:00
• 9f104c77f7 Merge remote-tracking branch 'origin/ada' into fix_jobs_option_in_testsuite Joffrey Huguet 2020-06-25 14:40:14 +02:00
• 26d532ed63 Merge pull request #49 from joffreyhuguet/update_travis_script Joffrey Huguet 2020-06-25 14:37:08 +02:00
• e471c58d56 Replace setenv by printenv in .travis.yml Joffrey Huguet 2020-06-24 16:13:39 +02:00
• 771a73fc80 Merge remote-tracking branch 'origin/ada' into fix_jobs_option_in_testsuite Joffrey Huguet 2020-06-23 16:03:33 +02:00
• 9e67b21c32 Merge pull request #48 from joffreyhuguet/update_travis_script Joffrey Huguet 2020-06-23 16:02:12 +02:00
• a524bd10ad Add an argument to pass the number of jobs in call to gnatprove, default is 1 Joffrey Huguet 2020-06-23 14:26:46 +02:00
• 05e16e150e Update Travis CI script and install script following changes in bootstrap Joffrey Huguet 2020-06-23 10:41:08 +02:00
• 0a812c2eda Update .travis.yml following changes in bootstrap Joffrey Huguet 2020-06-23 10:41:08 +02:00
• 240cd01f7e Merge pull request #47 from joffreyhuguet/travis_install_e3_core_directly Joffrey Huguet 2020-06-11 19:35:19 +02:00
• 4c0fa0bfe9 Install directly e3-core without using the git repo Joffrey Huguet 2020-06-11 17:06:05 +02:00
• e3aac1f57e Merge pull request #46 from joffreyhuguet/fix_uxas_ada_gcov_build Joffrey Huguet 2020-06-10 14:33:21 +02:00
• 938aa175ef Remove compilation errors in gcov and debug mode of Ada implementation Joffrey Huguet 2020-06-08 12:40:18 +02:00
• 8b65d3acf5 Merge pull request #45 from joffreyhuguet/add_baseline_testsuite_for_proof Joffrey Huguet 2020-06-04 22:54:36 +02:00
• 4b464deeaf Run testsuite in Travis Joffrey Huguet 2020-06-04 19:35:53 +02:00
• 06cec488a8 Add testsuite script and test case for each implemented service Joffrey Huguet 2020-06-04 19:35:26 +02:00
• 8b0425cc9b Add proof dir to afrl_ada_dev.gpr and add session files Joffrey Huguet 2020-06-04 19:33:16 +02:00
• cd6a68062b Merge pull request #97 from ctaylor80/impactPointSearchTaskChange lhumphrey 2020-06-01 15:26:13 -04:00
• 8add1bd04a Merge pull request #44 from joffreyhuguet/finish_route_aggregator_implementation Joffrey Huguet 2020-06-01 14:47:13 +02:00
• 4a0095dc12 show help if config file unspecified (#41) Pat Rogers 2020-05-18 16:00:16 -05:00
• 4757d3dbc5 Add test case with ARV and RA service in Ada Joffrey Huguet 2020-05-28 18:37:05 +02:00
• 0ba0f94188 Finish implementation of route aggregator Joffrey Huguet 2020-05-25 17:17:52 +02:00
• a68f1a940a Fix run-example --list (#42) M. Anthony Aiello 2020-05-26 08:38:43 -04:00
• 3c64aba621 show help if config file unspecified (#41) Pat Rogers 2020-05-18 16:00:16 -05:00
• 40b1412d08 Updated task message for examples/99_Tasks/RendezvousTask to match updated LMCP message definition lhumphrey 2020-05-15 15:07:22 -04:00
• fc75c8f8de Fixed heading calculation error in route extension logic Derek Kingston 2020-05-15 09:19:07 -04:00
• 4aee94f778 Changing ImpactPointSearchTaskService to allow optional DesiredAction per the LMCP spec. Colin Taylor 2020-05-14 15:19:15 -04:00
• 0ebcdf8d31 remove typo in comment minor formatting change rogers 2020-05-14 13:56:54 -05:00
• 04b71a337d Feature/create run example (#40) M. Anthony Aiello 2020-05-14 13:49:06 -04:00
• a34d4a6e68 Simple fix to OverwatchTaskService.cpp to correct detection of message type. Fixes to example 06 to accomodate changes to ImpactPointSearchTask lhumphrey 2020-05-14 10:34:40 -04:00
• ae69053f77 change file name (and unit name) to uxas_ada.adb change executable file name to "uxas-ada" replace tabs with spaces elsewhere rogers 2020-05-05 15:05:37 -05:00
• 09c40eb26b Merge pull request #38 from manthonyaiello/ada Joffrey Huguet 2020-04-24 09:20:17 +02:00
• 776b454dcb Update button again again M. Anthony Aiello 2020-04-23 16:14:33 -04:00
• 970479fe00 Update build button again M. Anthony Aiello 2020-04-23 16:11:57 -04:00
• a9c4925d57 Update build button M. Anthony Aiello 2020-04-23 16:09:24 -04:00
• ed79f8f664 allow duplicate request identifiers comment out unused ghost variables add commented-out C++ code for Euclidian_Plan, in case we ever want to implement it rogers 2020-04-21 10:28:47 -05:00
• ba527f2469 Announce otherwise silent msg processor task failures rogers 2020-04-15 13:50:49 -05:00
• 06ec95f95b trivial formatting change for readability rogers 2020-04-15 11:29:13 -05:00
• 1822920694 match the C++ code for map insertion semantics rogers 2020-04-15 11:28:29 -05:00
• 3211d9d5c0 Merge pull request #35 from joffreyhuguet/add_travis_CI_support M. Anthony Aiello 2020-04-17 10:54:33 -04:00
• 0fd7c8176f Setup Travis CI for compilation of C++ and Ada implementations and running the testsuite Joffrey Huguet 2020-04-17 12:07:29 +02:00
• 3886c8e51b Merge pull request #33 from joffreyhuguet/backwards_compatibility_ce2019 M. Anthony Aiello 2020-04-16 11:21:10 -04:00
• 5a8ce60dbd Make the Ada implementation backwards-compatible with Community Edition 2019 Joffrey Huguet 2020-04-16 11:43:39 +02:00
• 21fb5fa929 relatively minor cleanups for readability rogers 2020-04-10 17:59:38 -05:00
• e650b31a9e correct map insertion calls post-increment id's used as map keys when inserting various simplifications rogers 2020-04-08 09:53:46 -05:00