• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for ogma-core-1.7.0 source tarball

ogma-core-1.7.0/

• CHANGELOG.md
• LICENSE.pdf
• Setup.hs
• ogma-core.cabal
• data/
  • variable-db.json
  • formats/
    • fcs_lustre
    • fcs_smv
    • fdb_lustre
    • fdb_smv
    • xml-md_lustre
    • xml-md_smv
    • xml-reqif_lustre
    • xml-reqif_smv
• src/
  • Command/
    • CFSApp.hs
    • CStructs2Copilot.hs
    • CStructs2MsgHandlers.hs
    • Common.hs
    • Diagram.hs
    • Errors.hs
    • FPrimeApp.hs
    • ROSApp.hs
    • Result.hs
    • Standalone.hs
    • VariableDB.hs
  • Data/
    • Location.hs
  • Language/
    • Trans/
      • CStruct2CopilotStruct.hs
      • CStructs2Copilot.hs
      • CStructs2MsgHandlers.hs
      • Lustre2Copilot.hs
      • SMV2Copilot.hs
      • Spec2Copilot.hs
• templates/
  • copilot-cfs/
    • CMakeLists.txt
    • fsw/
      • for_build/
        • Makefile
      • mission_inc/
        • copilot_cfs_perfids.h
      • platform_inc/
        • copilot_cfs_msgids.h
      • src/
        • Properties.hs
        • copilot_cfs.c
        • copilot_cfs.h
        • copilot_cfs_events.h
        • copilot_cfs_msg.h
        • copilot_cfs_version.h
  • diagram/
    • Copilot.hs
  • fprime/
    • CMakeLists.txt
    • Copilot.cpp
    • Copilot.fpp
    • Copilot.hpp
    • Dockerfile
    • instance-copilot
  • ros/
    • Dockerfile
    • copilot/
      • CMakeLists.txt
      • package.xml
      • src/
        • Copilot.hs
        • copilot_logger.cpp
        • copilot_monitor.cpp
  • standalone/
    • Copilot.hs
• tests/
  • Main.hs
  • commands-fcs-error-parsing-failed-1.json
  • commands-fcs-error-parsing-failed-2.json
  • commands-fcs-error-parsing-failed-3.json
  • fcs_good.json
  • fdb-example1.json
  • reduced_geofence_msgs.h
  • reduced_geofence_msgs_bad.h