issues
search
nasa
/
fpp
F Prime Prime: A modeling language for F Prime
https://fprime.jpl.nasa.gov
Apache License 2.0
46
stars
31
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update fpp-to-json with state machine analysis
#511
bocchino
opened
4 hours ago
0
Document the changes to name qualification in the generated C++ for topologies
#510
bocchino
opened
2 days ago
0
Update User's Guide to describe Phase 2 state machines
#509
bocchino
opened
1 week ago
0
Integrate Phase 2 state machines with F Prime
#508
bocchino
opened
1 week ago
0
Implement C++ code gen for Phase 2 state machines
#507
bocchino
opened
1 week ago
0
Prototype generated code for Phase 2 state machines
#506
bocchino
opened
1 week ago
0
Implement Compute Flattened Junction Transition Map
#505
bocchino
opened
1 week ago
0
Implement Compute Flattened State Transition Map
#504
bocchino
opened
1 week ago
0
Implement Compute Flattened Initial Transition
#503
bocchino
closed
1 week ago
1
Implement Checked Typed Elements for state machines
#502
bocchino
opened
1 week ago
0
Implement Check Transition Graph
#501
bocchino
opened
1 week ago
0
Implement Check Signal Uses
#500
bocchino
closed
1 day ago
1
Implement Check Initial Transitions
#499
bocchino
closed
1 week ago
3
Fix a glitch in CI
#498
bocchino
closed
1 week ago
0
Fix code gen for command overflow hooks
#497
bocchino
closed
2 weeks ago
2
Fix code generation for command overflow hooks
#496
bocchino
closed
2 weeks ago
1
Fixing missing parameters in overflow hook calls
#495
LeStarch
closed
2 weeks ago
0
Add Displayable Types
#494
jwest115
closed
1 week ago
0
Phase 1 state machines
#493
garthwatney
closed
1 day ago
6
Add support for queue overflow hook methods
#492
LeStarch
closed
3 weeks ago
4
Phase1 state machine instance additions code update
#491
garthwatney
closed
3 weeks ago
0
Fixing data product pre message hooks
#490
LeStarch
closed
3 weeks ago
0
Phase1 state machine instance additions semantics update
#489
garthwatney
closed
1 month ago
0
Phase1 state machine instance additions syntax update
#488
garthwatney
closed
1 month ago
0
Phase1 state machine instance additions spec update
#487
garthwatney
closed
1 month ago
0
New syntax impl
#486
garthwatney
closed
1 month ago
0
Rename enter exprs to transition exprs
#485
bocchino
closed
1 month ago
1
Add Phase 1 state machines to User's Guide
#484
bocchino
closed
3 weeks ago
0
Add optional priority and queue full behavior for state machine instances
#483
bocchino
closed
3 weeks ago
1
Update the state machine specification for do actions as lists
#482
garthwatney
closed
1 month ago
0
Update state machine syntax
#481
bocchino
closed
1 month ago
1
Update spec to add rules for type checking actions, signals, and guards
#480
bocchino
closed
1 month ago
1
Update state machine spec
#479
bocchino
closed
1 month ago
0
Integrate Phase 1 state machines with F Prime
#478
garthwatney
opened
1 month ago
1
Implement Check State Machine Uses
#477
bocchino
closed
1 week ago
1
Implement EnterStateMachineSymbols
#476
bocchino
closed
1 month ago
1
Tighten rules for state machine signals in spec
#475
bocchino
closed
1 month ago
1
Update type analysis for state machines
#474
bocchino
closed
1 month ago
1
Make nested scopes type-generic
#473
bocchino
closed
1 month ago
1
Syntax for phase 2 state machines
#472
bocchino
closed
1 month ago
1
Attempt to fix native-builds
#471
LeStarch
closed
1 month ago
1
Make component instance names qualified in topology c++ code gen and JSON dictionary
#470
jwest115
closed
3 weeks ago
2
fpp-to-json Patterned Connection Graph test case
#469
mosa11aei
closed
1 month ago
0
Run fpp-to-json on the F Prime Ref model
#468
mosa11aei
opened
1 month ago
0
fpp-to-json bug with analyzing patterned connections
#467
mosa11aei
closed
1 month ago
0
Fix types in AMPCS compatibility code
#466
bocchino
closed
1 month ago
2
Add fpp-to-json execution test with nasa/fprime devel
#465
mosa11aei
closed
1 month ago
4
Making fpp-to-json functional tests as good as other fpp-to-x tools
#464
mosa11aei
closed
1 week ago
1
fpp-to-json patterned cg functional tests
#463
mosa11aei
closed
1 month ago
1
Smbehaviour syntax
#462
garthwatney
closed
1 month ago
0
Next