Code

Statemachine check#439

Code

Merged

bocchino merged 67 commits intonasa:feature/state-machinenasa/fpp:feature/state-machinefrom garthwatney:statemachine-checkgarthwatney/fpp:statemachine-checkCopy head branch name to clipboardJun 24, 2024

+1,010-304

Commits

Commits on Apr 24, 2024

• add state machine specs and defs

  

  watney

  committed
  fd80cbe

  Copy full SHA for fd80cbe

Commits on May 1, 2024

• Define the state-machine FPP syntax

  

  watney

  committed
  6710493

  Copy full SHA for 6710493

• More state-machine FPP syntax

  

  watney

  committed
  a1ca161

  Copy full SHA for a1ca161

Commits on May 2, 2024

• Start defining AST for state machine

  

  watney

  committed
  017e69f

  Copy full SHA for 017e69f

Commits on May 6, 2024

• Add example state machine fpp code

  

  watney

  committed
  a6442da

  Copy full SHA for a6442da

Commits on May 7, 2024

• Move all the state machine behavior specs to State-Machine-Behavior directory

  

  watney

  committed
  7e9cfad

  Copy full SHA for 7e9cfad

• Try a couple of different fpp syntax for state machines

  

  watney

  committed
  85a77a7

  Copy full SHA for 85a77a7

Commits on May 8, 2024

• Add actions on initial transitions and explicitly represent junction behavior in the fpp

  

  watney

  committed
  68ff85f

  Copy full SHA for 68ff85f

• Update state machine syntax

  

  watney

  committed
  4df4035

  Copy full SHA for 4df4035

Commits on May 9, 2024

• First cut at state machine syntax after reviews

  

  watney

  committed
  0348890

  Copy full SHA for 0348890

Commits on May 14, 2024

• Add parser for 'state machine'

  

  watney

  committed
  a4cc7c0

  Copy full SHA for a4cc7c0

Commits on May 15, 2024

• Add parser for 'state machine instance'

  

  watney

  committed
  2c31baa

  Copy full SHA for 2c31baa

• Add state machine to component members

  

  watney

  committed
  e42a8f2

  Copy full SHA for e42a8f2

• Add state machine instance to component members

  

  watney

  committed
  6eb6166

  Copy full SHA for 6eb6166

• Update prettify, vim and emacs

  

  watney

  committed
  35c635a

  Copy full SHA for 35c635a

Commits on May 16, 2024

• fpp-syntax source and test updated

  

  watney

  committed
  120748c

  Copy full SHA for 120748c

• fpp-format source and test updated for state machines

  

  watney

  committed
  447c647

  Copy full SHA for 447c647

• Incorporate Bocchino's comments on the state machine spec document

  

  watney

  committed
  be9e193

  Copy full SHA for be9e193

Commits on May 17, 2024

• Fix fpp-to-json test that failed because of keyword state

  

  watney

  committed
  7cbd9ac

  Copy full SHA for 7cbd9ac

Commits on May 20, 2024

• Incorporate state machine definition under module members

  

  watney

  committed
  f22c47c

  Copy full SHA for f22c47c

Commits on May 22, 2024

• Update fpp-check for duplicate state machine definitions

  

  watney

  committed
  a561e18

  Copy full SHA for a561e18

• Merge remote-tracking branch 'fpp/main' into statemachine-merge

  

  watney

  committed
  440f729

  Copy full SHA for 440f729

• Add state machine example

  

  watney

  committed
  ef767bc

  Copy full SHA for ef767bc

Commits on May 23, 2024

• Fix EnterSymbols for state machine

  

  watney

  committed
  7eeab7f

  Copy full SHA for 7eeab7f

• Merge branch 'feature/state-machine' into statemachine-merge

  

  watney

  committed
  201d437

  Copy full SHA for 201d437

• Fix most of the tests except fpp-to-json

  

  watney

  committed
  4f7fbe3

  Copy full SHA for 4f7fbe3

• Merge branch 'feature/state-machine' into statemachine-merge

  

  watney

  committed
  720e520

  Copy full SHA for 720e520

• Merge branch 'feature/state-machine' into statemachine-merge

  

  watney

  committed
  a053ecf

  Copy full SHA for a053ecf

• Merge branch 'statemachine-syntax' into statemachine-merge

  

  watney

  committed
  774e837

  Copy full SHA for 774e837

• Update the fpp-to-json test to pass

  

  watney

  committed
  25a77a2

  Copy full SHA for 25a77a2

Commits on May 24, 2024

• Add fpp-depend for state machine

  

  watney

  committed
  0d3a45c

  Copy full SHA for 0d3a45c

• Fix spaces

  

  watney

  committed
  32f73b1

  Copy full SHA for 32f73b1

• Fix spaces

  

  watney

  committed
  2609727

  Copy full SHA for 2609727

Commits on Jun 7, 2024

• Merge remote-tracking branch 'nasa/feature/state-machine' into statemachine-check

  bocchino

  committed
  00afb6f

  Copy full SHA for 00afb6f

• Update UseAnalyzer

  bocchino

  committed
  19be2ea

  Copy full SHA for 19be2ea

• Remove generated files

  bocchino

  committed
  8166666

  Copy full SHA for 8166666

• Revert change to Version.scala

  bocchino

  committed
  af6fad7

  Copy full SHA for af6fad7

• Remove unused token SM

  bocchino

  committed
  08387f0

  Copy full SHA for 08387f0

Commits on Jun 12, 2024

• Add fpp-locate-defs for state machines and added test

  

  watney

  committed
  e9d04d0

  Copy full SHA for e9d04d0

• Add fpp-locate-uses for state machines and added test

  

  watney

  committed
  d185ed0

  Copy full SHA for d185ed0

Commits on Jun 13, 2024

• Remove StateMachineInstance from Symbols

  

  watney

  committed
  8e0147a

  Copy full SHA for 8e0147a

Commits on Jun 17, 2024

• Add semantic checks for state machine in active and passive components

  

  watney

  committed
  1664632

  Copy full SHA for 1664632

Commits on Jun 18, 2024

• Update spec

  bocchino

  committed
  f315b21

  Copy full SHA for f315b21

• Merge remote-tracking branch 'fpp/feature/state-machine' into statemachine-check

  

  watney

  committed
  1000129

  Copy full SHA for 1000129

• Fix most small items from pull request review

  

  watney

  committed
  3db7567

  Copy full SHA for 3db7567

• Fix the fpp-depend for state machine definitions

  

  watney

  committed
  9d088eb

  Copy full SHA for 9d088eb

• In the Parser, state must be followed by machine

  

  watney

  committed
  cad8b6f

  Copy full SHA for cad8b6f

Commits on Jun 20, 2024

• Check state machine instance access correct symbol

  

  watney

  committed
  0acb564

  Copy full SHA for 0acb564

• State machine syntax enforce the colon after the instance identifier

  

  watney

  committed
  e75a65c

  Copy full SHA for e75a65c

Commits on Jun 21, 2024

• Update tests

  

  watney

  committed
  a75d364

  Copy full SHA for a75d364

• Merge remote-tracking branch 'nasa/feature/state-machine' into statemachine-check

  bocchino

  committed
  bfa8248

  Copy full SHA for bfa8248

• Restore Version.scala

  bocchino

  committed
  240d6be

  Copy full SHA for 240d6be

• Delete generated files

  bocchino

  committed
  5200b17

  Copy full SHA for 5200b17

• Revise fpp depend tests

  bocchino

  committed
  6492d90

  Copy full SHA for 6492d90

Commits on Jun 22, 2024

• Fix bug in name resolution

  Show description for 1d66c64
  bocchino

  committed
  1d66c64

  Copy full SHA for 1d66c64

Commits on Jun 24, 2024

• Revise tests for locate-defs

  bocchino

  committed
  5ccffd9

  Copy full SHA for 5ccffd9

• Revise fpp-check tests

  bocchino

  committed
  82e2ebf

  Copy full SHA for 82e2ebf

• Revise fpp-check tests

  bocchino

  committed
  201f765

  Copy full SHA for 201f765

• Revise fpp-check tests

  bocchino

  committed
  cd2c86f

  Copy full SHA for cd2c86f

• Revise fpp-check tests

  bocchino

  committed
  bcbf2e1

  Copy full SHA for bcbf2e1

• Revise fpp-check tests

  bocchino

  committed
  368a31c

  Copy full SHA for 368a31c

• Revise fpp-check tests

  bocchino

  committed
  be18ebe

  Copy full SHA for be18ebe

• Revise fpp-check tests

  bocchino

  committed
  873e9c5

  Copy full SHA for 873e9c5

• Revise fpp-check tests

  bocchino

  committed
  0da7537

  Copy full SHA for 0da7537

• Revert "Revise fpp-check tests"

  Show description for db97270
  bocchino

  committed
  db97270

  Copy full SHA for db97270

• Revise fpp-check tests

  bocchino

  committed
  14b4350

  Copy full SHA for 14b4350

• Update fpp-check tests

  bocchino

  committed
  4c91ec0

  Copy full SHA for 4c91ec0