-
Notifications
You must be signed in to change notification settings - Fork 2
Issues: DEIS-Tools/Swarm-Robotics
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Other robots returning home are not part of current robots Uppaal model
bug
Something isn't working
#28
opened Dec 7, 2020 by
GameMonkey
Have all header includes put in the file's own cpp if it can
enhancement
New feature or request
Refactor
#26
opened Nov 9, 2020 by
GameMonkey
Only Map_structure (and maybe argos_wrapper) should have knowledge of argos3
Refactor
#25
opened Nov 3, 2020 by
GameMonkey
Dependency Injection of argos3
enhancement
New feature or request
Refactor
#24
opened Nov 3, 2020 by
GameMonkey
Add individual wait time to the stations
enhancement
New feature or request
#23
opened Nov 3, 2020 by
GameMonkey
Make Line vector two-dimensional in Map_structure class
Refactor
#21
opened Nov 2, 2020 by
GameMonkey
Fixing scene1 setting of libraries
bug
Something isn't working
#20
opened Oct 23, 2020 by
GameMonkey
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.