Commit Graph

Select branches

Hide Pull Requests

DAIDALUS_integration

ICAROUS_integration

VU_UxAS_STARL_INTERFACE

ada

ada-develop

architecture

copper

develop

develop-pull-request

documentation

dpssModel

master

minizip-update

missionplanning

missionplanningarguments

realtime_middleware/gams_service

rendezvous

rta

rust

safetycase

sel4

sel4-jdb

sel4.dwd

sriram_guohui_testgeneration_work

staliro

taskserviceargument

taskservicemodeling

testargument

testgeneration8

testgeneration8-attack-wsu

timing

tracer-bullet

zmq-upgrade

#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

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#54

#55

#56

#57

#6

#7

#8

#9

v0.1

v0.1.1

Mono Color

• 5c1745313e Final cleanup and refactoring (#57) ada 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
• 9307d41017 Merge pull request #36 from manthonyaiello/DAIDALUS_integration DAIDALUS_integration M. Anthony Aiello 2020-05-12 08:17:59 -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
• cc9ac2a20d Update README.md M. Anthony Aiello 2020-04-23 18:21:33 -04:00
• 1c0723c265 Merge pull request #39 from joffreyhuguet/DAIDALUS_integration_travis_setup M. Anthony Aiello 2020-04-23 18:20:46 -04:00
• affc690a99 Merge remote-tracking branch 'upstream/DAIDALUS_integration' into DAIDALUS_integration_travis_setup Joffrey Huguet 2020-04-23 22:45:55 +02:00
• 420ba39d73 Add Travis CI support for the DAIDALUS_integration branch Joffrey Huguet 2020-04-23 17:27:10 +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
• 8577e4075f Merge pull request #37 from joffreyhuguet/merge_testsuite_into_daidalus_branch M. Anthony Aiello 2020-04-23 14:51:43 -04:00
• 3cac48007b Add testsuite from ada branch Joffrey Huguet 2020-04-23 20:42:54 +02:00
• b9de824350 Setup Travis CI for compilation of C++ and Ada implementations and running the testsuite Joffrey Huguet 2020-04-17 12:07:29 +02:00
• 4f8fdfabf3 Merge remote-tracking branch 'afrl/DAIDALUS_integration' into DAIDALUS_integration M. Anthony Aiello 2020-04-22 08:33:44 -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
• 36fe993c33 Merge pull request #34 from manthonyaiello/DAIDALUS_integration M. Anthony Aiello 2020-04-16 15:15:01 -04: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
• 87451be9c1 Support DAIDALUS build through OpenUxAS-bootstrap M. Anthony Aiello 2020-04-15 12:03:09 -04: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
• 725885fb1a remove another package name from call rogers 2020-03-23 16:55:59 -05:00
• c794226704 Make Entity ID for arv-demo match Waterway Search M. Anthony Aiello 2020-03-23 17:50:58 -04:00
• 0eeeb6f714 Move to lmcpgen after reversion of formal containers M. Anthony Aiello 2020-03-23 17:15:31 -04:00
• 4461a77138 Revert "work-around CE19 bug" M. Anthony Aiello 2020-03-23 17:12:13 -04:00
• 2af29bbb15 Revert "more CE19 bug workarounds" M. Anthony Aiello 2020-03-23 17:09:06 -04:00
• 8551de2c1d more CE19 bug workarounds rogers 2020-03-23 12:45:25 -05:00
• 5013832eb4 Merge branch 'ada' of https://github.com/AdaCore/OpenUxAS into ada rogers 2020-03-23 11:58:06 -05:00
• 166364730f work-around CE19 bug rogers 2020-03-23 11:57:49 -05:00
• b3f37149b9 Merge pull request #31 from Nikokrock/darwin_build M. Anthony Aiello 2020-03-23 10:06:49 -04:00
• fda7931b86 Merge branch 'ada' of https://github.com/AdaCore/OpenUxAS into ada rogers 2020-03-20 13:59:49 -05:00
• 420d7b4da6 only insert items into sets if not already contained rogers 2020-03-20 13:59:41 -05:00
• c10fab14b3 Merge pull request #32 from Nikokrock/testsuite_improvement M. Anthony Aiello 2020-03-20 13:34:03 -04:00
• d89ff686c3 Improve setting of gcov mode Nicolas Roche 2020-03-20 17:12:51 +01:00
• 40bda40f43 Add support for MacOS Nicolas Roche 2020-03-20 11:34:42 +01:00
• 74d4d80d1f Merge branch 'ada' of https://github.com/AdaCore/OpenUxAS into ada rogers 2020-03-19 15:26:26 -05:00
• 3f79e0ef5c finish and integrate Route_Aggregator_Communication package rogers 2020-03-19 15:26:16 -05:00
• 6a8b530565 Corrected a bug in changing heading to the left. VVCAS-Sean 2020-03-17 08:13:50 -04:00
• 59fc22b5dd Merge pull request #30 from Nikokrock/uxas_makefile M. Anthony Aiello 2020-03-11 12:31:09 -04:00
• 132df61baa paqrtial (but sufficient) implementation rogers 2020-03-10 20:24:14 -05:00
• ac465d5f37 remove backup file rogers 2020-03-10 16:39:34 -05:00
• 4bd749fc34 moving to official repo rogers 2020-03-10 16:32:59 -05:00
• 1f53f81f72 package body complete (but Euclidian_Plan to be implemented, in Route_Aggregator package) rogers 2020-03-09 18:17:18 -05:00
• 24b1eb4513 Overtaking example tested. Further refinement of input parameters to be done. VVCAS-Sean 2020-03-09 06:34:47 -04:00
• 05e45b09fc Add Makefile to compile openuxas Nicolas Roche 2020-03-09 10:01:26 +01:00
• 182fa5039c initial overtaking example complete. Not tested. VVCAS-Sean 2020-03-05 13:42:59 -05:00
• e3154a7944 BuildMatrixRequests is complete, although not all the routines it calls are implemented rogers 2020-03-05 17:15:53 +01:00
• 0a1fa44893 Started construction of new example setting up and overtaking collision. Reverted changes to communication protocols. Note: communication is broken with AMSE but should exhibit correct interleaving of messages when running. Changes to configuration files to better debug communication issues. VVCAS-Sean 2020-03-05 11:03:43 -05:00
• 92107ada61 saving partially complete impl rogers 2020-03-05 15:51:11 +01:00
• 4f3fe19c6c Merge branch 'develop' into daidalus_develop VVCAS-Sean 2020-03-03 17:54:30 -05:00
• aabd1f5855 Merge pull request #95 from afrl-rq/develop-pull-request lhumphrey 2020-03-03 09:50:42 -05:00
• c5b7867cc5 Hopefully a fix for the TCP bridge that was causing crashes with AMASE laura.humphrey 2020-03-03 09:48:02 -05:00