Skip to content

Issues: acowley/roshask

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
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

roshask fails to build on Windows
#45 by dfarmer was closed Feb 24, 2019
Should we stop testing on GHC 7.6.3?
#41 by acowley was closed May 28, 2016
Updating manifest.xml
#39 by theNerd247 was closed Nov 12, 2015
definition of topic and Coq API
#38 by aa755 was closed Sep 15, 2015
haxr 3000.11 :: connection refused Bug
#35 by akru was closed Jul 11, 2015
Lens support in ROS message generator, examples, tests.
#34 by akru was merged Jul 9, 2015 Loading…
Experimental message lenses support and new naming scheme.
#33 by akru was closed Jun 28, 2015 Loading…
please document on ROS wiki
#32 by vrabaud was closed Apr 25, 2015
Build error fixes with the new haxr version, issue #29.
#30 by akru was merged Feb 27, 2015 Loading…
Build error with new haxr version.
#29 by akru was closed Feb 28, 2015
Add firstThenSecond to Ros.Topic.Util
#28 by rgleichman was merged May 1, 2015 Loading…
Issue #26 quick fix and add service client example
#27 by rgleichman was merged Dec 18, 2014 Loading…
TCPROS: header callerid optional field
#25 by akru was closed Nov 5, 2014
Add support for ROS Service client
#24 by rgleichman was closed Dec 2, 2014 Loading…
Fix bug where empty messages could not be recieved
#23 by rgleichman was merged Oct 29, 2014 Loading…
Services code review 1
#22 by rgleichman was closed Oct 29, 2014 Loading…
Capitalize filename for message module.
#19 by rgleichman was merged Jun 25, 2014 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.