issues
search
afrl-rq
/
OpenUxAS
Project for multi-UAV cooperative decision making
Other
48
stars
24
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix some new python style errors that are breaking GitHub actions.
#77
pwilliams12
closed
1 year ago
0
Merge lustre model work
#76
manthonyaiello
closed
1 year ago
1
Update package body UxAS.Comms.LMCP_Object_Message_Sender_Pipes
#75
pat-rogers
closed
6 months ago
0
Adapt Ada code and take advantage of new SPARK features
#74
joffreyhuguet
closed
6 months ago
3
fix #72 by using Alire for Ada tools
#73
manthonyaiello
closed
8 months ago
3
use Alire to install Ada tools
#72
manthonyaiello
closed
5 months ago
1
Merge changes in "develop" into "daidalus_integration"
#71
pwilliams12
closed
1 year ago
0
Merge TCP bridge communication fixes from daidalus_integration branch
#70
pwilliams12
closed
1 year ago
0
Update Dependencies
#69
manthonyaiello
closed
1 year ago
2
update dependencies
#68
manthonyaiello
closed
5 months ago
1
Fix #60: improve run-example OpenAMASE resolution
#67
manthonyaiello
closed
1 year ago
1
Update the README's CI badge to fix #65
#66
manthonyaiello
closed
1 year ago
1
fix button in README showing build status
#65
manthonyaiello
closed
1 year ago
2
fix issues #57 and #62
#64
manthonyaiello
closed
1 year ago
0
fix issues related to e3-core 22.2.0 release
#63
manthonyaiello
closed
1 year ago
1
update supported versions of python
#62
manthonyaiello
closed
1 year ago
0
e3-core API changes
#61
pwilliams12
closed
1 year ago
2
update `run-example` to match enhancements to `run-lmcpgen`
#60
manthonyaiello
closed
1 year ago
0
Update infrastructure and run_lmcgen
#59
manthonyaiello
closed
1 year ago
2
Fix Issue #56: Updates to support Ubuntu-22 and GCC11
#58
manthonyaiello
closed
1 year ago
0
drop support for Ubuntu 18.04
#57
manthonyaiello
closed
1 year ago
1
support Ubuntu 22.04 and GCC 11
#56
manthonyaiello
closed
1 year ago
2
SPARK implementation of the Waypoint Plan Manager
#55
lhumphrey
closed
1 year ago
0
Clean up
#54
lhumphrey
closed
1 year ago
0
Spark service
#53
lhumphrey
closed
1 year ago
1
Cannot run `./anod build amase` when cloned as submodule
#52
obicons
closed
1 year ago
5
Spark service
#51
lhumphrey
closed
2 years ago
0
Spark service
#50
lhumphrey
closed
2 years ago
0
Add explicit install option for ZeroMQ build to avoid CI issues on Gi…
#49
pwilliams12
closed
2 years ago
0
Daidalus integration
#48
pwilliams12
closed
2 years ago
0
Daidalus integration
#47
VVCAS-Sean
closed
2 years ago
0
Improve run_example.py
#46
manthonyaiello
closed
2 years ago
0
paths.sh should not override values already set in the environment
#45
manthonyaiello
closed
1 year ago
0
Enhance run-lmcpgen
#44
manthonyaiello
closed
1 year ago
0
Improve running LmcpGen
#43
manthonyaiello
closed
2 years ago
0
Update proofs for Route Aggregator and Assignment Tree Branch and Bou…
#42
lhumphrey
closed
2 years ago
0
Update proofs for Route Aggregator and Assignment Tree Branch and Bound
#41
lhumphrey
closed
2 years ago
0
Updated proof files
#40
lhumphrey
closed
2 years ago
0
daidalus_integration branch ada proofs not passing
#39
lhumphrey
closed
2 years ago
1
Daidalus integration
#38
VVCAS-Sean
closed
2 years ago
1
Recent AdaCore work
#37
manthonyaiello
closed
2 years ago
0
Daidalus integration
#36
manthonyaiello
closed
2 years ago
1
Fix errors for RunLmcpGen.py (#30)
#35
manthonyaiello
closed
2 years ago
0
Update daidalus_integration with new infrastructure (#28)
#34
manthonyaiello
closed
2 years ago
0
Used featureset of zeromq
#33
touisteur
closed
2 years ago
3
Implement greedy traversal of the "search tree" in the Ada ATBB
#32
manthonyaiello
closed
3 years ago
0
Update uxas tox for mypy and bandit
#31
manthonyaiello
closed
3 years ago
0
Update uxas tox for mypy and bandit
#30
manthonyaiello
closed
3 years ago
1
Updated location of boost download
#29
lhumphrey
closed
3 years ago
0
Updated location of boost download
#28
lhumphrey
closed
3 years ago
0
Previous
Next