issues
search
cubesatlab
/
cubedos
A flight software framework in SPARK/Ada
48
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Mercury should abort processing on syntax errors
#63
pchapin
opened
3 months ago
0
Update Mercury in response to the addition of Message_Address
#62
pchapin
closed
4 months ago
0
Child packages should be handled properly
#61
pchapin
closed
4 months ago
0
Empty message structs should be allowed
#60
pchapin
opened
4 months ago
0
Comments should be forwarded to the generated code
#59
pchapin
opened
4 months ago
0
Typed constants should be supported
#58
pchapin
opened
4 months ago
0
Message invariants should allow more flexible expression forms
#57
pchapin
opened
4 months ago
0
Mercury should allow constant expressions in places where constants are currently expected
#56
pchapin
opened
4 months ago
0
Range constraints should allow 'First to be used when defining the lower bound of a range
#55
pchapin
opened
4 months ago
0
Encoding/Decoding of Time should include fractional part
#54
pchapin
opened
4 months ago
0
Try to fix jenkins, update API files again
#53
Eric-Edlund
closed
1 year ago
0
Update documentation
#52
Eric-Edlund
closed
1 year ago
0
Need to Pick an Application File Structure Convention
#51
Eric-Edlund
opened
1 year ago
0
Transport Module Send Queues
#50
Eric-Edlund
opened
1 year ago
1
Mailbox Sizes
#49
Eric-Edlund
opened
1 year ago
0
Need to Make a Decision about Name resolution
#48
Eric-Edlund
opened
1 year ago
0
Floating point XDR Functions
#47
Eric-Edlund
opened
1 year ago
0
Update Sample Programs for message refactor
#46
Eric-Edlund
opened
1 year ago
0
Fix Async SPARK Proofs
#45
Eric-Edlund
closed
4 months ago
1
Change Ada version to 2022.
#44
Eric-Edlund
closed
1 year ago
0
Message refactor (#41)
#43
Eric-Edlund
closed
1 year ago
0
Depreciate Publish Subscribe Server
#42
Eric-Edlund
opened
1 year ago
1
Message refactor
#41
Eric-Edlund
closed
1 year ago
0
Message refactor
#40
Eric-Edlund
closed
1 year ago
0
More work
#39
Eric-Edlund
closed
1 year ago
0
Improvements to bounded queue
#38
Eric-Edlund
closed
1 year ago
0
Bounded queue improvements
#37
Eric-Edlund
closed
1 year ago
1
Add SPARK Bounded Queue implementation
#36
Eric-Edlund
closed
1 year ago
0
Continue message refactor, switch to Alire
#35
Eric-Edlund
closed
1 year ago
1
Add proof check file for message system
#34
Eric-Edlund
closed
1 year ago
0
Make Message_Record Immutable
#33
Eric-Edlund
closed
1 year ago
0
Add message type checking
#32
Eric-Edlund
closed
1 year ago
0
Per Message Payload Size
#31
Eric-Edlund
closed
1 year ago
0
Msg objects
#30
Eric-Edlund
closed
1 year ago
0
Potential Messaging System Refactor
#29
Eric-Edlund
closed
1 year ago
5
Add domain tracking to time server.
#28
Eric-Edlund
closed
1 year ago
1
Alire executable crate sample program
#27
SevanBadal
closed
1 year ago
1
Distributed Message Passing with Transport_UDP
#26
SevanBadal
closed
2 years ago
0
Review documentation to reflect the way multi-domain systems are now supported
#25
pchapin
opened
2 years ago
4
How should the Time Server deal with multiple domains?
#24
pchapin
closed
1 year ago
0
How should the Publish/Subscribe Server deal with multiple domains?
#23
pchapin
opened
2 years ago
0
Name Resolver (Module Map) Refactor
#22
SevanBadal
closed
2 years ago
0
The time server should use absolute time anchored to external universal clocks
#21
pchapin
opened
3 years ago
0
Enhance Documentation to include information about the sample program
#20
pchapin
opened
4 years ago
0
Create sample program for the publish/subscribe server
#19
pchapin
opened
4 years ago
4
Modify Ping Pong to use and display Request_ID values in some useful way
#18
pchapin
closed
5 years ago
1
Create Message_Manager test program
#17
pchapin
closed
4 years ago
0
Implement a bridge to cFE/CFS
#16
pchapin
opened
5 years ago
0
Create Routing package
#15
saf04231
opened
6 years ago
1
The test/demo program for the tick generator should demonstrate an absolute tick request
#14
pchapin
closed
4 years ago
1
Next