├── .circleci └── config.yml ├── .gitattributes ├── .github └── workflows │ ├── asn1scc-tests.yml │ └── docker-image.yml ├── .gitignore ├── .gitmodules ├── .travis.yml ├── ADA_RTL2 ├── ada_rtl.gpr ├── adaasn1rtl.ads.tmp ├── aux_files │ ├── asn1_msp430.gpr │ ├── asn1_stm32.gpr │ └── asn1_x86.gpr ├── boards │ ├── msp430_board_config.ads │ ├── stm32_board_config.ads │ └── x86_board_config.ads └── src │ ├── adaasn1rtl-encoding-acn.adb │ ├── adaasn1rtl-encoding-acn.ads │ ├── adaasn1rtl-encoding-test_cases_aux.adb │ ├── adaasn1rtl-encoding-test_cases_aux.ads │ ├── adaasn1rtl-encoding-uper.adb │ ├── adaasn1rtl-encoding-uper.ads │ ├── adaasn1rtl-encoding-xer.adb │ ├── adaasn1rtl-encoding-xer.ads │ ├── adaasn1rtl-encoding.adb │ ├── adaasn1rtl-encoding.ads │ ├── adaasn1rtl.adb │ └── adaasn1rtl.ads ├── Antlr ├── Antlr.csproj ├── Comments.cs ├── ErrorFormatter.cs ├── Properties │ └── AssemblyInfo.cs ├── VersionInformation.cs ├── acn.g ├── antlr313 │ ├── Antlr3.Runtime.dll │ ├── Antlr3.Utility.dll │ ├── StringTemplate.dll │ ├── antlr-3.2.jar │ ├── antlr.runtime.dll │ └── antlrworks-1.4.jar └── asn1.g ├── Asn1sccWs ├── Asn1sccWs.fsproj ├── Controllers │ └── CheckFileController.fs ├── Program.fs ├── Properties │ └── launchSettings.json ├── Startup.fs ├── appsettings.Development.json └── appsettings.json ├── BackendAst ├── AssemblyInfo.fs ├── BackendAst.fsproj ├── CalculateIcdHash.fs ├── CustomStgExport.fs ├── DAstACN.fs ├── DAstAsn1.fs ├── DAstBaseTypesEquivalence.fs ├── DAstConstruction.fs ├── DAstEqual.fs ├── DAstEqualExp.fs ├── DAstExportToXml.fs ├── DAstInitialize.fs ├── DAstProgramUnit.fs ├── DAstTypeDefinition2.fs ├── DAstUPer.fs ├── DAstVariables.fs ├── DAstXer.fs ├── DastFold.fs ├── DastTestCaseCreation.fs ├── DastValidate2.fs ├── EncodeDecodeTestCase.fs ├── GenerateAcnIcd.fs ├── GenerateFiles.fs ├── GenerateUperIcd.fs ├── GrammarGenerator.fs ├── PrintAcn.fs ├── PrintAsn1.fs └── Script.fsx ├── Backup └── asn1scc.sln ├── CHANGELOG.md ├── CommonTypes ├── AbstractMacros.fs ├── AcnGenericTypes.fs ├── CommonTypes.fs ├── CommonTypes.fsproj ├── FsUtils.fs ├── RangeSets.fs ├── RangeSets0.fs ├── RemoveUnusedRtlFunction.fs ├── Script.fsx ├── SimpleSets.fs ├── SizeableSet.fs └── ValueSets.fs ├── Daemon.ExampleClient ├── App.config ├── AssemblyInfo.fs ├── Client.py ├── Daemon.ExampleClient.fsproj └── Program.fs ├── Daemon ├── App.config ├── Asn1ServiceBindings.fs ├── AssemblyInfo.fs ├── Daemon.fsproj ├── Http.fs ├── HttpServer.fs ├── Options.fs ├── Program.fs ├── Watchdog.fs └── packages.config ├── DockerHub ├── Dockerfile ├── asn1scc-example │ ├── my_module.asn │ └── runme.sh └── install-asn1scc.sh ├── Dockerfile ├── Dockerfile.dev ├── Dockerfile.local.wsl ├── Dockerfile.runtime ├── Docs ├── ACN-UM-v-3-2.docx ├── ACN-UM-v-3-2.pdf ├── ACN_V4.txt ├── deduced-size.md └── examples │ ├── calculate_crc │ ├── Makefile │ ├── a.acn │ ├── a.asn1 │ ├── a_out │ │ ├── GPS_project.gpr │ │ ├── IgnoredExaminerWarnings.wrn │ │ ├── Makefile │ │ ├── adaasn1rtl-encoding-acn.adb │ │ ├── adaasn1rtl-encoding-acn.ads │ │ ├── adaasn1rtl-encoding-test_cases_aux.adb │ │ ├── adaasn1rtl-encoding-test_cases_aux.ads │ │ ├── adaasn1rtl-encoding-uper.adb │ │ ├── adaasn1rtl-encoding-uper.ads │ │ ├── adaasn1rtl-encoding.adb │ │ ├── adaasn1rtl-encoding.ads │ │ ├── adaasn1rtl.adb │ │ ├── adaasn1rtl.ads │ │ ├── gnat.cfg │ │ ├── mainprogram.adb │ │ ├── mymodule.adb │ │ ├── mymodule.ads │ │ ├── mymodule_auto_tcs.adb │ │ ├── mymodule_auto_tcs.ads │ │ ├── postencoding.adb │ │ ├── postencoding.ads │ │ ├── runSpark.sh │ │ ├── spark.idx │ │ ├── test_case_001.adb │ │ └── test_case_001.ads │ ├── c_out │ │ ├── Makefile │ │ ├── VsProject.sln │ │ ├── VsProject.vcxproj │ │ ├── VsProject.vcxproj.user │ │ ├── a.c │ │ ├── a.h │ │ ├── a_auto_tcs.c │ │ ├── a_auto_tcs.h │ │ ├── asn1crt.c │ │ ├── asn1crt.h │ │ ├── asn1crt_encoding.c │ │ ├── asn1crt_encoding.h │ │ ├── asn1crt_encoding_acn.c │ │ ├── asn1crt_encoding_acn.h │ │ ├── asn1crt_encoding_uper.c │ │ ├── asn1crt_encoding_uper.h │ │ ├── mainprogram.c │ │ ├── postEncoding.c │ │ ├── postEncoding.h │ │ ├── test_case_001.c │ │ ├── test_case_001.h │ │ ├── testsuite.c │ │ └── testsuite.h │ └── command.txt │ ├── calculate_crc2 │ ├── Makefile │ ├── a.acn │ ├── a.asn1 │ ├── a_out │ │ ├── postencoding.adb │ │ └── postencoding.ads │ └── c_out │ │ ├── postEncoding.c │ │ └── postEncoding.h │ └── streaming_mode │ ├── Makefile │ ├── a.asn │ ├── ada_out │ ├── GPS_project.gpr │ ├── Makefile │ ├── gnat.cfg │ ├── mainprogram.adb │ ├── user_code.adb │ └── user_code.ads │ └── c_out │ ├── Makefile │ └── mainprogram.c ├── FrontEndAst ├── AcnCreateFromAntlr.fs ├── AcnEncodingClasses.fs ├── AcnGenericCreateFromAntlr.fs ├── AntlrParse.fs ├── Asn1AcnAst.fs ├── Asn1AcnAstUtilFunctions.fs ├── Asn1Ast.fs ├── Asn1Fold.fs ├── Asn1Schema.xsd ├── CheckAsn1.fs ├── CheckLongReferences.fs ├── CloneTree.fs ├── ConstraintsMapping.fs ├── CreateAsn1AstFromAntlrTree.fs ├── DAst.fs ├── DAstTypeDefinition.fs ├── DAstUtilFunctions.fs ├── EnsureUniqueEnumNames.fs ├── ExportToXml.fs ├── FE_TypeDefinition.fs ├── FrontEndAst.fsproj ├── FrontEntMain.fs ├── Language.fs ├── Lsp.fs ├── LspAst.fs ├── LspAutoComplete.fs ├── MapParamAstToNonParamAst.fs ├── ParameterizedAsn1Ast.fs ├── RemoveParameterizedTypes.fs ├── Script.fsx ├── TITME-TYPES-SUPPORT.md ├── TypesEquivalence.fs ├── ValuesMapping.fs ├── XER.fs └── uPER.fs ├── LICENSE.txt ├── LangServer └── Readme.txt ├── Makefile.debian ├── PUSCScalaTest ├── AcnAtcCTests.cs ├── AcnAtcScalaTests.cs ├── AcnCompileScalaTests.cs ├── AcnInterop.cs ├── PUSCScalaTest.csproj ├── Testframework.cs ├── UperAtcCTests.cs ├── UperAtcScalaTests.cs ├── UperCompileScalaTests.cs ├── UperInterop.cs └── asn1-pusc-lib-asn1CompilerTestInput │ ├── .gitignore │ ├── .qmake │ ├── generateFromAsn1.pri │ ├── handleAsn1AcnBuild.pri │ └── updateSourcesList.pri │ ├── .travis.yml │ ├── CHANGELOG │ ├── LICENSE │ ├── README.md │ ├── additional-test-cases │ ├── NULLTERMINATED.acn │ └── NULLTERMINATED.asn1 │ ├── asn1-pusc-lib.pro │ ├── ccsds │ ├── PacketTypes.acn │ ├── PacketTypes.asn1 │ ├── TC-Packet.acn │ ├── TC-Packet.asn1 │ ├── TC-Payload.acn │ ├── TC-Payload.asn1 │ ├── TM-Packet.acn │ ├── TM-Packet.asn1 │ ├── TM-Payload.acn │ ├── TM-Payload.asn1 │ └── meta.json │ ├── common │ ├── ApplicationProcess.acn │ ├── ApplicationProcess.asn1 │ ├── ApplicationProcessUser.acn │ ├── ApplicationProcessUser.asn1 │ ├── BasicTypes.acn │ ├── BasicTypes.asn1 │ ├── DiagnosticParameterReportStructure.acn │ ├── DiagnosticParameterReportStructure.asn1 │ ├── Dummy.acn │ ├── Dummy.asn1 │ ├── EventDefinition.acn │ ├── EventDefinition.asn1 │ ├── ExecutionStep.acn │ ├── ExecutionStep.asn1 │ ├── FilePath.acn │ ├── FilePath.asn1 │ ├── HousekeepingParameterReportStructure.acn │ ├── HousekeepingParameterReportStructure.asn1 │ ├── MessageType.acn │ ├── MessageType.asn1 │ ├── Parameter.acn │ ├── Parameter.asn1 │ ├── Request.acn │ ├── Request.asn1 │ ├── SpacecraftTimeReferenceStatus.acn │ ├── SpacecraftTimeReferenceStatus.asn1 │ ├── TimeWindow.acn │ ├── TimeWindow.asn1 │ └── meta.json │ ├── docs │ ├── CodingStandard.md │ ├── _config.yml │ ├── _layouts │ │ └── default.html │ ├── images │ │ ├── logo.png │ │ └── n7space_logo.png │ └── index.md │ ├── info.json │ ├── license-template.txt │ ├── make-package.sh │ ├── metadata-validator.py │ ├── sanity-check.sh │ ├── service-01 │ ├── ErrorCodes.acn │ ├── ErrorCodes.asn1 │ ├── PUS-1-1.acn │ ├── PUS-1-1.asn1 │ ├── PUS-1-10.acn │ ├── PUS-1-10.asn1 │ ├── PUS-1-2.acn │ ├── PUS-1-2.asn1 │ ├── PUS-1-3.acn │ ├── PUS-1-3.asn1 │ ├── PUS-1-4.acn │ ├── PUS-1-4.asn1 │ ├── PUS-1-5.acn │ ├── PUS-1-5.asn1 │ ├── PUS-1-6.acn │ ├── PUS-1-6.asn1 │ ├── PUS-1-7.acn │ ├── PUS-1-7.asn1 │ ├── PUS-1-8.acn │ ├── PUS-1-8.asn1 │ ├── VerificationRequest.acn │ ├── VerificationRequest.asn1 │ └── meta.json │ ├── service-02 │ ├── LogicalDevice.acn │ ├── LogicalDevice.asn1 │ ├── PUS-2-1.acn │ ├── PUS-2-1.asn1 │ ├── PUS-2-10.acn │ ├── PUS-2-10.asn1 │ ├── PUS-2-11.acn │ ├── PUS-2-11.asn1 │ ├── PUS-2-12.acn │ ├── PUS-2-12.asn1 │ ├── PUS-2-2.acn │ ├── PUS-2-2.asn1 │ ├── PUS-2-4.acn │ ├── PUS-2-4.asn1 │ ├── PUS-2-5.acn │ ├── PUS-2-5.asn1 │ ├── PUS-2-6.acn │ ├── PUS-2-6.asn1 │ ├── PUS-2-7.acn │ ├── PUS-2-7.asn1 │ ├── PUS-2-8.acn │ ├── PUS-2-8.asn1 │ ├── PUS-2-9.acn │ ├── PUS-2-9.asn1 │ ├── PhysicalDevice.acn │ ├── PhysicalDevice.asn1 │ ├── Registers.acn │ ├── Registers.asn1 │ ├── Transaction.acn │ ├── Transaction.asn1 │ └── meta.json │ ├── service-03 │ ├── CollectionInterval.acn │ ├── CollectionInterval.asn1 │ ├── PUS-3-1.acn │ ├── PUS-3-1.asn1 │ ├── PUS-3-10.acn │ ├── PUS-3-10.asn1 │ ├── PUS-3-11.acn │ ├── PUS-3-11.asn1 │ ├── PUS-3-12.acn │ ├── PUS-3-12.asn1 │ ├── PUS-3-2.acn │ ├── PUS-3-2.asn1 │ ├── PUS-3-25.acn │ ├── PUS-3-25.asn1 │ ├── PUS-3-26.acn │ ├── PUS-3-26.asn1 │ ├── PUS-3-27.acn │ ├── PUS-3-27.asn1 │ ├── PUS-3-28.acn │ ├── PUS-3-28.asn1 │ ├── PUS-3-29.acn │ ├── PUS-3-29.asn1 │ ├── PUS-3-3.acn │ ├── PUS-3-3.asn1 │ ├── PUS-3-30.acn │ ├── PUS-3-30.asn1 │ ├── PUS-3-31.acn │ ├── PUS-3-31.asn1 │ ├── PUS-3-32.acn │ ├── PUS-3-32.asn1 │ ├── PUS-3-33.acn │ ├── PUS-3-33.asn1 │ ├── PUS-3-34.acn │ ├── PUS-3-34.asn1 │ ├── PUS-3-35.acn │ ├── PUS-3-35.asn1 │ ├── PUS-3-36.acn │ ├── PUS-3-36.asn1 │ ├── PUS-3-37.acn │ ├── PUS-3-37.asn1 │ ├── PUS-3-38.acn │ ├── PUS-3-38.asn1 │ ├── PUS-3-39.acn │ ├── PUS-3-39.asn1 │ ├── PUS-3-4.acn │ ├── PUS-3-4.asn1 │ ├── PUS-3-40.acn │ ├── PUS-3-40.asn1 │ ├── PUS-3-41.acn │ ├── PUS-3-41.asn1 │ ├── PUS-3-42.acn │ ├── PUS-3-42.asn1 │ ├── PUS-3-43.acn │ ├── PUS-3-43.asn1 │ ├── PUS-3-44.acn │ ├── PUS-3-44.asn1 │ ├── PUS-3-5.acn │ ├── PUS-3-5.asn1 │ ├── PUS-3-6.acn │ ├── PUS-3-6.asn1 │ ├── PUS-3-7.acn │ ├── PUS-3-7.asn1 │ ├── PUS-3-8.acn │ ├── PUS-3-8.asn1 │ ├── PUS-3-9.acn │ ├── PUS-3-9.asn1 │ ├── ParameterFunctionalReportingDefinition.acn │ ├── ParameterFunctionalReportingDefinition.asn1 │ ├── ParameterReportStructureType.acn │ ├── ParameterReportStructureType.asn1 │ ├── ParameterReportingEntries.acn │ ├── ParameterReportingEntries.asn1 │ ├── PeriodicGenerationActionStatus.acn │ ├── PeriodicGenerationActionStatus.asn1 │ ├── PeriodicGenerationProperties.acn │ ├── PeriodicGenerationProperties.asn1 │ └── meta.json │ ├── service-04 │ ├── Intervals.acn │ ├── Intervals.asn1 │ ├── PUS-4-1.acn │ ├── PUS-4-1.asn1 │ ├── PUS-4-2.acn │ ├── PUS-4-2.asn1 │ ├── PUS-4-3.acn │ ├── PUS-4-3.asn1 │ ├── PUS-4-4.acn │ ├── PUS-4-4.asn1 │ ├── PUS-4-5.acn │ ├── PUS-4-5.asn1 │ ├── PUS-4-6.acn │ ├── PUS-4-6.asn1 │ ├── PUS-4-7.acn │ ├── PUS-4-7.asn1 │ ├── PUS-4-8.acn │ ├── PUS-4-8.asn1 │ ├── PUS-4-9.acn │ ├── PUS-4-9.asn1 │ ├── ParameterStatisticsDefinitions.acn │ ├── ParameterStatisticsDefinitions.asn1 │ └── meta.json │ ├── service-05 │ ├── PUS-5-1.acn │ ├── PUS-5-1.asn1 │ ├── PUS-5-2.acn │ ├── PUS-5-2.asn1 │ ├── PUS-5-3.acn │ ├── PUS-5-3.asn1 │ ├── PUS-5-4.acn │ ├── PUS-5-4.asn1 │ ├── PUS-5-5.acn │ ├── PUS-5-5.asn1 │ ├── PUS-5-6.acn │ ├── PUS-5-6.asn1 │ ├── PUS-5-7.acn │ ├── PUS-5-7.asn1 │ ├── PUS-5-8.acn │ ├── PUS-5-8.asn1 │ └── meta.json │ ├── service-06 │ ├── Data.acn │ ├── Data.asn1 │ ├── Memory.acn │ ├── Memory.asn1 │ ├── PUS-6-1.acn │ ├── PUS-6-1.asn1 │ ├── PUS-6-10.acn │ ├── PUS-6-10.asn1 │ ├── PUS-6-11.acn │ ├── PUS-6-11.asn1 │ ├── PUS-6-12.acn │ ├── PUS-6-12.asn1 │ ├── PUS-6-13.acn │ ├── PUS-6-13.asn1 │ ├── PUS-6-14.acn │ ├── PUS-6-14.asn1 │ ├── PUS-6-15.acn │ ├── PUS-6-15.asn1 │ ├── PUS-6-16.acn │ ├── PUS-6-16.asn1 │ ├── PUS-6-17.acn │ ├── PUS-6-17.asn1 │ ├── PUS-6-18.acn │ ├── PUS-6-18.asn1 │ ├── PUS-6-19.acn │ ├── PUS-6-19.asn1 │ ├── PUS-6-2.acn │ ├── PUS-6-2.asn1 │ ├── PUS-6-20.acn │ ├── PUS-6-20.asn1 │ ├── PUS-6-21.acn │ ├── PUS-6-21.asn1 │ ├── PUS-6-22.acn │ ├── PUS-6-22.asn1 │ ├── PUS-6-3.acn │ ├── PUS-6-3.asn1 │ ├── PUS-6-4.acn │ ├── PUS-6-4.asn1 │ ├── PUS-6-5.acn │ ├── PUS-6-5.asn1 │ ├── PUS-6-6.acn │ ├── PUS-6-6.asn1 │ ├── PUS-6-7.acn │ ├── PUS-6-7.asn1 │ ├── PUS-6-8.acn │ ├── PUS-6-8.asn1 │ ├── PUS-6-9.acn │ ├── PUS-6-9.asn1 │ ├── RawMemory.acn │ ├── RawMemory.asn1 │ ├── StructuredMemory.acn │ ├── StructuredMemory.asn1 │ └── meta.json │ ├── service-08 │ ├── PUS-8-1.acn │ ├── PUS-8-1.asn1 │ └── meta.json │ ├── service-09 │ ├── PUS-9-1.acn │ ├── PUS-9-1.asn1 │ ├── PUS-9-2.acn │ ├── PUS-9-2.asn1 │ ├── PUS-9-3.acn │ ├── PUS-9-3.asn1 │ ├── RateExponentialValue.acn │ ├── RateExponentialValue.asn1 │ └── meta.json │ ├── service-11 │ ├── Group.acn │ ├── Group.asn1 │ ├── PUS-11-1.acn │ ├── PUS-11-1.asn1 │ ├── PUS-11-10.acn │ ├── PUS-11-10.asn1 │ ├── PUS-11-11.acn │ ├── PUS-11-11.asn1 │ ├── PUS-11-12.acn │ ├── PUS-11-12.asn1 │ ├── PUS-11-13.acn │ ├── PUS-11-13.asn1 │ ├── PUS-11-14.acn │ ├── PUS-11-14.asn1 │ ├── PUS-11-15.acn │ ├── PUS-11-15.asn1 │ ├── PUS-11-16.acn │ ├── PUS-11-16.asn1 │ ├── PUS-11-17.acn │ ├── PUS-11-17.asn1 │ ├── PUS-11-18.acn │ ├── PUS-11-18.asn1 │ ├── PUS-11-19.acn │ ├── PUS-11-19.asn1 │ ├── PUS-11-2.acn │ ├── PUS-11-2.asn1 │ ├── PUS-11-20.acn │ ├── PUS-11-20.asn1 │ ├── PUS-11-21.acn │ ├── PUS-11-21.asn1 │ ├── PUS-11-22.acn │ ├── PUS-11-22.asn1 │ ├── PUS-11-23.acn │ ├── PUS-11-23.asn1 │ ├── PUS-11-24.acn │ ├── PUS-11-24.asn1 │ ├── PUS-11-25.acn │ ├── PUS-11-25.asn1 │ ├── PUS-11-26.acn │ ├── PUS-11-26.asn1 │ ├── PUS-11-27.acn │ ├── PUS-11-27.asn1 │ ├── PUS-11-3.acn │ ├── PUS-11-3.asn1 │ ├── PUS-11-4.acn │ ├── PUS-11-4.asn1 │ ├── PUS-11-5.acn │ ├── PUS-11-5.asn1 │ ├── PUS-11-6.acn │ ├── PUS-11-6.asn1 │ ├── PUS-11-7.acn │ ├── PUS-11-7.asn1 │ ├── PUS-11-8.acn │ ├── PUS-11-8.asn1 │ ├── PUS-11-9.acn │ ├── PUS-11-9.asn1 │ ├── SubSchedule.acn │ ├── SubSchedule.asn1 │ └── meta.json │ ├── service-12 │ ├── CheckValidityCondition.acn │ ├── CheckValidityCondition.asn1 │ ├── FMON.acn │ ├── FMON.asn1 │ ├── PMON-FailingNumber.acn │ ├── PMON-FailingNumber.asn1 │ ├── PMON.acn │ ├── PMON.asn1 │ ├── PUS-12-1.acn │ ├── PUS-12-1.asn1 │ ├── PUS-12-10.acn │ ├── PUS-12-10.asn1 │ ├── PUS-12-11.acn │ ├── PUS-12-11.asn1 │ ├── PUS-12-12.acn │ ├── PUS-12-12.asn1 │ ├── PUS-12-13.acn │ ├── PUS-12-13.asn1 │ ├── PUS-12-14.acn │ ├── PUS-12-14.asn1 │ ├── PUS-12-15.acn │ ├── PUS-12-15.asn1 │ ├── PUS-12-16.acn │ ├── PUS-12-16.asn1 │ ├── PUS-12-17.acn │ ├── PUS-12-17.asn1 │ ├── PUS-12-18.acn │ ├── PUS-12-18.asn1 │ ├── PUS-12-19.acn │ ├── PUS-12-19.asn1 │ ├── PUS-12-2.acn │ ├── PUS-12-2.asn1 │ ├── PUS-12-20.acn │ ├── PUS-12-20.asn1 │ ├── PUS-12-21.acn │ ├── PUS-12-21.asn1 │ ├── PUS-12-22.acn │ ├── PUS-12-22.asn1 │ ├── PUS-12-23.acn │ ├── PUS-12-23.asn1 │ ├── PUS-12-24.acn │ ├── PUS-12-24.asn1 │ ├── PUS-12-25.acn │ ├── PUS-12-25.asn1 │ ├── PUS-12-26.acn │ ├── PUS-12-26.asn1 │ ├── PUS-12-27.acn │ ├── PUS-12-27.asn1 │ ├── PUS-12-28.acn │ ├── PUS-12-28.asn1 │ ├── PUS-12-3.acn │ ├── PUS-12-3.asn1 │ ├── PUS-12-4.acn │ ├── PUS-12-4.asn1 │ ├── PUS-12-5.acn │ ├── PUS-12-5.asn1 │ ├── PUS-12-6.acn │ ├── PUS-12-6.asn1 │ ├── PUS-12-7.acn │ ├── PUS-12-7.asn1 │ ├── PUS-12-8.acn │ ├── PUS-12-8.asn1 │ ├── PUS-12-9.acn │ ├── PUS-12-9.asn1 │ ├── ParameterMonitoringDefinition.acn │ ├── ParameterMonitoringDefinition.asn1 │ ├── TransitionNotification.acn │ ├── TransitionNotification.asn1 │ └── meta.json │ ├── service-13 │ ├── LargePacketTransferMessageParts.acn │ ├── LargePacketTransferMessageParts.asn1 │ ├── PUS-13-1.acn │ ├── PUS-13-1.asn1 │ ├── PUS-13-10.acn │ ├── PUS-13-10.asn1 │ ├── PUS-13-11.acn │ ├── PUS-13-11.asn1 │ ├── PUS-13-16.acn │ ├── PUS-13-16.asn1 │ ├── PUS-13-2.acn │ ├── PUS-13-2.asn1 │ ├── PUS-13-3.acn │ ├── PUS-13-3.asn1 │ ├── PUS-13-9.acn │ ├── PUS-13-9.asn1 │ └── meta.json │ ├── service-14 │ ├── ApplicationProcessForwardControl.acn │ ├── ApplicationProcessForwardControl.asn1 │ ├── DiagnosticParameterReportForwardControl.acn │ ├── DiagnosticParameterReportForwardControl.asn1 │ ├── EventDefinitionForwardControl.acn │ ├── EventDefinitionForwardControl.asn1 │ ├── HousekeepingParameterReportForwardControl.acn │ ├── HousekeepingParameterReportForwardControl.asn1 │ ├── PUS-14-1.acn │ ├── PUS-14-1.asn1 │ ├── PUS-14-10.acn │ ├── PUS-14-10.asn1 │ ├── PUS-14-11.acn │ ├── PUS-14-11.asn1 │ ├── PUS-14-12.acn │ ├── PUS-14-12.asn1 │ ├── PUS-14-13.acn │ ├── PUS-14-13.asn1 │ ├── PUS-14-14.acn │ ├── PUS-14-14.asn1 │ ├── PUS-14-15.acn │ ├── PUS-14-15.asn1 │ ├── PUS-14-16.acn │ ├── PUS-14-16.asn1 │ ├── PUS-14-2.acn │ ├── PUS-14-2.asn1 │ ├── PUS-14-3.acn │ ├── PUS-14-3.asn1 │ ├── PUS-14-4.acn │ ├── PUS-14-4.asn1 │ ├── PUS-14-5.acn │ ├── PUS-14-5.asn1 │ ├── PUS-14-6.acn │ ├── PUS-14-6.asn1 │ ├── PUS-14-7.acn │ ├── PUS-14-7.asn1 │ ├── PUS-14-8.acn │ ├── PUS-14-8.asn1 │ ├── PUS-14-9.acn │ ├── PUS-14-9.asn1 │ ├── SubsamplingRate.acn │ ├── SubsamplingRate.asn1 │ └── meta.json │ ├── service-15 │ ├── PUS-15-1.acn │ ├── PUS-15-1.asn1 │ ├── PUS-15-11.acn │ ├── PUS-15-11.asn1 │ ├── PUS-15-12.acn │ ├── PUS-15-12.asn1 │ ├── PUS-15-13.acn │ ├── PUS-15-13.asn1 │ ├── PUS-15-14.acn │ ├── PUS-15-14.asn1 │ ├── PUS-15-15.acn │ ├── PUS-15-15.asn1 │ ├── PUS-15-16.acn │ ├── PUS-15-16.asn1 │ ├── PUS-15-17.acn │ ├── PUS-15-17.asn1 │ ├── PUS-15-18.acn │ ├── PUS-15-18.asn1 │ ├── PUS-15-19.acn │ ├── PUS-15-19.asn1 │ ├── PUS-15-2.acn │ ├── PUS-15-2.asn1 │ ├── PUS-15-20.acn │ ├── PUS-15-20.asn1 │ ├── PUS-15-21.acn │ ├── PUS-15-21.asn1 │ ├── PUS-15-22.acn │ ├── PUS-15-22.asn1 │ ├── PUS-15-23.acn │ ├── PUS-15-23.asn1 │ ├── PUS-15-24.acn │ ├── PUS-15-24.asn1 │ ├── PUS-15-25.acn │ ├── PUS-15-25.asn1 │ ├── PUS-15-26.acn │ ├── PUS-15-26.asn1 │ ├── PUS-15-27.acn │ ├── PUS-15-27.asn1 │ ├── PUS-15-28.acn │ ├── PUS-15-28.asn1 │ ├── PUS-15-29.acn │ ├── PUS-15-29.asn1 │ ├── PUS-15-3.acn │ ├── PUS-15-3.asn1 │ ├── PUS-15-30.acn │ ├── PUS-15-30.asn1 │ ├── PUS-15-31.acn │ ├── PUS-15-31.asn1 │ ├── PUS-15-32.acn │ ├── PUS-15-32.asn1 │ ├── PUS-15-33.acn │ ├── PUS-15-33.asn1 │ ├── PUS-15-34.acn │ ├── PUS-15-34.asn1 │ ├── PUS-15-35.acn │ ├── PUS-15-35.asn1 │ ├── PUS-15-36.acn │ ├── PUS-15-36.asn1 │ ├── PUS-15-37.acn │ ├── PUS-15-37.asn1 │ ├── PUS-15-38.acn │ ├── PUS-15-38.asn1 │ ├── PUS-15-39.acn │ ├── PUS-15-39.asn1 │ ├── PUS-15-4.acn │ ├── PUS-15-4.asn1 │ ├── PUS-15-40.acn │ ├── PUS-15-40.asn1 │ ├── PUS-15-5.acn │ ├── PUS-15-5.asn1 │ ├── PUS-15-6.acn │ ├── PUS-15-6.asn1 │ ├── PUS-15-9.acn │ ├── PUS-15-9.asn1 │ ├── PacketStore.acn │ ├── PacketStore.asn1 │ ├── PacketStoreConfiguration.acn │ ├── PacketStoreConfiguration.asn1 │ ├── PacketStoreEnumerations.acn │ ├── PacketStoreEnumerations.asn1 │ ├── Storage-ControlConfiguration.asn1 │ ├── Storage-ControlDiagnosticParameterReport.acn │ ├── Storage-ControlDiagnosticParameterReport.asn1 │ ├── Storage-ControlEventReportBlocking.acn │ ├── Storage-ControlEventReportBlocking.asn1 │ ├── Storage-ControlHousekeepingParameterReport.acn │ ├── Storage-ControlHousekeepingParameterReport.asn1 │ ├── Storage-ControlReportType.acn │ ├── Storage-ControlReportType.asn1 │ └── meta.json │ ├── service-17 │ ├── PUS-17-1.acn │ ├── PUS-17-1.asn1 │ ├── PUS-17-2.acn │ ├── PUS-17-2.asn1 │ ├── PUS-17-3.acn │ ├── PUS-17-3.asn1 │ ├── PUS-17-4.acn │ ├── PUS-17-4.asn1 │ └── meta.json │ ├── service-18 │ ├── OBCP.acn │ ├── OBCP.asn1 │ ├── OBCPActivation.acn │ ├── OBCPActivation.asn1 │ ├── OBCPArgumentValues.acn │ ├── OBCPArgumentValues.asn1 │ ├── OBCPManagement.acn │ ├── OBCPManagement.asn1 │ ├── OBCPWithold.acn │ ├── OBCPWithold.asn1 │ ├── PUS-18-1.acn │ ├── PUS-18-1.asn1 │ ├── PUS-18-12.acn │ ├── PUS-18-12.asn1 │ ├── PUS-18-13.acn │ ├── PUS-18-13.asn1 │ ├── PUS-18-14.acn │ ├── PUS-18-14.asn1 │ ├── PUS-18-15.acn │ ├── PUS-18-15.asn1 │ ├── PUS-18-16.acn │ ├── PUS-18-16.asn1 │ ├── PUS-18-17.acn │ ├── PUS-18-17.asn1 │ ├── PUS-18-18.acn │ ├── PUS-18-18.asn1 │ ├── PUS-18-19.acn │ ├── PUS-18-19.asn1 │ ├── PUS-18-2.acn │ ├── PUS-18-2.asn1 │ ├── PUS-18-20.acn │ ├── PUS-18-20.asn1 │ ├── PUS-18-21.acn │ ├── PUS-18-21.asn1 │ ├── PUS-18-22.acn │ ├── PUS-18-22.asn1 │ ├── PUS-18-3.acn │ ├── PUS-18-3.asn1 │ ├── PUS-18-4.acn │ ├── PUS-18-4.asn1 │ ├── PUS-18-5.acn │ ├── PUS-18-5.asn1 │ ├── PUS-18-6.acn │ ├── PUS-18-6.asn1 │ ├── PUS-18-7.acn │ ├── PUS-18-7.asn1 │ ├── PUS-18-8.acn │ ├── PUS-18-8.asn1 │ ├── PUS-18-9.acn │ ├── PUS-18-9.asn1 │ └── meta.json │ ├── service-19 │ ├── EventActionStatus.acn │ ├── EventActionStatus.asn1 │ ├── EventDefinitionSystem.acn │ ├── EventDefinitionSystem.asn1 │ ├── PUS-19-1.acn │ ├── PUS-19-1.asn1 │ ├── PUS-19-10.acn │ ├── PUS-19-10.asn1 │ ├── PUS-19-11.acn │ ├── PUS-19-11.asn1 │ ├── PUS-19-2.acn │ ├── PUS-19-2.asn1 │ ├── PUS-19-3.acn │ ├── PUS-19-3.asn1 │ ├── PUS-19-4.acn │ ├── PUS-19-4.asn1 │ ├── PUS-19-5.acn │ ├── PUS-19-5.asn1 │ ├── PUS-19-6.acn │ ├── PUS-19-6.asn1 │ ├── PUS-19-7.acn │ ├── PUS-19-7.asn1 │ ├── PUS-19-8.acn │ ├── PUS-19-8.asn1 │ ├── PUS-19-9.acn │ ├── PUS-19-9.asn1 │ └── meta.json │ ├── system-objects │ └── meta.json │ └── wrappers │ ├── c │ ├── Crc.c │ ├── Crc.h │ ├── Errors.c │ ├── Errors.h │ ├── IsoChecksum.c │ ├── IsoChecksum.h │ ├── PacketErrorControl.c │ ├── PacketErrorControl.h │ ├── PacketLength.c │ ├── PacketLength.h │ ├── UInt16Coder.c │ ├── UInt16Coder.h │ ├── asn1pusclib_globals.h │ └── tests │ │ ├── CMocka.h │ │ ├── CrcTests.c │ │ ├── CrcTests.h │ │ ├── ErrorsTests.c │ │ ├── ErrorsTests.h │ │ ├── IsoChecksumTests.c │ │ ├── IsoChecksumTests.h │ │ ├── PacketErrorControlTests.c │ │ ├── PacketErrorControlTests.h │ │ ├── PacketLengthTests.c │ │ ├── PacketLengthTests.h │ │ ├── TestHelper.h │ │ ├── UInt16CoderTests.c │ │ ├── UInt16CoderTests.h │ │ └── test_main.c │ └── meta.json ├── README.md ├── ST ├── ST.fs ├── ST.fsproj └── Script.fsx ├── Service.Implementation ├── Asn1Service.fs ├── AssemblyInfo.fs ├── Service.Implementation.fsproj └── TemporaryDirectory.fs ├── Service ├── AssemblyInfo.fs ├── Dto.fs ├── IAsn1Service.fs └── Service.fsproj ├── StgAda ├── LangGeneric_a.fs ├── Script.fsx ├── StgAda.fsproj ├── acn_a.stg ├── aux_a.stg ├── backends.xml ├── body_a.stg ├── equal_a.stg ├── init_a.stg ├── isvalid_a.stg ├── isvalid_new_a.stg ├── spec_a.stg ├── test_cases_a.stg ├── uper_a.stg ├── variables_a.stg └── xer_a.stg ├── StgC ├── LangGeneric_c.fs ├── Script.fsx ├── StgC.fsproj ├── acn_c.stg ├── aux_c.stg ├── backends.xml ├── body_c.stg ├── equal_c.stg ├── header_c.stg ├── init_c.stg ├── isvalid_c.stg ├── isvalid_new_c.stg ├── test_cases_c.stg ├── uper_c.stg ├── variables_c.stg └── xer_c.stg ├── StgScala ├── AbstractMacrosImp.fs ├── LangGeneric_scala.fs ├── ProofAst.fs ├── ProofGen.fs ├── Script.fsx ├── StgScala.fsproj ├── acn_scala.stg ├── aux_scala.stg ├── backends.xml ├── body_scala.stg ├── equal_scala.stg ├── header_scala.stg ├── init_scala.stg ├── isvalid_new_scala.stg ├── isvalid_scala.stg ├── test_cases_scala.stg ├── uper_scala.stg ├── variables_scala.stg └── xer_scala.stg ├── StgVarious ├── Script.fsx ├── StgVarious.fsproj ├── backends.xml ├── generic.stg ├── icdtemplate_acn.stg ├── icdtemplate_uper.stg ├── python.stg ├── stg_ACN.stg ├── stg_ASN.stg ├── xml.stg └── xml_outputs.stg ├── Tests └── cross-tests │ ├── README.md │ ├── SConstruct │ ├── site_scons │ ├── AdaBuilder.py │ ├── AsnBuilder.py │ ├── ReportBuilder.py │ ├── SummaryBuilder.py │ ├── TestCaseBuilder.py │ ├── XmlBuilder.py │ ├── __init__.py │ ├── commons.py │ └── templates.py │ ├── sources │ ├── ada_main.adb │ ├── c_main.c │ ├── file_utility.c │ └── file_utility.h │ └── test-cases │ └── simple_test_case │ ├── encoding_one.acn │ ├── encoding_two.acn │ └── test.asn1 ├── appveyor.yml ├── asn1-docker.sh ├── asn1crt ├── Acn.c ├── asn1crt.c ├── asn1crt.h ├── asn1crt.sln ├── asn1crt.vcproj ├── asn1crt.vcxproj ├── asn1crt_encoding.c ├── asn1crt_encoding.h ├── asn1crt_encoding_acn.c ├── asn1crt_encoding_acn.h ├── asn1crt_encoding_ber.c ├── asn1crt_encoding_ber.h ├── asn1crt_encoding_uper.c ├── asn1crt_encoding_uper.h ├── asn1crt_encoding_xer.c ├── asn1crt_encoding_xer.h ├── ber.c ├── real.c └── xer.c ├── asn1scala ├── .gitignore ├── bitStream_genc.sh ├── build.sbt ├── lib │ └── stainless-library_3-0.9.8.7.jar ├── project │ └── build.properties ├── src │ └── main │ │ └── scala │ │ └── asn1scala │ │ ├── Main.scala │ │ ├── asn1jvm.scala │ │ ├── asn1jvm_Bitstream.scala │ │ ├── asn1jvm_Codec.scala │ │ ├── asn1jvm_Codec_ACN.scala │ │ ├── asn1jvm_Codec_PER.scala │ │ ├── asn1jvm_Codec_UPER.scala │ │ ├── asn1jvm_Helper.scala │ │ ├── asn1jvm_Vector.scala │ │ ├── asn1jvm_Verification.scala │ │ └── asn1scala.worksheet.sc ├── stainless.conf ├── used_acn_functions.txt ├── verify.sh ├── verify_acn_used_fcts.sh ├── verify_bitStream.sh └── verify_without_codec.sh ├── asn1scc.sln ├── asn1scc ├── GenerateRTL.fs ├── Program.fs ├── Properties │ ├── launchSettings_ACN.json │ ├── launchSettings_ACN_ATC.json │ └── launchSettings_UPER_ATC.json └── asn1scc.fsproj ├── circleci-build.sh ├── contrib ├── DATE-TIME.ASN1 ├── cdt │ └── asn1crt │ │ ├── .cproject │ │ ├── .gitignore │ │ ├── .project │ │ └── .settings │ │ └── language.settings.xml ├── cmake │ ├── FindAsn1scc.cmake │ └── README.md ├── icd_uper_latex.stg ├── prepare_debian_package.sh ├── vdm.stg └── vim_syntax │ ├── README │ ├── acn.vim │ └── acn_ftdetect.vim ├── delete-obsolete-fs.sh ├── details-docs ├── README.md ├── architecture │ ├── components.md │ ├── data-models │ │ └── asts.md │ └── type-system.md ├── asn1 │ └── IA5String-values.md ├── backend │ ├── XER.md │ ├── acn │ │ └── save-position.md │ ├── init-and-autotests.md │ └── overview.md ├── common │ └── overview.md ├── frontend │ ├── ast-builders.md │ └── validations.md ├── parsers │ ├── antlr-acn.md │ └── antlr-asn1.md └── templates │ └── overview.md ├── detect_obsolete_fs.sh ├── github-build.sh ├── github-issues ├── issue0149 │ └── a.asn1 ├── issue0150 │ └── a.asn1 ├── issue0151 │ ├── a.acn │ └── a.asn1 ├── issue113 │ ├── a.acn │ ├── a.asn1 │ ├── acn.css │ ├── acn.html │ └── uper.html ├── issue121 │ ├── a.acn │ └── a.asn1 ├── issue122 │ ├── a.acn │ └── a.asn1 ├── issue123 │ ├── a.acn │ └── a.asn1 ├── issue154 │ └── a.asn1 ├── issue155 │ └── a.asn1 ├── issue156 │ ├── a.acn │ ├── a.asn1 │ ├── after.xml │ └── before.xml ├── issue163 │ ├── a.acn │ ├── a.asn1 │ └── ast.xml ├── issue165 │ ├── a.acn │ ├── a.asn1 │ └── ast33.xml ├── issue167 │ └── a.asn1 ├── issue168 │ ├── a.asn1 │ ├── after.html │ ├── before.html │ ├── c_out1 │ │ ├── Makefile │ │ ├── VsProject.sln │ │ ├── VsProject.vcxproj │ │ ├── a.c │ │ ├── a.h │ │ ├── a_auto_tcs.c │ │ ├── a_auto_tcs.h │ │ ├── acn.c │ │ ├── asn1crt.c │ │ ├── asn1crt.h │ │ ├── mainprogram.c │ │ ├── real.c │ │ ├── test_case_001.c │ │ ├── test_case_001.h │ │ ├── testsuite.c │ │ └── testsuite.h │ └── c_out2 │ │ ├── Makefile │ │ ├── VsProject.sln │ │ ├── VsProject.vcxproj │ │ ├── a.c │ │ ├── a.h │ │ ├── a_auto_tcs.c │ │ ├── a_auto_tcs.h │ │ ├── acn.c │ │ ├── asn1crt.c │ │ ├── asn1crt.h │ │ ├── mainprogram.c │ │ ├── real.c │ │ ├── test_case_001.c │ │ ├── test_case_001.h │ │ ├── testsuite.c │ │ └── testsuite.h ├── issue169 │ └── a.asn1 └── issue186 │ └── a.asn1 ├── local-build.sh ├── lsp ├── Client │ ├── .gitattributes │ ├── .gitignore │ ├── .vs │ │ ├── VSWorkspaceState.json │ │ └── slnx.sqlite │ ├── .vscode │ │ ├── launch.json │ │ ├── settings.json │ │ └── tasks.json │ ├── .vscodeignore │ ├── CHANGELOG.md │ ├── README.md │ ├── client │ │ └── package.json │ ├── package-lock.json │ ├── package.json │ ├── src │ │ └── extension.ts │ ├── tsconfig.json │ └── vsc-extension-quickstart.md └── Server │ ├── Server.sln │ └── Server │ ├── Helpers.cs │ ├── LspHandlers.cs │ ├── Program.cs │ ├── Properties │ └── PublishProfiles │ │ └── FolderProfile.pubxml │ ├── Server.csproj │ └── TextSync.cs ├── make_new_release.sh ├── mantis ├── 0000374 │ ├── MY_MODULE.asn │ └── python.stg ├── 0000375 │ └── D1.asn ├── 0000377 │ ├── D1.asn │ └── D2.asn ├── 0000400 │ └── D1.asn ├── 0000408 │ ├── D1.asn │ ├── a.asn1 │ ├── out.before │ │ ├── a.c │ │ ├── a.h │ │ ├── acn.c │ │ ├── asn1crt.c │ │ ├── asn1crt.h │ │ ├── ber.c │ │ ├── real.c │ │ └── xer.c │ ├── out │ │ ├── a.c │ │ ├── a.h │ │ ├── acn.c │ │ ├── asn1crt.c │ │ ├── asn1crt.h │ │ ├── ber.c │ │ ├── real.c │ │ └── xer.c │ └── out2 │ │ ├── a.c │ │ ├── a.h │ │ ├── acn.c │ │ ├── asn1crt.c │ │ ├── asn1crt.h │ │ ├── ber.c │ │ ├── real.c │ │ └── xer.c ├── 0000410 │ ├── PUS.acn │ ├── PUS.asn1 │ ├── out2 │ │ ├── Makefile │ │ └── mainprogram.c │ └── run.sh ├── 0000411 │ ├── a.asn1 │ ├── b.asn1 │ ├── before │ │ ├── a_ada_out │ │ │ ├── GPS_project.gpr │ │ │ ├── Makefile │ │ │ ├── adaasn1rtl.adb │ │ │ ├── adaasn1rtl.ads │ │ │ ├── gnat.cfg │ │ │ ├── mainprogram.adb │ │ │ ├── mod1.adb │ │ │ ├── mod1.ads │ │ │ ├── mod1_auto_encs_decs.adb │ │ │ ├── mod1_auto_encs_decs.ads │ │ │ └── runSpark.sh │ │ ├── a_c_out │ │ │ ├── Makefile │ │ │ ├── a.c │ │ │ ├── a.h │ │ │ ├── a_auto_tcs.c │ │ │ ├── a_auto_tcs.h │ │ │ ├── acn.c │ │ │ ├── asn1crt.c │ │ │ ├── asn1crt.h │ │ │ ├── ber.c │ │ │ ├── mainprogram.c │ │ │ ├── real.c │ │ │ └── xer.c │ │ ├── b_ada_out │ │ │ ├── GPS_project.gpr │ │ │ ├── Makefile │ │ │ ├── adaasn1rtl.adb │ │ │ ├── adaasn1rtl.ads │ │ │ ├── gnat.cfg │ │ │ ├── mainprogram.adb │ │ │ ├── mod1.adb │ │ │ ├── mod1.ads │ │ │ ├── mod1_auto_encs_decs.adb │ │ │ ├── mod1_auto_encs_decs.ads │ │ │ └── runSpark.sh │ │ └── b_c_out │ │ │ ├── Makefile │ │ │ ├── acn.c │ │ │ ├── asn1crt.c │ │ │ ├── asn1crt.h │ │ │ ├── b.c │ │ │ ├── b.h │ │ │ ├── b_auto_tcs.c │ │ │ ├── b_auto_tcs.h │ │ │ ├── ber.c │ │ │ ├── mainprogram.c │ │ │ ├── real.c │ │ │ └── xer.c │ ├── c.asn1 │ ├── def │ │ ├── a_ada_out │ │ │ ├── GPS_project.gpr │ │ │ ├── Makefile │ │ │ ├── adaasn1rtl.adb │ │ │ ├── adaasn1rtl.ads │ │ │ ├── gnat.cfg │ │ │ ├── mainprogram.adb │ │ │ ├── mod1.adb │ │ │ ├── mod1.ads │ │ │ ├── mod1_auto_encs_decs.adb │ │ │ ├── mod1_auto_encs_decs.ads │ │ │ └── runSpark.sh │ │ ├── a_c_out │ │ │ ├── Makefile │ │ │ ├── a.c │ │ │ ├── a.h │ │ │ ├── a_auto_tcs.c │ │ │ ├── a_auto_tcs.h │ │ │ ├── acn.c │ │ │ ├── asn1crt.c │ │ │ ├── asn1crt.h │ │ │ ├── ber.c │ │ │ ├── mainprogram.c │ │ │ ├── real.c │ │ │ └── xer.c │ │ ├── b_ada_out │ │ │ ├── GPS_project.gpr │ │ │ ├── Makefile │ │ │ ├── adaasn1rtl.adb │ │ │ ├── adaasn1rtl.ads │ │ │ ├── gnat.cfg │ │ │ ├── mainprogram.adb │ │ │ ├── mod1.adb │ │ │ ├── mod1.ads │ │ │ ├── mod1_auto_encs_decs.adb │ │ │ ├── mod1_auto_encs_decs.ads │ │ │ └── runSpark.sh │ │ └── b_c_out │ │ │ ├── Makefile │ │ │ ├── acn.c │ │ │ ├── asn1crt.c │ │ │ ├── asn1crt.h │ │ │ ├── b.c │ │ │ ├── b.h │ │ │ ├── b_auto_tcs.c │ │ │ ├── b_auto_tcs.h │ │ │ ├── ber.c │ │ │ ├── mainprogram.c │ │ │ ├── real.c │ │ │ └── xer.c │ ├── p0 │ │ ├── a_ada_out │ │ │ ├── GPS_project.gpr │ │ │ ├── Makefile │ │ │ ├── adaasn1rtl.adb │ │ │ ├── adaasn1rtl.ads │ │ │ ├── gnat.cfg │ │ │ ├── mainprogram.adb │ │ │ ├── mod1.adb │ │ │ ├── mod1.ads │ │ │ ├── mod1_auto_encs_decs.adb │ │ │ ├── mod1_auto_encs_decs.ads │ │ │ └── runSpark.sh │ │ └── b_ada_out │ │ │ ├── GPS_project.gpr │ │ │ ├── Makefile │ │ │ ├── adaasn1rtl.adb │ │ │ ├── adaasn1rtl.ads │ │ │ ├── gnat.cfg │ │ │ ├── mainprogram.adb │ │ │ ├── mod1.adb │ │ │ ├── mod1.ads │ │ │ ├── mod1_auto_encs_decs.adb │ │ │ ├── mod1_auto_encs_decs.ads │ │ │ └── runSpark.sh │ ├── p1 │ │ ├── a_ada_out │ │ │ ├── GPS_project.gpr │ │ │ ├── Makefile │ │ │ ├── adaasn1rtl.adb │ │ │ ├── adaasn1rtl.ads │ │ │ ├── gnat.cfg │ │ │ ├── mainprogram.adb │ │ │ ├── mod1.adb │ │ │ ├── mod1.ads │ │ │ ├── mod1_auto_encs_decs.adb │ │ │ ├── mod1_auto_encs_decs.ads │ │ │ └── runSpark.sh │ │ ├── a_c_out │ │ │ ├── Makefile │ │ │ ├── a.c │ │ │ ├── a.h │ │ │ ├── a_auto_tcs.c │ │ │ ├── a_auto_tcs.h │ │ │ ├── acn.c │ │ │ ├── asn1crt.c │ │ │ ├── asn1crt.h │ │ │ ├── ber.c │ │ │ ├── mainprogram.c │ │ │ ├── real.c │ │ │ └── xer.c │ │ ├── b_ada_out │ │ │ ├── GPS_project.gpr │ │ │ ├── Makefile │ │ │ ├── adaasn1rtl.adb │ │ │ ├── adaasn1rtl.ads │ │ │ ├── gnat.cfg │ │ │ ├── mainprogram.adb │ │ │ ├── mod1.adb │ │ │ ├── mod1.ads │ │ │ ├── mod1_auto_encs_decs.adb │ │ │ ├── mod1_auto_encs_decs.ads │ │ │ └── runSpark.sh │ │ └── b_c_out │ │ │ ├── Makefile │ │ │ ├── acn.c │ │ │ ├── asn1crt.c │ │ │ ├── asn1crt.h │ │ │ ├── b.c │ │ │ ├── b.h │ │ │ ├── b_auto_tcs.c │ │ │ ├── b_auto_tcs.h │ │ │ ├── ber.c │ │ │ ├── mainprogram.c │ │ │ ├── real.c │ │ │ └── xer.c │ ├── p2 │ │ ├── a_ada_out │ │ │ ├── GPS_project.gpr │ │ │ ├── Makefile │ │ │ ├── adaasn1rtl.adb │ │ │ ├── adaasn1rtl.ads │ │ │ ├── gnat.cfg │ │ │ ├── mainprogram.adb │ │ │ ├── mod1.adb │ │ │ ├── mod1.ads │ │ │ ├── mod1_auto_encs_decs.adb │ │ │ ├── mod1_auto_encs_decs.ads │ │ │ └── runSpark.sh │ │ ├── a_c_out │ │ │ ├── Makefile │ │ │ ├── a.c │ │ │ ├── a.h │ │ │ ├── a_auto_tcs.c │ │ │ ├── a_auto_tcs.h │ │ │ ├── acn.c │ │ │ ├── asn1crt.c │ │ │ ├── asn1crt.h │ │ │ ├── ber.c │ │ │ ├── mainprogram.c │ │ │ ├── real.c │ │ │ └── xer.c │ │ ├── b_ada_out │ │ │ ├── GPS_project.gpr │ │ │ ├── Makefile │ │ │ ├── adaasn1rtl.adb │ │ │ ├── adaasn1rtl.ads │ │ │ ├── gnat.cfg │ │ │ ├── mainprogram.adb │ │ │ ├── mod1.adb │ │ │ ├── mod1.ads │ │ │ ├── mod1_auto_encs_decs.adb │ │ │ ├── mod1_auto_encs_decs.ads │ │ │ └── runSpark.sh │ │ └── b_c_out │ │ │ ├── Makefile │ │ │ ├── acn.c │ │ │ ├── asn1crt.c │ │ │ ├── asn1crt.h │ │ │ ├── b.c │ │ │ ├── b.h │ │ │ ├── b_auto_tcs.c │ │ │ ├── b_auto_tcs.h │ │ │ ├── ber.c │ │ │ ├── mainprogram.c │ │ │ ├── real.c │ │ │ └── xer.c │ └── run.sh ├── 0000412 │ ├── 02-PUS.acn │ ├── 02-PUS.asn1 │ └── output_before │ │ └── 02-PUS.c ├── 0000421 │ ├── a.acn │ └── a.asn1 ├── 0000424 │ └── D1.asn ├── 0000426 │ ├── D1.asn │ ├── D1_SE.asn │ ├── D2.asn │ └── readme.txt ├── 0000434 │ ├── a.acn │ ├── a.asn1 │ ├── a.css │ └── a.html ├── 0000436 │ ├── 1.acn │ └── 1.asn1 ├── 0000437 │ ├── a.acn │ └── a.asn1 ├── 0000440 │ ├── a.asn1 │ ├── a.html │ └── b.html ├── 0000442 │ ├── a.asn1 │ └── stgfolder │ │ └── generic.stg ├── 0000444 - Custom templates │ ├── 03-TERMA.acn │ └── 03-TERMA.asn1 ├── 0000445 │ ├── 03-TERMA.asn1 │ └── a.xml ├── 0000448 │ └── a.asn1 ├── 0000449 - C or Ada keywords not escaped in code generation │ ├── DV_PUSC.acn │ └── DV_PUSC.asn ├── 0000455 │ └── DV_PUSC.asn ├── 0000456 │ └── DV_PUSC.asn ├── 0000459 - test case generation fails for variable-length list with large maximum │ ├── composites.acn │ └── composites.asn1 ├── 0000460 - Support for empty sequences │ ├── empty_seq.acn │ └── empty_seq.asn1 ├── 0000462 - asn2aadlPlus.py does not accept empty sequences │ ├── a.acn │ ├── a.asn1 │ ├── b.acn │ ├── b.asn1 │ ├── c.acn │ └── c.asn1 ├── 0000469 - Rename policy issue when using -typePrefix │ └── a.asn1 ├── 0000482 │ └── a.asn1 ├── 0000491 │ ├── a.acn │ ├── a.asn1 │ ├── mapFunctions.adb │ ├── mapFunctions.ads │ ├── mapFunctions.c │ └── mapFunctions.h ├── 0000492 │ ├── a.acn │ ├── a.asn1 │ └── before │ │ ├── toto.css │ │ └── toto.html ├── 0000498 │ └── icd.asn1 ├── 0000500 │ └── a.asn1 ├── 0000501 │ └── dataview.asn ├── 0000526 │ ├── a.acn │ └── a.asn1 ├── 0000527 │ └── a.asn1 ├── 0000534 │ └── DataView.asn ├── 0000535 │ └── DataView.asn ├── 0000536 │ └── DataView.asn ├── 0000539 │ ├── dataview-uniq.acn │ └── dataview-uniq.asn ├── 0000543 │ ├── DataView.acn │ ├── DataView.asn │ └── icd │ │ ├── DataView.acn │ │ └── DataView.asn ├── 0000545 │ ├── DataView.acn │ └── DataView.asn ├── 0000562 │ ├── DataTypesSimulink.asn │ └── a.asn ├── 0000563 │ └── a.asn ├── 0000565 │ ├── a.acn │ ├── a.asn1 │ ├── acn.css │ ├── acn.html │ └── uper.html ├── 0000577 │ └── dataview-uniq.asn ├── 0000579 │ ├── context.asn1 │ └── dataview-uniq.asn1 ├── 0000580 │ ├── dataview.asn │ └── dataview2.asn ├── 0000593 │ └── dataview.asn ├── 0000594 │ └── dataview.asn ├── 0000595 │ ├── crash.acn │ └── crash.asn ├── 0000600 │ ├── a.asn1 │ ├── a3.asn1 │ └── b.asn1 ├── 0000650 │ └── a.asn1 ├── 0000651 │ └── a.asn1 ├── 0000677 │ ├── a.asn1 │ └── b.asn1 ├── 0000703 │ └── a.asn1 ├── 0000716 │ ├── a.acn │ └── a.asn1 ├── 0000724 │ └── DataTypesSimulink.asn ├── 0000733 │ ├── a.acn │ └── a.asn1 ├── 0000736 │ ├── a.acn │ └── a.asn1 ├── 0000769 │ ├── defs1.asn1 │ ├── defs2.asn1 │ └── defs3.asn1 ├── 0000776 │ ├── PUS.acn │ ├── PUS.asn1 │ └── command.txt ├── 0000777 │ ├── a.acn │ ├── a.asn1 │ ├── c_o │ │ ├── milbus2.c │ │ └── milbus2.h │ └── commant.txt ├── 0000780 │ └── readme.txt ├── 0000782 │ └── a.asn1 ├── 0000783 │ └── a.asn1 ├── 0000786 │ └── a.asn1 ├── 0000787 │ └── dataview-uniq.asn ├── 0000794 │ └── a.asn ├── 0000806 │ └── a.asn1 ├── 0000807 │ ├── a.acn │ └── a.asn1 ├── 0000808 │ ├── a.acn │ ├── a.asn1 │ ├── acn.after.html │ ├── acn.before.html │ └── acn.css ├── 0000810 │ ├── a.asn1 │ ├── out2.xml │ └── xml.stg ├── 0000811 │ └── a.asn1 ├── 0000814 │ ├── a.acn │ ├── a.asn1 │ ├── a.css │ ├── a.html │ ├── a1.css │ └── a1.html ├── 0000815 │ ├── Makefile │ ├── README │ ├── dataview-uniq.asn │ └── test.c ├── 0000818 │ ├── Dataview.acn │ ├── Dataview.asn │ └── Makefile ├── 0000820 │ ├── a.acn │ └── a.asn1 ├── 0000823 │ ├── a.acn │ ├── a.asn1 │ ├── aaa2.css │ └── aaa2.html ├── 0000824 │ ├── a.acn │ ├── a.asn1 │ ├── a_out │ │ ├── postencoding.adb │ │ └── postencoding.ads │ ├── c_out │ │ ├── postEncoding.c │ │ └── postEncoding.h │ └── command.txt ├── 0000854 │ └── a.asn1 ├── 0000864 │ └── a.asn1 ├── 0000872 │ ├── a.asn1 │ ├── out.css │ ├── out.html │ ├── out2.html │ ├── out3.css │ ├── out3.html │ └── report.txt ├── 0000873 │ ├── AddedType_command.txt │ ├── HasAcnEncDecFunction.acn │ ├── HasAcnEncDecFunction.asn1 │ ├── HasAcnEncDecFunction_commant.txt │ ├── a.asn1 │ ├── ast.xml │ ├── ast1.xml │ ├── ast4.xml │ └── xml.stg ├── 0000888 │ ├── a.acn │ └── a.asn1 ├── 0000890 │ └── a.asn1 ├── 0000893 │ └── a.asn1 ├── 0000911 │ ├── apid2.acn │ ├── apid2.asn │ ├── ast.xml │ ├── backend_ast.xml │ ├── doc.css │ └── doc.html └── 0000928 │ ├── a.acn │ └── a.asn1 ├── packages └── Argu.3.7.0 │ ├── Argu.3.7.0.nupkg │ └── lib │ ├── net35 │ ├── Argu.XML │ ├── Argu.dll │ └── Argu.pdb │ ├── net40 │ ├── Argu.XML │ ├── Argu.dll │ └── Argu.pdb │ └── netstandard1.6 │ └── Argu.dll ├── parseStg2 ├── Program.cs └── parseStg2.csproj ├── regression ├── Program.fs ├── ShellProcess.fs └── regression.fsproj ├── run-local-build-using-docker-image.sh ├── runTestsUsingContainer.txt ├── update.net_version.txt ├── v4Tests-32 ├── Makefile └── scripts │ ├── runTests.py │ ├── runTestsAndCompareOutputs.py │ └── testXER.py └── v4Tests ├── .devcontainer └── devcontainer.json ├── Makefile ├── scripts ├── runMultiThread.py ├── runTests.py ├── runTests32.py ├── runTestsAndCompareOutputs.py └── testXER.py ├── test-cases-32 └── acn │ ├── 00-ExpectToFail │ ├── 001.asn1 │ └── 002.asn1 │ ├── 01-INTEGER │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ ├── 004.asn1 │ ├── 005.asn1 │ ├── 006.asn1 │ ├── 007.asn1 │ └── 008.asn1 │ ├── 02-REAL │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ └── 004.asn1 │ ├── 03-IA5String │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ ├── 004.asn1 │ ├── 005.asn1 │ ├── 006.asn1 │ ├── 007.asn1 │ ├── 008.asn1 │ ├── 009.asn1 │ ├── 010.asn1 │ ├── 011.asn1 │ ├── 012.asn1 │ ├── 013.asn1 │ ├── 014.asn1 │ ├── 015.asn1 │ ├── 016.asn1 │ └── 017.asn1 │ ├── 04-ENUMERATED │ ├── 001.asn1 │ ├── 002.asn1 │ └── 003.asn1 │ ├── 05-BOOLEAN │ ├── 001.asn1 │ ├── 002.asn1 │ └── 003.asn1 │ ├── 05b-ObjectIdentifier │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ ├── 004.asn1 │ └── 005.asn1 │ ├── 06-OCTET-STRING │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ ├── 004.asn1 │ ├── 005.asn1 │ ├── 005b.asn1 │ ├── 005c.asn1 │ ├── 006.asn1 │ ├── 007.asn1 │ ├── 008.asn1 │ ├── 009.asn1 │ └── 010.asn1 │ ├── 08-BIT-STRING │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ ├── 004.asn1 │ ├── 005.asn1 │ ├── 006.asn1 │ └── 007.asn1 │ ├── 09-CHOICE │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ ├── 004.asn1 │ ├── 005.asn1 │ ├── 006.asn1 │ ├── 007.asn1 │ ├── 008.asn1 │ ├── 009.asn1 │ ├── 010.asn1 │ ├── 011.acn │ └── 011.asn1 │ ├── 10-SEQEUENCE │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ ├── 004.asn1 │ ├── 006.asn1 │ ├── 007.asn1 │ ├── 008.asn1 │ ├── 009.asn1 │ ├── 010.asn1 │ ├── 011.asn1 │ ├── 020.asn1 │ ├── 021.asn1 │ ├── empty_seq.acn │ └── empty_seq.asn1 │ ├── 11-SEQUENCE-OF │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ ├── 004.asn1 │ ├── 005.asn1 │ ├── 006.asn1 │ ├── 007.asn1 │ └── 008.asn1 │ ├── 12-PARAM │ ├── 001_00.acn │ ├── 001_00.asn1 │ ├── 001_01.acn │ ├── 001_01.asn1 │ ├── 001_01a.acn │ ├── 001_01a.asn1 │ ├── 001_02.acn │ ├── 001_02.asn1 │ ├── 001_02_1.acn │ ├── 001_02_1.asn1 │ ├── 001_02b.acn │ ├── 001_02b.asn1 │ ├── 001_03.acn │ ├── 001_03.asn1 │ ├── 001_10.acn │ ├── 001_10.asn1 │ ├── 004_00.acn │ └── 004_00.asn1 │ ├── 13-ENDIANESS │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ └── 004.asn1 │ ├── 14-RealCases │ ├── 01-robotic-arm-normal.acn │ ├── 01-robotic-arm-reverse.acn │ ├── 01-robotic-arm.asn1 │ ├── 02-PUS.acn │ ├── 02-PUS.asn1 │ ├── 03-TERMA.acn │ ├── 03-TERMA.asn1 │ ├── 04.asn │ ├── 05.acn │ ├── 05.asn1 │ ├── 06.acn │ ├── 06.asn1 │ ├── 07.asn1 │ ├── BasicTypes.acn │ ├── BasicTypes.asn1 │ ├── NPAL.acn │ └── NPAL.asn1 │ ├── 15-PUS-ParameterPassing │ ├── 001.acn │ ├── 001.asn1 │ ├── 002.acn │ ├── 002.asn1 │ ├── 003.acn │ ├── 003.asn1 │ ├── 004.acn │ └── 004.asn1 │ ├── 16-mantis │ ├── 0000806.asn1 │ ├── 0000807.acn │ ├── 0000807.asn1 │ ├── 0000807b.acn │ ├── 0000807b.asn1 │ ├── 000736.acn │ ├── 000736.asn1 │ ├── 01-keywords.acn │ ├── 01-keywords.asn1 │ ├── 02.asn1 │ └── range-error.asn │ ├── 17-Parameterazation │ ├── 01.asn1 │ ├── 02.asn1 │ ├── 04.asn1 │ ├── 05.asn1 │ ├── 06.asn1 │ ├── 07.acn │ └── 07.asn1 │ ├── 18-NULL │ ├── 001.asn1 │ └── 002.asn1 │ ├── 19-DuplicateTypeNames │ ├── 001.asn1 │ └── 002.asn1 │ ├── 20-WithComponents │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ ├── 004.asn1 │ ├── 005.asn1 │ └── 006.asn1 │ ├── 21-PresentWhenExpression │ ├── 001.acn │ └── 001.asn1 │ ├── 22-modules │ ├── 001.asn1 │ ├── 002.asn1 │ └── 003.asn1 │ └── 23-CONTAINING │ ├── 001.asn1 │ ├── 002.asn1 │ ├── 003.asn1 │ ├── 004.asn1 │ ├── 005.asn1 │ ├── 006.asn1 │ ├── 007.asn1 │ ├── 008.asn1 │ └── 009.asn1 └── test-cases └── acn ├── 00-ExpectToFail ├── 001.asn1 └── 002.asn1 ├── 01-INTEGER ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 ├── 004.asn1 ├── 005.asn1 ├── 006.asn1 ├── 007.asn1 ├── 008.asn1 └── 009.asn1 ├── 02-REAL ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 ├── 004.asn1 ├── 005.asn1 └── 006.asn1 ├── 03-IA5String ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 ├── 004.asn1 ├── 005.asn1 ├── 006.asn1 ├── 007.asn1 ├── 008.asn1 ├── 009.asn1 ├── 010.asn1 ├── 011.asn1 ├── 012.asn1 ├── 012b.asn1 ├── 013.asn1 ├── 014.asn1 ├── 015.asn1 ├── 016.asn1 ├── 017.asn1 ├── 018.asn1 └── 019.asn1 ├── 04-ENUMERATED ├── 001.asn1 ├── 002.asn1 └── 003.asn1 ├── 05-BOOLEAN ├── 001.asn1 ├── 002.asn1 └── 003.asn1 ├── 05b-ObjectIdentifier ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 ├── 004.asn1 └── 005.asn1 ├── 06-OCTET-STRING ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 ├── 004.asn1 ├── 005.asn1 ├── 005b.asn1 ├── 005c.asn1 ├── 006.asn1 ├── 007.asn1 ├── 008.asn1 ├── 009.asn1 ├── 010.asn1 └── 011.asn1 ├── 08-BIT-STRING ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 ├── 004.asn1 ├── 005.asn1 ├── 006.asn1 └── 007.asn1 ├── 09-CHOICE ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 ├── 004.asn1 ├── 005.asn1 ├── 006.asn1 ├── 007.asn1 ├── 008.asn1 ├── 009.asn1 ├── 010.asn1 ├── 011.acn ├── 011.asn1 └── 012.asn1 ├── 10-SEQEUENCE ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 ├── 004.asn1 ├── 006.asn1 ├── 007.asn1 ├── 008.asn1 ├── 009.asn1 ├── 010.asn1 ├── 011.asn1 ├── 012.asn1 ├── 020.asn1 ├── 021.asn1 ├── empty_seq.acn └── empty_seq.asn1 ├── 11-SEQUENCE-OF ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 ├── 004.asn1 ├── 005.asn1 ├── 006.asn1 ├── 007.asn1 ├── 007b.asn1 └── 008.asn1 ├── 12-PARAM ├── 001_00.acn ├── 001_00.asn1 ├── 001_01.acn ├── 001_01.asn1 ├── 001_01a.acn ├── 001_01a.asn1 ├── 001_02.acn ├── 001_02.asn1 ├── 001_02_1.acn ├── 001_02_1.asn1 ├── 001_02b.acn ├── 001_02b.asn1 ├── 001_03.acn ├── 001_03.asn1 ├── 001_10.acn ├── 001_10.asn1 ├── 004_00.acn └── 004_00.asn1 ├── 13-ENDIANESS ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 └── 004.asn1 ├── 14-RealCases ├── 01-robotic-arm-normal.acn ├── 01-robotic-arm-reverse.acn ├── 01-robotic-arm.asn1 ├── 02-PUS.acn ├── 02-PUS.asn1 ├── 03-TERMA.acn ├── 03-TERMA.asn1 ├── 04.asn ├── 05.acn ├── 05.asn1 ├── 06.acn ├── 06.asn1 ├── 07.asn1 ├── 08.asn1 ├── 09.asn1 ├── 10.acn ├── 10.asn ├── BasicTypes.acn ├── BasicTypes.asn1 ├── CFDP-PROTOCOL.acn ├── CFDP-PROTOCOL.asn1 ├── NPAL.acn ├── NPAL.asn1 ├── dataview.acn └── dataview.asn ├── 15-PUS-ParameterPassing ├── 001.acn ├── 001.asn1 ├── 002.acn ├── 002.asn1 ├── 003.acn ├── 003.asn1 ├── 004.acn └── 004.asn1 ├── 16-mantis ├── 0000774-DataTypesSimulink.asn1 ├── 0000806.asn1 ├── 0000807.acn ├── 0000807.asn1 ├── 0000807b.acn ├── 0000807b.asn1 ├── 000724-DataTypesSimulink.asn1 ├── 000736.acn ├── 000736.asn1 ├── 01-keywords.acn ├── 01-keywords.asn1 ├── 02.asn1 ├── 0209.acn ├── 0209.asn1 ├── 0231.asn1 └── range-error.asn ├── 17-Parameterazation ├── 01.asn1 ├── 02.asn1 ├── 04.asn1 ├── 05.asn1 ├── 06.asn1 ├── 07.acn ├── 07.asn1 └── 08.asn1 ├── 18-NULL ├── 001.asn1 └── 002.asn1 ├── 19-DuplicateTypeNames ├── 001.asn1 └── 002.asn1 ├── 20-WithComponents ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 ├── 004.asn1 ├── 005.asn1 ├── 006.asn1 ├── 007.asn1 └── 008.asn1 ├── 21-PresentWhenExpression ├── 001.acn ├── 001.asn1 ├── 002.acn └── 002.asn1 ├── 22-modules ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 └── 004.asn1 └── 23-CONTAINING ├── 001.asn1 ├── 002.asn1 ├── 003.asn1 ├── 004.asn1 ├── 005.asn1 ├── 006.asn1 ├── 007.asn1 ├── 008.asn1 ├── 009.asn1 ├── 010.asn1 └── 011.asn1 /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/asn1scc-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/.github/workflows/asn1scc-tests.yml -------------------------------------------------------------------------------- /.github/workflows/docker-image.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/.github/workflows/docker-image.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/.travis.yml -------------------------------------------------------------------------------- /ADA_RTL2/ada_rtl.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/ada_rtl.gpr -------------------------------------------------------------------------------- /ADA_RTL2/adaasn1rtl.ads.tmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/adaasn1rtl.ads.tmp -------------------------------------------------------------------------------- /ADA_RTL2/aux_files/asn1_msp430.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/aux_files/asn1_msp430.gpr -------------------------------------------------------------------------------- /ADA_RTL2/aux_files/asn1_stm32.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/aux_files/asn1_stm32.gpr -------------------------------------------------------------------------------- /ADA_RTL2/aux_files/asn1_x86.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/aux_files/asn1_x86.gpr -------------------------------------------------------------------------------- /ADA_RTL2/boards/msp430_board_config.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/boards/msp430_board_config.ads -------------------------------------------------------------------------------- /ADA_RTL2/boards/stm32_board_config.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/boards/stm32_board_config.ads -------------------------------------------------------------------------------- /ADA_RTL2/boards/x86_board_config.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/boards/x86_board_config.ads -------------------------------------------------------------------------------- /ADA_RTL2/src/adaasn1rtl-encoding-acn.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/src/adaasn1rtl-encoding-acn.adb -------------------------------------------------------------------------------- /ADA_RTL2/src/adaasn1rtl-encoding-acn.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/src/adaasn1rtl-encoding-acn.ads -------------------------------------------------------------------------------- /ADA_RTL2/src/adaasn1rtl-encoding-uper.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/src/adaasn1rtl-encoding-uper.adb -------------------------------------------------------------------------------- /ADA_RTL2/src/adaasn1rtl-encoding-uper.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/src/adaasn1rtl-encoding-uper.ads -------------------------------------------------------------------------------- /ADA_RTL2/src/adaasn1rtl-encoding-xer.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/src/adaasn1rtl-encoding-xer.adb -------------------------------------------------------------------------------- /ADA_RTL2/src/adaasn1rtl-encoding-xer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/src/adaasn1rtl-encoding-xer.ads -------------------------------------------------------------------------------- /ADA_RTL2/src/adaasn1rtl-encoding.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/src/adaasn1rtl-encoding.adb -------------------------------------------------------------------------------- /ADA_RTL2/src/adaasn1rtl-encoding.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/src/adaasn1rtl-encoding.ads -------------------------------------------------------------------------------- /ADA_RTL2/src/adaasn1rtl.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/src/adaasn1rtl.adb -------------------------------------------------------------------------------- /ADA_RTL2/src/adaasn1rtl.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ADA_RTL2/src/adaasn1rtl.ads -------------------------------------------------------------------------------- /Antlr/Antlr.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/Antlr.csproj -------------------------------------------------------------------------------- /Antlr/Comments.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/Comments.cs -------------------------------------------------------------------------------- /Antlr/ErrorFormatter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/ErrorFormatter.cs -------------------------------------------------------------------------------- /Antlr/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Antlr/VersionInformation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/VersionInformation.cs -------------------------------------------------------------------------------- /Antlr/acn.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/acn.g -------------------------------------------------------------------------------- /Antlr/antlr313/Antlr3.Runtime.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/antlr313/Antlr3.Runtime.dll -------------------------------------------------------------------------------- /Antlr/antlr313/Antlr3.Utility.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/antlr313/Antlr3.Utility.dll -------------------------------------------------------------------------------- /Antlr/antlr313/StringTemplate.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/antlr313/StringTemplate.dll -------------------------------------------------------------------------------- /Antlr/antlr313/antlr-3.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/antlr313/antlr-3.2.jar -------------------------------------------------------------------------------- /Antlr/antlr313/antlr.runtime.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/antlr313/antlr.runtime.dll -------------------------------------------------------------------------------- /Antlr/antlr313/antlrworks-1.4.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/antlr313/antlrworks-1.4.jar -------------------------------------------------------------------------------- /Antlr/asn1.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Antlr/asn1.g -------------------------------------------------------------------------------- /Asn1sccWs/Asn1sccWs.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Asn1sccWs/Asn1sccWs.fsproj -------------------------------------------------------------------------------- /Asn1sccWs/Program.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Asn1sccWs/Program.fs -------------------------------------------------------------------------------- /Asn1sccWs/Properties/launchSettings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Asn1sccWs/Properties/launchSettings.json -------------------------------------------------------------------------------- /Asn1sccWs/Startup.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Asn1sccWs/Startup.fs -------------------------------------------------------------------------------- /Asn1sccWs/appsettings.Development.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Asn1sccWs/appsettings.Development.json -------------------------------------------------------------------------------- /Asn1sccWs/appsettings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Asn1sccWs/appsettings.json -------------------------------------------------------------------------------- /BackendAst/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/AssemblyInfo.fs -------------------------------------------------------------------------------- /BackendAst/BackendAst.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/BackendAst.fsproj -------------------------------------------------------------------------------- /BackendAst/CalculateIcdHash.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/CalculateIcdHash.fs -------------------------------------------------------------------------------- /BackendAst/CustomStgExport.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/CustomStgExport.fs -------------------------------------------------------------------------------- /BackendAst/DAstACN.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstACN.fs -------------------------------------------------------------------------------- /BackendAst/DAstAsn1.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstAsn1.fs -------------------------------------------------------------------------------- /BackendAst/DAstBaseTypesEquivalence.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstBaseTypesEquivalence.fs -------------------------------------------------------------------------------- /BackendAst/DAstConstruction.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstConstruction.fs -------------------------------------------------------------------------------- /BackendAst/DAstEqual.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstEqual.fs -------------------------------------------------------------------------------- /BackendAst/DAstEqualExp.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstEqualExp.fs -------------------------------------------------------------------------------- /BackendAst/DAstExportToXml.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstExportToXml.fs -------------------------------------------------------------------------------- /BackendAst/DAstInitialize.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstInitialize.fs -------------------------------------------------------------------------------- /BackendAst/DAstProgramUnit.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstProgramUnit.fs -------------------------------------------------------------------------------- /BackendAst/DAstTypeDefinition2.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstTypeDefinition2.fs -------------------------------------------------------------------------------- /BackendAst/DAstUPer.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstUPer.fs -------------------------------------------------------------------------------- /BackendAst/DAstVariables.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstVariables.fs -------------------------------------------------------------------------------- /BackendAst/DAstXer.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DAstXer.fs -------------------------------------------------------------------------------- /BackendAst/DastFold.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DastFold.fs -------------------------------------------------------------------------------- /BackendAst/DastTestCaseCreation.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DastTestCaseCreation.fs -------------------------------------------------------------------------------- /BackendAst/DastValidate2.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/DastValidate2.fs -------------------------------------------------------------------------------- /BackendAst/EncodeDecodeTestCase.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/EncodeDecodeTestCase.fs -------------------------------------------------------------------------------- /BackendAst/GenerateAcnIcd.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/GenerateAcnIcd.fs -------------------------------------------------------------------------------- /BackendAst/GenerateFiles.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/GenerateFiles.fs -------------------------------------------------------------------------------- /BackendAst/GenerateUperIcd.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/GenerateUperIcd.fs -------------------------------------------------------------------------------- /BackendAst/GrammarGenerator.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/GrammarGenerator.fs -------------------------------------------------------------------------------- /BackendAst/PrintAcn.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/PrintAcn.fs -------------------------------------------------------------------------------- /BackendAst/PrintAsn1.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/PrintAsn1.fs -------------------------------------------------------------------------------- /BackendAst/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/BackendAst/Script.fsx -------------------------------------------------------------------------------- /Backup/asn1scc.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Backup/asn1scc.sln -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CommonTypes/AbstractMacros.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/AbstractMacros.fs -------------------------------------------------------------------------------- /CommonTypes/AcnGenericTypes.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/AcnGenericTypes.fs -------------------------------------------------------------------------------- /CommonTypes/CommonTypes.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/CommonTypes.fs -------------------------------------------------------------------------------- /CommonTypes/CommonTypes.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/CommonTypes.fsproj -------------------------------------------------------------------------------- /CommonTypes/FsUtils.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/FsUtils.fs -------------------------------------------------------------------------------- /CommonTypes/RangeSets.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/RangeSets.fs -------------------------------------------------------------------------------- /CommonTypes/RangeSets0.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/RangeSets0.fs -------------------------------------------------------------------------------- /CommonTypes/RemoveUnusedRtlFunction.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/RemoveUnusedRtlFunction.fs -------------------------------------------------------------------------------- /CommonTypes/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/Script.fsx -------------------------------------------------------------------------------- /CommonTypes/SimpleSets.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/SimpleSets.fs -------------------------------------------------------------------------------- /CommonTypes/SizeableSet.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/SizeableSet.fs -------------------------------------------------------------------------------- /CommonTypes/ValueSets.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/CommonTypes/ValueSets.fs -------------------------------------------------------------------------------- /Daemon.ExampleClient/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon.ExampleClient/App.config -------------------------------------------------------------------------------- /Daemon.ExampleClient/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon.ExampleClient/AssemblyInfo.fs -------------------------------------------------------------------------------- /Daemon.ExampleClient/Client.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon.ExampleClient/Client.py -------------------------------------------------------------------------------- /Daemon.ExampleClient/Program.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon.ExampleClient/Program.fs -------------------------------------------------------------------------------- /Daemon/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon/App.config -------------------------------------------------------------------------------- /Daemon/Asn1ServiceBindings.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon/Asn1ServiceBindings.fs -------------------------------------------------------------------------------- /Daemon/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon/AssemblyInfo.fs -------------------------------------------------------------------------------- /Daemon/Daemon.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon/Daemon.fsproj -------------------------------------------------------------------------------- /Daemon/Http.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon/Http.fs -------------------------------------------------------------------------------- /Daemon/HttpServer.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon/HttpServer.fs -------------------------------------------------------------------------------- /Daemon/Options.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon/Options.fs -------------------------------------------------------------------------------- /Daemon/Program.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon/Program.fs -------------------------------------------------------------------------------- /Daemon/Watchdog.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon/Watchdog.fs -------------------------------------------------------------------------------- /Daemon/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Daemon/packages.config -------------------------------------------------------------------------------- /DockerHub/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/DockerHub/Dockerfile -------------------------------------------------------------------------------- /DockerHub/asn1scc-example/my_module.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/DockerHub/asn1scc-example/my_module.asn -------------------------------------------------------------------------------- /DockerHub/asn1scc-example/runme.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/DockerHub/asn1scc-example/runme.sh -------------------------------------------------------------------------------- /DockerHub/install-asn1scc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/DockerHub/install-asn1scc.sh -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Dockerfile -------------------------------------------------------------------------------- /Dockerfile.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Dockerfile.dev -------------------------------------------------------------------------------- /Dockerfile.local.wsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Dockerfile.local.wsl -------------------------------------------------------------------------------- /Dockerfile.runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Dockerfile.runtime -------------------------------------------------------------------------------- /Docs/ACN-UM-v-3-2.docx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/ACN-UM-v-3-2.docx -------------------------------------------------------------------------------- /Docs/ACN-UM-v-3-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/ACN-UM-v-3-2.pdf -------------------------------------------------------------------------------- /Docs/ACN_V4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/ACN_V4.txt -------------------------------------------------------------------------------- /Docs/deduced-size.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/deduced-size.md -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/Makefile -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/a.acn -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/a.asn1 -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/a_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/a_out/Makefile -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/a_out/gnat.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/a_out/gnat.cfg -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/a_out/spark.idx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/a_out/spark.idx -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/c_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/c_out/Makefile -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/c_out/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/c_out/a.c -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/c_out/a.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/c_out/a.h -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/c_out/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/c_out/asn1crt.c -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/c_out/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/c_out/asn1crt.h -------------------------------------------------------------------------------- /Docs/examples/calculate_crc/command.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc/command.txt -------------------------------------------------------------------------------- /Docs/examples/calculate_crc2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc2/Makefile -------------------------------------------------------------------------------- /Docs/examples/calculate_crc2/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc2/a.acn -------------------------------------------------------------------------------- /Docs/examples/calculate_crc2/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/calculate_crc2/a.asn1 -------------------------------------------------------------------------------- /Docs/examples/streaming_mode/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/streaming_mode/Makefile -------------------------------------------------------------------------------- /Docs/examples/streaming_mode/a.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/streaming_mode/a.asn -------------------------------------------------------------------------------- /Docs/examples/streaming_mode/c_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Docs/examples/streaming_mode/c_out/Makefile -------------------------------------------------------------------------------- /FrontEndAst/AcnCreateFromAntlr.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/AcnCreateFromAntlr.fs -------------------------------------------------------------------------------- /FrontEndAst/AcnEncodingClasses.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/AcnEncodingClasses.fs -------------------------------------------------------------------------------- /FrontEndAst/AcnGenericCreateFromAntlr.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/AcnGenericCreateFromAntlr.fs -------------------------------------------------------------------------------- /FrontEndAst/AntlrParse.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/AntlrParse.fs -------------------------------------------------------------------------------- /FrontEndAst/Asn1AcnAst.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/Asn1AcnAst.fs -------------------------------------------------------------------------------- /FrontEndAst/Asn1AcnAstUtilFunctions.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/Asn1AcnAstUtilFunctions.fs -------------------------------------------------------------------------------- /FrontEndAst/Asn1Ast.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/Asn1Ast.fs -------------------------------------------------------------------------------- /FrontEndAst/Asn1Fold.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/Asn1Fold.fs -------------------------------------------------------------------------------- /FrontEndAst/Asn1Schema.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/Asn1Schema.xsd -------------------------------------------------------------------------------- /FrontEndAst/CheckAsn1.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/CheckAsn1.fs -------------------------------------------------------------------------------- /FrontEndAst/CheckLongReferences.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/CheckLongReferences.fs -------------------------------------------------------------------------------- /FrontEndAst/CloneTree.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/CloneTree.fs -------------------------------------------------------------------------------- /FrontEndAst/ConstraintsMapping.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/ConstraintsMapping.fs -------------------------------------------------------------------------------- /FrontEndAst/CreateAsn1AstFromAntlrTree.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/CreateAsn1AstFromAntlrTree.fs -------------------------------------------------------------------------------- /FrontEndAst/DAst.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/DAst.fs -------------------------------------------------------------------------------- /FrontEndAst/DAstTypeDefinition.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/DAstTypeDefinition.fs -------------------------------------------------------------------------------- /FrontEndAst/DAstUtilFunctions.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/DAstUtilFunctions.fs -------------------------------------------------------------------------------- /FrontEndAst/EnsureUniqueEnumNames.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/EnsureUniqueEnumNames.fs -------------------------------------------------------------------------------- /FrontEndAst/ExportToXml.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/ExportToXml.fs -------------------------------------------------------------------------------- /FrontEndAst/FE_TypeDefinition.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/FE_TypeDefinition.fs -------------------------------------------------------------------------------- /FrontEndAst/FrontEndAst.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/FrontEndAst.fsproj -------------------------------------------------------------------------------- /FrontEndAst/FrontEntMain.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/FrontEntMain.fs -------------------------------------------------------------------------------- /FrontEndAst/Language.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/Language.fs -------------------------------------------------------------------------------- /FrontEndAst/Lsp.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/Lsp.fs -------------------------------------------------------------------------------- /FrontEndAst/LspAst.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/LspAst.fs -------------------------------------------------------------------------------- /FrontEndAst/LspAutoComplete.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/LspAutoComplete.fs -------------------------------------------------------------------------------- /FrontEndAst/MapParamAstToNonParamAst.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/MapParamAstToNonParamAst.fs -------------------------------------------------------------------------------- /FrontEndAst/ParameterizedAsn1Ast.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/ParameterizedAsn1Ast.fs -------------------------------------------------------------------------------- /FrontEndAst/RemoveParameterizedTypes.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/RemoveParameterizedTypes.fs -------------------------------------------------------------------------------- /FrontEndAst/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/Script.fsx -------------------------------------------------------------------------------- /FrontEndAst/TITME-TYPES-SUPPORT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/TITME-TYPES-SUPPORT.md -------------------------------------------------------------------------------- /FrontEndAst/TypesEquivalence.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/TypesEquivalence.fs -------------------------------------------------------------------------------- /FrontEndAst/ValuesMapping.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/ValuesMapping.fs -------------------------------------------------------------------------------- /FrontEndAst/XER.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/XER.fs -------------------------------------------------------------------------------- /FrontEndAst/uPER.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/FrontEndAst/uPER.fs -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /LangServer/Readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/LangServer/Readme.txt -------------------------------------------------------------------------------- /Makefile.debian: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Makefile.debian -------------------------------------------------------------------------------- /PUSCScalaTest/AcnAtcCTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/PUSCScalaTest/AcnAtcCTests.cs -------------------------------------------------------------------------------- /PUSCScalaTest/AcnAtcScalaTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/PUSCScalaTest/AcnAtcScalaTests.cs -------------------------------------------------------------------------------- /PUSCScalaTest/AcnCompileScalaTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/PUSCScalaTest/AcnCompileScalaTests.cs -------------------------------------------------------------------------------- /PUSCScalaTest/AcnInterop.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/PUSCScalaTest/AcnInterop.cs -------------------------------------------------------------------------------- /PUSCScalaTest/PUSCScalaTest.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/PUSCScalaTest/PUSCScalaTest.csproj -------------------------------------------------------------------------------- /PUSCScalaTest/Testframework.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/PUSCScalaTest/Testframework.cs -------------------------------------------------------------------------------- /PUSCScalaTest/UperAtcCTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/PUSCScalaTest/UperAtcCTests.cs -------------------------------------------------------------------------------- /PUSCScalaTest/UperAtcScalaTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/PUSCScalaTest/UperAtcScalaTests.cs -------------------------------------------------------------------------------- /PUSCScalaTest/UperCompileScalaTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/PUSCScalaTest/UperCompileScalaTests.cs -------------------------------------------------------------------------------- /PUSCScalaTest/UperInterop.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/PUSCScalaTest/UperInterop.cs -------------------------------------------------------------------------------- /PUSCScalaTest/asn1-pusc-lib-asn1CompilerTestInput/service-12/PUS-12-24.acn: -------------------------------------------------------------------------------- 1 | PUS-12-24 DEFINITIONS ::= BEGIN 2 | 3 | END 4 | -------------------------------------------------------------------------------- /PUSCScalaTest/asn1-pusc-lib-asn1CompilerTestInput/service-12/PUS-12-25.acn: -------------------------------------------------------------------------------- 1 | PUS-12-25 DEFINITIONS ::= BEGIN 2 | 3 | END 4 | -------------------------------------------------------------------------------- /PUSCScalaTest/asn1-pusc-lib-asn1CompilerTestInput/system-objects/meta.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "System Objects" 3 | } 4 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/README.md -------------------------------------------------------------------------------- /ST/ST.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ST/ST.fs -------------------------------------------------------------------------------- /ST/ST.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ST/ST.fsproj -------------------------------------------------------------------------------- /ST/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/ST/Script.fsx -------------------------------------------------------------------------------- /Service.Implementation/Asn1Service.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Service.Implementation/Asn1Service.fs -------------------------------------------------------------------------------- /Service.Implementation/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Service.Implementation/AssemblyInfo.fs -------------------------------------------------------------------------------- /Service/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Service/AssemblyInfo.fs -------------------------------------------------------------------------------- /Service/Dto.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Service/Dto.fs -------------------------------------------------------------------------------- /Service/IAsn1Service.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Service/IAsn1Service.fs -------------------------------------------------------------------------------- /Service/Service.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Service/Service.fsproj -------------------------------------------------------------------------------- /StgAda/LangGeneric_a.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/LangGeneric_a.fs -------------------------------------------------------------------------------- /StgAda/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/Script.fsx -------------------------------------------------------------------------------- /StgAda/StgAda.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/StgAda.fsproj -------------------------------------------------------------------------------- /StgAda/acn_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/acn_a.stg -------------------------------------------------------------------------------- /StgAda/aux_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/aux_a.stg -------------------------------------------------------------------------------- /StgAda/backends.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/backends.xml -------------------------------------------------------------------------------- /StgAda/body_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/body_a.stg -------------------------------------------------------------------------------- /StgAda/equal_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/equal_a.stg -------------------------------------------------------------------------------- /StgAda/init_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/init_a.stg -------------------------------------------------------------------------------- /StgAda/isvalid_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/isvalid_a.stg -------------------------------------------------------------------------------- /StgAda/isvalid_new_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/isvalid_new_a.stg -------------------------------------------------------------------------------- /StgAda/spec_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/spec_a.stg -------------------------------------------------------------------------------- /StgAda/test_cases_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/test_cases_a.stg -------------------------------------------------------------------------------- /StgAda/uper_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/uper_a.stg -------------------------------------------------------------------------------- /StgAda/variables_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/variables_a.stg -------------------------------------------------------------------------------- /StgAda/xer_a.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgAda/xer_a.stg -------------------------------------------------------------------------------- /StgC/LangGeneric_c.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/LangGeneric_c.fs -------------------------------------------------------------------------------- /StgC/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/Script.fsx -------------------------------------------------------------------------------- /StgC/StgC.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/StgC.fsproj -------------------------------------------------------------------------------- /StgC/acn_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/acn_c.stg -------------------------------------------------------------------------------- /StgC/aux_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/aux_c.stg -------------------------------------------------------------------------------- /StgC/backends.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/backends.xml -------------------------------------------------------------------------------- /StgC/body_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/body_c.stg -------------------------------------------------------------------------------- /StgC/equal_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/equal_c.stg -------------------------------------------------------------------------------- /StgC/header_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/header_c.stg -------------------------------------------------------------------------------- /StgC/init_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/init_c.stg -------------------------------------------------------------------------------- /StgC/isvalid_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/isvalid_c.stg -------------------------------------------------------------------------------- /StgC/isvalid_new_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/isvalid_new_c.stg -------------------------------------------------------------------------------- /StgC/test_cases_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/test_cases_c.stg -------------------------------------------------------------------------------- /StgC/uper_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/uper_c.stg -------------------------------------------------------------------------------- /StgC/variables_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/variables_c.stg -------------------------------------------------------------------------------- /StgC/xer_c.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgC/xer_c.stg -------------------------------------------------------------------------------- /StgScala/AbstractMacrosImp.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/AbstractMacrosImp.fs -------------------------------------------------------------------------------- /StgScala/LangGeneric_scala.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/LangGeneric_scala.fs -------------------------------------------------------------------------------- /StgScala/ProofAst.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/ProofAst.fs -------------------------------------------------------------------------------- /StgScala/ProofGen.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/ProofGen.fs -------------------------------------------------------------------------------- /StgScala/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/Script.fsx -------------------------------------------------------------------------------- /StgScala/StgScala.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/StgScala.fsproj -------------------------------------------------------------------------------- /StgScala/acn_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/acn_scala.stg -------------------------------------------------------------------------------- /StgScala/aux_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/aux_scala.stg -------------------------------------------------------------------------------- /StgScala/backends.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/backends.xml -------------------------------------------------------------------------------- /StgScala/body_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/body_scala.stg -------------------------------------------------------------------------------- /StgScala/equal_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/equal_scala.stg -------------------------------------------------------------------------------- /StgScala/header_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/header_scala.stg -------------------------------------------------------------------------------- /StgScala/init_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/init_scala.stg -------------------------------------------------------------------------------- /StgScala/isvalid_new_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/isvalid_new_scala.stg -------------------------------------------------------------------------------- /StgScala/isvalid_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/isvalid_scala.stg -------------------------------------------------------------------------------- /StgScala/test_cases_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/test_cases_scala.stg -------------------------------------------------------------------------------- /StgScala/uper_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/uper_scala.stg -------------------------------------------------------------------------------- /StgScala/variables_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/variables_scala.stg -------------------------------------------------------------------------------- /StgScala/xer_scala.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgScala/xer_scala.stg -------------------------------------------------------------------------------- /StgVarious/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgVarious/Script.fsx -------------------------------------------------------------------------------- /StgVarious/StgVarious.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgVarious/StgVarious.fsproj -------------------------------------------------------------------------------- /StgVarious/backends.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgVarious/backends.xml -------------------------------------------------------------------------------- /StgVarious/generic.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgVarious/generic.stg -------------------------------------------------------------------------------- /StgVarious/icdtemplate_acn.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgVarious/icdtemplate_acn.stg -------------------------------------------------------------------------------- /StgVarious/icdtemplate_uper.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgVarious/icdtemplate_uper.stg -------------------------------------------------------------------------------- /StgVarious/python.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgVarious/python.stg -------------------------------------------------------------------------------- /StgVarious/stg_ACN.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgVarious/stg_ACN.stg -------------------------------------------------------------------------------- /StgVarious/stg_ASN.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgVarious/stg_ASN.stg -------------------------------------------------------------------------------- /StgVarious/xml.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgVarious/xml.stg -------------------------------------------------------------------------------- /StgVarious/xml_outputs.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/StgVarious/xml_outputs.stg -------------------------------------------------------------------------------- /Tests/cross-tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Tests/cross-tests/README.md -------------------------------------------------------------------------------- /Tests/cross-tests/SConstruct: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Tests/cross-tests/SConstruct -------------------------------------------------------------------------------- /Tests/cross-tests/site_scons/AdaBuilder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Tests/cross-tests/site_scons/AdaBuilder.py -------------------------------------------------------------------------------- /Tests/cross-tests/site_scons/AsnBuilder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Tests/cross-tests/site_scons/AsnBuilder.py -------------------------------------------------------------------------------- /Tests/cross-tests/site_scons/XmlBuilder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Tests/cross-tests/site_scons/XmlBuilder.py -------------------------------------------------------------------------------- /Tests/cross-tests/site_scons/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /Tests/cross-tests/site_scons/commons.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Tests/cross-tests/site_scons/commons.py -------------------------------------------------------------------------------- /Tests/cross-tests/site_scons/templates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Tests/cross-tests/site_scons/templates.py -------------------------------------------------------------------------------- /Tests/cross-tests/sources/ada_main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Tests/cross-tests/sources/ada_main.adb -------------------------------------------------------------------------------- /Tests/cross-tests/sources/c_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Tests/cross-tests/sources/c_main.c -------------------------------------------------------------------------------- /Tests/cross-tests/sources/file_utility.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Tests/cross-tests/sources/file_utility.c -------------------------------------------------------------------------------- /Tests/cross-tests/sources/file_utility.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/Tests/cross-tests/sources/file_utility.h -------------------------------------------------------------------------------- /appveyor.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/appveyor.yml -------------------------------------------------------------------------------- /asn1-docker.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1-docker.sh -------------------------------------------------------------------------------- /asn1crt/Acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/Acn.c -------------------------------------------------------------------------------- /asn1crt/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt.c -------------------------------------------------------------------------------- /asn1crt/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt.h -------------------------------------------------------------------------------- /asn1crt/asn1crt.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt.sln -------------------------------------------------------------------------------- /asn1crt/asn1crt.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt.vcproj -------------------------------------------------------------------------------- /asn1crt/asn1crt.vcxproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt.vcxproj -------------------------------------------------------------------------------- /asn1crt/asn1crt_encoding.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt_encoding.c -------------------------------------------------------------------------------- /asn1crt/asn1crt_encoding.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt_encoding.h -------------------------------------------------------------------------------- /asn1crt/asn1crt_encoding_acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt_encoding_acn.c -------------------------------------------------------------------------------- /asn1crt/asn1crt_encoding_acn.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt_encoding_acn.h -------------------------------------------------------------------------------- /asn1crt/asn1crt_encoding_ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt_encoding_ber.c -------------------------------------------------------------------------------- /asn1crt/asn1crt_encoding_ber.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt_encoding_ber.h -------------------------------------------------------------------------------- /asn1crt/asn1crt_encoding_uper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt_encoding_uper.c -------------------------------------------------------------------------------- /asn1crt/asn1crt_encoding_uper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt_encoding_uper.h -------------------------------------------------------------------------------- /asn1crt/asn1crt_encoding_xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt_encoding_xer.c -------------------------------------------------------------------------------- /asn1crt/asn1crt_encoding_xer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/asn1crt_encoding_xer.h -------------------------------------------------------------------------------- /asn1crt/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/ber.c -------------------------------------------------------------------------------- /asn1crt/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/real.c -------------------------------------------------------------------------------- /asn1crt/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1crt/xer.c -------------------------------------------------------------------------------- /asn1scala/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scala/.gitignore -------------------------------------------------------------------------------- /asn1scala/bitStream_genc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scala/bitStream_genc.sh -------------------------------------------------------------------------------- /asn1scala/build.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scala/build.sbt -------------------------------------------------------------------------------- /asn1scala/project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.8.3 2 | -------------------------------------------------------------------------------- /asn1scala/stainless.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scala/stainless.conf -------------------------------------------------------------------------------- /asn1scala/used_acn_functions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scala/used_acn_functions.txt -------------------------------------------------------------------------------- /asn1scala/verify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scala/verify.sh -------------------------------------------------------------------------------- /asn1scala/verify_acn_used_fcts.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scala/verify_acn_used_fcts.sh -------------------------------------------------------------------------------- /asn1scala/verify_bitStream.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scala/verify_bitStream.sh -------------------------------------------------------------------------------- /asn1scala/verify_without_codec.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scala/verify_without_codec.sh -------------------------------------------------------------------------------- /asn1scc.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scc.sln -------------------------------------------------------------------------------- /asn1scc/GenerateRTL.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scc/GenerateRTL.fs -------------------------------------------------------------------------------- /asn1scc/Program.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scc/Program.fs -------------------------------------------------------------------------------- /asn1scc/Properties/launchSettings_ACN.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scc/Properties/launchSettings_ACN.json -------------------------------------------------------------------------------- /asn1scc/asn1scc.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/asn1scc/asn1scc.fsproj -------------------------------------------------------------------------------- /circleci-build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/circleci-build.sh -------------------------------------------------------------------------------- /contrib/DATE-TIME.ASN1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/contrib/DATE-TIME.ASN1 -------------------------------------------------------------------------------- /contrib/cdt/asn1crt/.cproject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/contrib/cdt/asn1crt/.cproject -------------------------------------------------------------------------------- /contrib/cdt/asn1crt/.gitignore: -------------------------------------------------------------------------------- 1 | /Debug/ 2 | /Release/ 3 | -------------------------------------------------------------------------------- /contrib/cdt/asn1crt/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/contrib/cdt/asn1crt/.project -------------------------------------------------------------------------------- /contrib/cmake/FindAsn1scc.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/contrib/cmake/FindAsn1scc.cmake -------------------------------------------------------------------------------- /contrib/cmake/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/contrib/cmake/README.md -------------------------------------------------------------------------------- /contrib/icd_uper_latex.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/contrib/icd_uper_latex.stg -------------------------------------------------------------------------------- /contrib/prepare_debian_package.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/contrib/prepare_debian_package.sh -------------------------------------------------------------------------------- /contrib/vdm.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/contrib/vdm.stg -------------------------------------------------------------------------------- /contrib/vim_syntax/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/contrib/vim_syntax/README -------------------------------------------------------------------------------- /contrib/vim_syntax/acn.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/contrib/vim_syntax/acn.vim -------------------------------------------------------------------------------- /contrib/vim_syntax/acn_ftdetect.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/contrib/vim_syntax/acn_ftdetect.vim -------------------------------------------------------------------------------- /delete-obsolete-fs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/delete-obsolete-fs.sh -------------------------------------------------------------------------------- /details-docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/README.md -------------------------------------------------------------------------------- /details-docs/architecture/components.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/architecture/components.md -------------------------------------------------------------------------------- /details-docs/architecture/type-system.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/architecture/type-system.md -------------------------------------------------------------------------------- /details-docs/asn1/IA5String-values.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/asn1/IA5String-values.md -------------------------------------------------------------------------------- /details-docs/backend/XER.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/backend/XER.md -------------------------------------------------------------------------------- /details-docs/backend/acn/save-position.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/backend/acn/save-position.md -------------------------------------------------------------------------------- /details-docs/backend/init-and-autotests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/backend/init-and-autotests.md -------------------------------------------------------------------------------- /details-docs/backend/overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/backend/overview.md -------------------------------------------------------------------------------- /details-docs/common/overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/common/overview.md -------------------------------------------------------------------------------- /details-docs/frontend/ast-builders.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/frontend/ast-builders.md -------------------------------------------------------------------------------- /details-docs/frontend/validations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/frontend/validations.md -------------------------------------------------------------------------------- /details-docs/parsers/antlr-acn.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/parsers/antlr-acn.md -------------------------------------------------------------------------------- /details-docs/parsers/antlr-asn1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/parsers/antlr-asn1.md -------------------------------------------------------------------------------- /details-docs/templates/overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/details-docs/templates/overview.md -------------------------------------------------------------------------------- /detect_obsolete_fs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/detect_obsolete_fs.sh -------------------------------------------------------------------------------- /github-build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-build.sh -------------------------------------------------------------------------------- /github-issues/issue0149/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue0149/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue0150/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue0150/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue0151/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue0151/a.acn -------------------------------------------------------------------------------- /github-issues/issue0151/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue0151/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue113/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue113/a.acn -------------------------------------------------------------------------------- /github-issues/issue113/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue113/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue113/acn.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue113/acn.css -------------------------------------------------------------------------------- /github-issues/issue113/acn.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue113/acn.html -------------------------------------------------------------------------------- /github-issues/issue113/uper.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue113/uper.html -------------------------------------------------------------------------------- /github-issues/issue121/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue121/a.acn -------------------------------------------------------------------------------- /github-issues/issue121/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue121/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue122/a.acn: -------------------------------------------------------------------------------- 1 | TESTMODULE DEFINITIONS ::= BEGIN 2 | 3 | Positive[encoding ASCII, size null-terminated] 4 | 5 | END -------------------------------------------------------------------------------- /github-issues/issue122/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue122/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue123/a.acn: -------------------------------------------------------------------------------- 1 | TESTMODULE DEFINITIONS ::= BEGIN 2 | 3 | Positive[encoding ASCII, size null-terminated] 4 | 5 | END -------------------------------------------------------------------------------- /github-issues/issue123/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue123/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue154/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue154/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue155/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue155/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue156/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue156/a.acn -------------------------------------------------------------------------------- /github-issues/issue156/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue156/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue156/after.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue156/after.xml -------------------------------------------------------------------------------- /github-issues/issue156/before.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue156/before.xml -------------------------------------------------------------------------------- /github-issues/issue163/a.acn: -------------------------------------------------------------------------------- 1 | MyModel DEFINITIONS ::= BEGIN 2 | 3 | MyEnum [encode-values] 4 | 5 | END -------------------------------------------------------------------------------- /github-issues/issue163/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue163/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue163/ast.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue163/ast.xml -------------------------------------------------------------------------------- /github-issues/issue165/a.acn: -------------------------------------------------------------------------------- 1 | MyModel DEFINITIONS ::= BEGIN 2 | 3 | MyEnum [encode-values] 4 | 5 | END -------------------------------------------------------------------------------- /github-issues/issue165/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue165/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue165/ast33.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue165/ast33.xml -------------------------------------------------------------------------------- /github-issues/issue167/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue167/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue168/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue168/after.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/after.html -------------------------------------------------------------------------------- /github-issues/issue168/before.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/before.html -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/Makefile -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/VsProject.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/VsProject.sln -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/a.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/a.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/a.h -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/a_auto_tcs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/a_auto_tcs.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/a_auto_tcs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/a_auto_tcs.h -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/acn.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/asn1crt.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/asn1crt.h -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/mainprogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/mainprogram.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/real.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/testsuite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/testsuite.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out1/testsuite.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out1/testsuite.h -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/Makefile -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/VsProject.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/VsProject.sln -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/a.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/a.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/a.h -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/a_auto_tcs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/a_auto_tcs.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/a_auto_tcs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/a_auto_tcs.h -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/acn.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/asn1crt.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/asn1crt.h -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/mainprogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/mainprogram.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/real.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/testsuite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/testsuite.c -------------------------------------------------------------------------------- /github-issues/issue168/c_out2/testsuite.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue168/c_out2/testsuite.h -------------------------------------------------------------------------------- /github-issues/issue169/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue169/a.asn1 -------------------------------------------------------------------------------- /github-issues/issue186/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/github-issues/issue186/a.asn1 -------------------------------------------------------------------------------- /local-build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/local-build.sh -------------------------------------------------------------------------------- /lsp/Client/.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/.gitattributes -------------------------------------------------------------------------------- /lsp/Client/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/.gitignore -------------------------------------------------------------------------------- /lsp/Client/.vs/VSWorkspaceState.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/.vs/VSWorkspaceState.json -------------------------------------------------------------------------------- /lsp/Client/.vs/slnx.sqlite: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/.vs/slnx.sqlite -------------------------------------------------------------------------------- /lsp/Client/.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/.vscode/launch.json -------------------------------------------------------------------------------- /lsp/Client/.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/.vscode/settings.json -------------------------------------------------------------------------------- /lsp/Client/.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/.vscode/tasks.json -------------------------------------------------------------------------------- /lsp/Client/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/.vscodeignore -------------------------------------------------------------------------------- /lsp/Client/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/CHANGELOG.md -------------------------------------------------------------------------------- /lsp/Client/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/README.md -------------------------------------------------------------------------------- /lsp/Client/client/package.json: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lsp/Client/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/package-lock.json -------------------------------------------------------------------------------- /lsp/Client/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/package.json -------------------------------------------------------------------------------- /lsp/Client/src/extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/src/extension.ts -------------------------------------------------------------------------------- /lsp/Client/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/tsconfig.json -------------------------------------------------------------------------------- /lsp/Client/vsc-extension-quickstart.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Client/vsc-extension-quickstart.md -------------------------------------------------------------------------------- /lsp/Server/Server.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Server/Server.sln -------------------------------------------------------------------------------- /lsp/Server/Server/Helpers.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Server/Server/Helpers.cs -------------------------------------------------------------------------------- /lsp/Server/Server/LspHandlers.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Server/Server/LspHandlers.cs -------------------------------------------------------------------------------- /lsp/Server/Server/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Server/Server/Program.cs -------------------------------------------------------------------------------- /lsp/Server/Server/Server.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Server/Server/Server.csproj -------------------------------------------------------------------------------- /lsp/Server/Server/TextSync.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/lsp/Server/Server/TextSync.cs -------------------------------------------------------------------------------- /make_new_release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/make_new_release.sh -------------------------------------------------------------------------------- /mantis/0000374/MY_MODULE.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000374/MY_MODULE.asn -------------------------------------------------------------------------------- /mantis/0000374/python.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000374/python.stg -------------------------------------------------------------------------------- /mantis/0000375/D1.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000375/D1.asn -------------------------------------------------------------------------------- /mantis/0000377/D1.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000377/D1.asn -------------------------------------------------------------------------------- /mantis/0000377/D2.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000377/D2.asn -------------------------------------------------------------------------------- /mantis/0000400/D1.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000400/D1.asn -------------------------------------------------------------------------------- /mantis/0000408/D1.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/D1.asn -------------------------------------------------------------------------------- /mantis/0000408/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/a.asn1 -------------------------------------------------------------------------------- /mantis/0000408/out.before/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out.before/a.c -------------------------------------------------------------------------------- /mantis/0000408/out.before/a.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out.before/a.h -------------------------------------------------------------------------------- /mantis/0000408/out.before/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out.before/acn.c -------------------------------------------------------------------------------- /mantis/0000408/out.before/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out.before/asn1crt.c -------------------------------------------------------------------------------- /mantis/0000408/out.before/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out.before/asn1crt.h -------------------------------------------------------------------------------- /mantis/0000408/out.before/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out.before/ber.c -------------------------------------------------------------------------------- /mantis/0000408/out.before/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out.before/real.c -------------------------------------------------------------------------------- /mantis/0000408/out.before/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out.before/xer.c -------------------------------------------------------------------------------- /mantis/0000408/out/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out/a.c -------------------------------------------------------------------------------- /mantis/0000408/out/a.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out/a.h -------------------------------------------------------------------------------- /mantis/0000408/out/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out/acn.c -------------------------------------------------------------------------------- /mantis/0000408/out/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out/asn1crt.c -------------------------------------------------------------------------------- /mantis/0000408/out/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out/asn1crt.h -------------------------------------------------------------------------------- /mantis/0000408/out/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out/ber.c -------------------------------------------------------------------------------- /mantis/0000408/out/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out/real.c -------------------------------------------------------------------------------- /mantis/0000408/out/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out/xer.c -------------------------------------------------------------------------------- /mantis/0000408/out2/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out2/a.c -------------------------------------------------------------------------------- /mantis/0000408/out2/a.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out2/a.h -------------------------------------------------------------------------------- /mantis/0000408/out2/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out2/acn.c -------------------------------------------------------------------------------- /mantis/0000408/out2/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out2/asn1crt.c -------------------------------------------------------------------------------- /mantis/0000408/out2/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out2/asn1crt.h -------------------------------------------------------------------------------- /mantis/0000408/out2/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out2/ber.c -------------------------------------------------------------------------------- /mantis/0000408/out2/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out2/real.c -------------------------------------------------------------------------------- /mantis/0000408/out2/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000408/out2/xer.c -------------------------------------------------------------------------------- /mantis/0000410/PUS.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000410/PUS.acn -------------------------------------------------------------------------------- /mantis/0000410/PUS.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000410/PUS.asn1 -------------------------------------------------------------------------------- /mantis/0000410/out2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000410/out2/Makefile -------------------------------------------------------------------------------- /mantis/0000410/out2/mainprogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000410/out2/mainprogram.c -------------------------------------------------------------------------------- /mantis/0000410/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000410/run.sh -------------------------------------------------------------------------------- /mantis/0000411/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/a.asn1 -------------------------------------------------------------------------------- /mantis/0000411/b.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/b.asn1 -------------------------------------------------------------------------------- /mantis/0000411/before/a_ada_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_ada_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/before/a_ada_out/gnat.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_ada_out/gnat.cfg -------------------------------------------------------------------------------- /mantis/0000411/before/a_ada_out/mod1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_ada_out/mod1.adb -------------------------------------------------------------------------------- /mantis/0000411/before/a_ada_out/mod1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_ada_out/mod1.ads -------------------------------------------------------------------------------- /mantis/0000411/before/a_ada_out/runSpark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_ada_out/runSpark.sh -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/a.c -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/a.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/a.h -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/a_auto_tcs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/a_auto_tcs.c -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/a_auto_tcs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/a_auto_tcs.h -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/acn.c -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/asn1crt.c -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/asn1crt.h -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/ber.c -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/mainprogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/mainprogram.c -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/real.c -------------------------------------------------------------------------------- /mantis/0000411/before/a_c_out/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/a_c_out/xer.c -------------------------------------------------------------------------------- /mantis/0000411/before/b_ada_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_ada_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/before/b_ada_out/gnat.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_ada_out/gnat.cfg -------------------------------------------------------------------------------- /mantis/0000411/before/b_ada_out/mod1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_ada_out/mod1.adb -------------------------------------------------------------------------------- /mantis/0000411/before/b_ada_out/mod1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_ada_out/mod1.ads -------------------------------------------------------------------------------- /mantis/0000411/before/b_ada_out/runSpark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_ada_out/runSpark.sh -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/acn.c -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/asn1crt.c -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/asn1crt.h -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/b.c -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/b.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/b.h -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/b_auto_tcs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/b_auto_tcs.c -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/b_auto_tcs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/b_auto_tcs.h -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/ber.c -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/mainprogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/mainprogram.c -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/real.c -------------------------------------------------------------------------------- /mantis/0000411/before/b_c_out/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/before/b_c_out/xer.c -------------------------------------------------------------------------------- /mantis/0000411/c.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/c.asn1 -------------------------------------------------------------------------------- /mantis/0000411/def/a_ada_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_ada_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/def/a_ada_out/adaasn1rtl.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_ada_out/adaasn1rtl.adb -------------------------------------------------------------------------------- /mantis/0000411/def/a_ada_out/adaasn1rtl.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_ada_out/adaasn1rtl.ads -------------------------------------------------------------------------------- /mantis/0000411/def/a_ada_out/gnat.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_ada_out/gnat.cfg -------------------------------------------------------------------------------- /mantis/0000411/def/a_ada_out/mod1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_ada_out/mod1.adb -------------------------------------------------------------------------------- /mantis/0000411/def/a_ada_out/mod1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_ada_out/mod1.ads -------------------------------------------------------------------------------- /mantis/0000411/def/a_ada_out/runSpark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_ada_out/runSpark.sh -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/a.c -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/a.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/a.h -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/a_auto_tcs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/a_auto_tcs.c -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/a_auto_tcs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/a_auto_tcs.h -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/acn.c -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/asn1crt.c -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/asn1crt.h -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/ber.c -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/mainprogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/mainprogram.c -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/real.c -------------------------------------------------------------------------------- /mantis/0000411/def/a_c_out/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/a_c_out/xer.c -------------------------------------------------------------------------------- /mantis/0000411/def/b_ada_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_ada_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/def/b_ada_out/adaasn1rtl.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_ada_out/adaasn1rtl.adb -------------------------------------------------------------------------------- /mantis/0000411/def/b_ada_out/adaasn1rtl.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_ada_out/adaasn1rtl.ads -------------------------------------------------------------------------------- /mantis/0000411/def/b_ada_out/gnat.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_ada_out/gnat.cfg -------------------------------------------------------------------------------- /mantis/0000411/def/b_ada_out/mod1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_ada_out/mod1.adb -------------------------------------------------------------------------------- /mantis/0000411/def/b_ada_out/mod1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_ada_out/mod1.ads -------------------------------------------------------------------------------- /mantis/0000411/def/b_ada_out/runSpark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_ada_out/runSpark.sh -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/acn.c -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/asn1crt.c -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/asn1crt.h -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/b.c -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/b.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/b.h -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/b_auto_tcs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/b_auto_tcs.c -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/b_auto_tcs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/b_auto_tcs.h -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/ber.c -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/mainprogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/mainprogram.c -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/real.c -------------------------------------------------------------------------------- /mantis/0000411/def/b_c_out/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/def/b_c_out/xer.c -------------------------------------------------------------------------------- /mantis/0000411/p0/a_ada_out/GPS_project.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/a_ada_out/GPS_project.gpr -------------------------------------------------------------------------------- /mantis/0000411/p0/a_ada_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/a_ada_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/p0/a_ada_out/adaasn1rtl.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/a_ada_out/adaasn1rtl.adb -------------------------------------------------------------------------------- /mantis/0000411/p0/a_ada_out/adaasn1rtl.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/a_ada_out/adaasn1rtl.ads -------------------------------------------------------------------------------- /mantis/0000411/p0/a_ada_out/gnat.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/a_ada_out/gnat.cfg -------------------------------------------------------------------------------- /mantis/0000411/p0/a_ada_out/mainprogram.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/a_ada_out/mainprogram.adb -------------------------------------------------------------------------------- /mantis/0000411/p0/a_ada_out/mod1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/a_ada_out/mod1.adb -------------------------------------------------------------------------------- /mantis/0000411/p0/a_ada_out/mod1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/a_ada_out/mod1.ads -------------------------------------------------------------------------------- /mantis/0000411/p0/a_ada_out/runSpark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/a_ada_out/runSpark.sh -------------------------------------------------------------------------------- /mantis/0000411/p0/b_ada_out/GPS_project.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/b_ada_out/GPS_project.gpr -------------------------------------------------------------------------------- /mantis/0000411/p0/b_ada_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/b_ada_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/p0/b_ada_out/adaasn1rtl.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/b_ada_out/adaasn1rtl.adb -------------------------------------------------------------------------------- /mantis/0000411/p0/b_ada_out/adaasn1rtl.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/b_ada_out/adaasn1rtl.ads -------------------------------------------------------------------------------- /mantis/0000411/p0/b_ada_out/gnat.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/b_ada_out/gnat.cfg -------------------------------------------------------------------------------- /mantis/0000411/p0/b_ada_out/mainprogram.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/b_ada_out/mainprogram.adb -------------------------------------------------------------------------------- /mantis/0000411/p0/b_ada_out/mod1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/b_ada_out/mod1.adb -------------------------------------------------------------------------------- /mantis/0000411/p0/b_ada_out/mod1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/b_ada_out/mod1.ads -------------------------------------------------------------------------------- /mantis/0000411/p0/b_ada_out/runSpark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p0/b_ada_out/runSpark.sh -------------------------------------------------------------------------------- /mantis/0000411/p1/a_ada_out/GPS_project.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_ada_out/GPS_project.gpr -------------------------------------------------------------------------------- /mantis/0000411/p1/a_ada_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_ada_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/p1/a_ada_out/adaasn1rtl.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_ada_out/adaasn1rtl.adb -------------------------------------------------------------------------------- /mantis/0000411/p1/a_ada_out/adaasn1rtl.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_ada_out/adaasn1rtl.ads -------------------------------------------------------------------------------- /mantis/0000411/p1/a_ada_out/gnat.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_ada_out/gnat.cfg -------------------------------------------------------------------------------- /mantis/0000411/p1/a_ada_out/mainprogram.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_ada_out/mainprogram.adb -------------------------------------------------------------------------------- /mantis/0000411/p1/a_ada_out/mod1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_ada_out/mod1.adb -------------------------------------------------------------------------------- /mantis/0000411/p1/a_ada_out/mod1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_ada_out/mod1.ads -------------------------------------------------------------------------------- /mantis/0000411/p1/a_ada_out/runSpark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_ada_out/runSpark.sh -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/a.c -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/a.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/a.h -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/a_auto_tcs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/a_auto_tcs.c -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/a_auto_tcs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/a_auto_tcs.h -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/acn.c -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/asn1crt.c -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/asn1crt.h -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/ber.c -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/mainprogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/mainprogram.c -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/real.c -------------------------------------------------------------------------------- /mantis/0000411/p1/a_c_out/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/a_c_out/xer.c -------------------------------------------------------------------------------- /mantis/0000411/p1/b_ada_out/GPS_project.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_ada_out/GPS_project.gpr -------------------------------------------------------------------------------- /mantis/0000411/p1/b_ada_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_ada_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/p1/b_ada_out/adaasn1rtl.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_ada_out/adaasn1rtl.adb -------------------------------------------------------------------------------- /mantis/0000411/p1/b_ada_out/adaasn1rtl.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_ada_out/adaasn1rtl.ads -------------------------------------------------------------------------------- /mantis/0000411/p1/b_ada_out/gnat.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_ada_out/gnat.cfg -------------------------------------------------------------------------------- /mantis/0000411/p1/b_ada_out/mainprogram.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_ada_out/mainprogram.adb -------------------------------------------------------------------------------- /mantis/0000411/p1/b_ada_out/mod1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_ada_out/mod1.adb -------------------------------------------------------------------------------- /mantis/0000411/p1/b_ada_out/mod1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_ada_out/mod1.ads -------------------------------------------------------------------------------- /mantis/0000411/p1/b_ada_out/runSpark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_ada_out/runSpark.sh -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/acn.c -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/asn1crt.c -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/asn1crt.h -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/b.c -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/b.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/b.h -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/b_auto_tcs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/b_auto_tcs.c -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/b_auto_tcs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/b_auto_tcs.h -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/ber.c -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/mainprogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/mainprogram.c -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/real.c -------------------------------------------------------------------------------- /mantis/0000411/p1/b_c_out/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p1/b_c_out/xer.c -------------------------------------------------------------------------------- /mantis/0000411/p2/a_ada_out/GPS_project.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_ada_out/GPS_project.gpr -------------------------------------------------------------------------------- /mantis/0000411/p2/a_ada_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_ada_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/p2/a_ada_out/adaasn1rtl.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_ada_out/adaasn1rtl.adb -------------------------------------------------------------------------------- /mantis/0000411/p2/a_ada_out/adaasn1rtl.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_ada_out/adaasn1rtl.ads -------------------------------------------------------------------------------- /mantis/0000411/p2/a_ada_out/gnat.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_ada_out/gnat.cfg -------------------------------------------------------------------------------- /mantis/0000411/p2/a_ada_out/mainprogram.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_ada_out/mainprogram.adb -------------------------------------------------------------------------------- /mantis/0000411/p2/a_ada_out/mod1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_ada_out/mod1.adb -------------------------------------------------------------------------------- /mantis/0000411/p2/a_ada_out/mod1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_ada_out/mod1.ads -------------------------------------------------------------------------------- /mantis/0000411/p2/a_ada_out/runSpark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_ada_out/runSpark.sh -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/a.c -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/a.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/a.h -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/a_auto_tcs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/a_auto_tcs.c -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/a_auto_tcs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/a_auto_tcs.h -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/acn.c -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/asn1crt.c -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/asn1crt.h -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/ber.c -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/mainprogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/mainprogram.c -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/real.c -------------------------------------------------------------------------------- /mantis/0000411/p2/a_c_out/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/a_c_out/xer.c -------------------------------------------------------------------------------- /mantis/0000411/p2/b_ada_out/GPS_project.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_ada_out/GPS_project.gpr -------------------------------------------------------------------------------- /mantis/0000411/p2/b_ada_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_ada_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/p2/b_ada_out/adaasn1rtl.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_ada_out/adaasn1rtl.adb -------------------------------------------------------------------------------- /mantis/0000411/p2/b_ada_out/adaasn1rtl.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_ada_out/adaasn1rtl.ads -------------------------------------------------------------------------------- /mantis/0000411/p2/b_ada_out/gnat.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_ada_out/gnat.cfg -------------------------------------------------------------------------------- /mantis/0000411/p2/b_ada_out/mainprogram.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_ada_out/mainprogram.adb -------------------------------------------------------------------------------- /mantis/0000411/p2/b_ada_out/mod1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_ada_out/mod1.adb -------------------------------------------------------------------------------- /mantis/0000411/p2/b_ada_out/mod1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_ada_out/mod1.ads -------------------------------------------------------------------------------- /mantis/0000411/p2/b_ada_out/runSpark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_ada_out/runSpark.sh -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/Makefile -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/acn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/acn.c -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/asn1crt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/asn1crt.c -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/asn1crt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/asn1crt.h -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/b.c -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/b.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/b.h -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/b_auto_tcs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/b_auto_tcs.c -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/b_auto_tcs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/b_auto_tcs.h -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/ber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/ber.c -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/mainprogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/mainprogram.c -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/real.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/real.c -------------------------------------------------------------------------------- /mantis/0000411/p2/b_c_out/xer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/p2/b_c_out/xer.c -------------------------------------------------------------------------------- /mantis/0000411/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000411/run.sh -------------------------------------------------------------------------------- /mantis/0000412/02-PUS.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000412/02-PUS.acn -------------------------------------------------------------------------------- /mantis/0000412/02-PUS.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000412/02-PUS.asn1 -------------------------------------------------------------------------------- /mantis/0000412/output_before/02-PUS.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000412/output_before/02-PUS.c -------------------------------------------------------------------------------- /mantis/0000421/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000421/a.acn -------------------------------------------------------------------------------- /mantis/0000421/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000421/a.asn1 -------------------------------------------------------------------------------- /mantis/0000424/D1.asn: -------------------------------------------------------------------------------- 1 | MOD1 DEFINITIONS ::= 2 | 3 | BEGIN 4 | 5 | Something ::= ENUMERATED { a(1), b, c(2) } 6 | 7 | END 8 | 9 | -------------------------------------------------------------------------------- /mantis/0000426/D1.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000426/D1.asn -------------------------------------------------------------------------------- /mantis/0000426/D1_SE.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000426/D1_SE.asn -------------------------------------------------------------------------------- /mantis/0000426/D2.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000426/D2.asn -------------------------------------------------------------------------------- /mantis/0000426/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000426/readme.txt -------------------------------------------------------------------------------- /mantis/0000434/a.acn: -------------------------------------------------------------------------------- 1 | MY-MODULE DEFINITIONS ::= BEGIN 2 | 3 | Packet[] 4 | 5 | 6 | END -------------------------------------------------------------------------------- /mantis/0000434/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000434/a.asn1 -------------------------------------------------------------------------------- /mantis/0000434/a.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000434/a.css -------------------------------------------------------------------------------- /mantis/0000434/a.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000434/a.html -------------------------------------------------------------------------------- /mantis/0000436/1.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000436/1.acn -------------------------------------------------------------------------------- /mantis/0000436/1.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000436/1.asn1 -------------------------------------------------------------------------------- /mantis/0000437/a.acn: -------------------------------------------------------------------------------- 1 | MY-MODULE DEFINITIONS ::= BEGIN 2 | 3 | Packet[] 4 | 5 | 6 | END -------------------------------------------------------------------------------- /mantis/0000437/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000437/a.asn1 -------------------------------------------------------------------------------- /mantis/0000440/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000440/a.asn1 -------------------------------------------------------------------------------- /mantis/0000440/a.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000440/a.html -------------------------------------------------------------------------------- /mantis/0000440/b.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000440/b.html -------------------------------------------------------------------------------- /mantis/0000442/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000442/a.asn1 -------------------------------------------------------------------------------- /mantis/0000442/stgfolder/generic.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000442/stgfolder/generic.stg -------------------------------------------------------------------------------- /mantis/0000445/03-TERMA.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000445/03-TERMA.asn1 -------------------------------------------------------------------------------- /mantis/0000445/a.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000445/a.xml -------------------------------------------------------------------------------- /mantis/0000448/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000448/a.asn1 -------------------------------------------------------------------------------- /mantis/0000455/DV_PUSC.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000455/DV_PUSC.asn -------------------------------------------------------------------------------- /mantis/0000456/DV_PUSC.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000456/DV_PUSC.asn -------------------------------------------------------------------------------- /mantis/0000460 - Support for empty sequences/empty_seq.acn: -------------------------------------------------------------------------------- 1 | MYMOD DEFINITIONS ::= 2 | BEGIN 3 | 4 | 5 | END 6 | 7 | -------------------------------------------------------------------------------- /mantis/0000482/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000482/a.asn1 -------------------------------------------------------------------------------- /mantis/0000491/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000491/a.acn -------------------------------------------------------------------------------- /mantis/0000491/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000491/a.asn1 -------------------------------------------------------------------------------- /mantis/0000491/mapFunctions.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000491/mapFunctions.adb -------------------------------------------------------------------------------- /mantis/0000491/mapFunctions.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000491/mapFunctions.ads -------------------------------------------------------------------------------- /mantis/0000491/mapFunctions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000491/mapFunctions.c -------------------------------------------------------------------------------- /mantis/0000491/mapFunctions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000491/mapFunctions.h -------------------------------------------------------------------------------- /mantis/0000492/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000492/a.acn -------------------------------------------------------------------------------- /mantis/0000492/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000492/a.asn1 -------------------------------------------------------------------------------- /mantis/0000492/before/toto.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000492/before/toto.css -------------------------------------------------------------------------------- /mantis/0000492/before/toto.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000492/before/toto.html -------------------------------------------------------------------------------- /mantis/0000498/icd.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000498/icd.asn1 -------------------------------------------------------------------------------- /mantis/0000500/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000500/a.asn1 -------------------------------------------------------------------------------- /mantis/0000501/dataview.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000501/dataview.asn -------------------------------------------------------------------------------- /mantis/0000526/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000526/a.acn -------------------------------------------------------------------------------- /mantis/0000526/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000526/a.asn1 -------------------------------------------------------------------------------- /mantis/0000527/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000527/a.asn1 -------------------------------------------------------------------------------- /mantis/0000534/DataView.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000534/DataView.asn -------------------------------------------------------------------------------- /mantis/0000535/DataView.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000535/DataView.asn -------------------------------------------------------------------------------- /mantis/0000536/DataView.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000536/DataView.asn -------------------------------------------------------------------------------- /mantis/0000539/dataview-uniq.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000539/dataview-uniq.acn -------------------------------------------------------------------------------- /mantis/0000539/dataview-uniq.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000539/dataview-uniq.asn -------------------------------------------------------------------------------- /mantis/0000543/DataView.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000543/DataView.acn -------------------------------------------------------------------------------- /mantis/0000543/DataView.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000543/DataView.asn -------------------------------------------------------------------------------- /mantis/0000543/icd/DataView.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000543/icd/DataView.acn -------------------------------------------------------------------------------- /mantis/0000543/icd/DataView.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000543/icd/DataView.asn -------------------------------------------------------------------------------- /mantis/0000545/DataView.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000545/DataView.acn -------------------------------------------------------------------------------- /mantis/0000545/DataView.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000545/DataView.asn -------------------------------------------------------------------------------- /mantis/0000562/DataTypesSimulink.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000562/DataTypesSimulink.asn -------------------------------------------------------------------------------- /mantis/0000562/a.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000562/a.asn -------------------------------------------------------------------------------- /mantis/0000563/a.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000563/a.asn -------------------------------------------------------------------------------- /mantis/0000565/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000565/a.acn -------------------------------------------------------------------------------- /mantis/0000565/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000565/a.asn1 -------------------------------------------------------------------------------- /mantis/0000565/acn.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000565/acn.css -------------------------------------------------------------------------------- /mantis/0000565/acn.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000565/acn.html -------------------------------------------------------------------------------- /mantis/0000565/uper.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000565/uper.html -------------------------------------------------------------------------------- /mantis/0000577/dataview-uniq.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000577/dataview-uniq.asn -------------------------------------------------------------------------------- /mantis/0000579/context.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000579/context.asn1 -------------------------------------------------------------------------------- /mantis/0000579/dataview-uniq.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000579/dataview-uniq.asn1 -------------------------------------------------------------------------------- /mantis/0000580/dataview.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000580/dataview.asn -------------------------------------------------------------------------------- /mantis/0000580/dataview2.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000580/dataview2.asn -------------------------------------------------------------------------------- /mantis/0000593/dataview.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000593/dataview.asn -------------------------------------------------------------------------------- /mantis/0000594/dataview.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000594/dataview.asn -------------------------------------------------------------------------------- /mantis/0000595/crash.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000595/crash.acn -------------------------------------------------------------------------------- /mantis/0000595/crash.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000595/crash.asn -------------------------------------------------------------------------------- /mantis/0000600/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000600/a.asn1 -------------------------------------------------------------------------------- /mantis/0000600/a3.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000600/a3.asn1 -------------------------------------------------------------------------------- /mantis/0000600/b.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000600/b.asn1 -------------------------------------------------------------------------------- /mantis/0000650/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000650/a.asn1 -------------------------------------------------------------------------------- /mantis/0000651/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000651/a.asn1 -------------------------------------------------------------------------------- /mantis/0000677/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000677/a.asn1 -------------------------------------------------------------------------------- /mantis/0000677/b.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000677/b.asn1 -------------------------------------------------------------------------------- /mantis/0000703/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000703/a.asn1 -------------------------------------------------------------------------------- /mantis/0000716/a.acn: -------------------------------------------------------------------------------- 1 | TEST-CASE DEFINITIONS ::= BEGIN 2 | INT10 [size 10, encoding pos-int] 3 | END 4 | 5 | 6 | -------------------------------------------------------------------------------- /mantis/0000716/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000716/a.asn1 -------------------------------------------------------------------------------- /mantis/0000724/DataTypesSimulink.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000724/DataTypesSimulink.asn -------------------------------------------------------------------------------- /mantis/0000733/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000733/a.acn -------------------------------------------------------------------------------- /mantis/0000733/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000733/a.asn1 -------------------------------------------------------------------------------- /mantis/0000736/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000736/a.acn -------------------------------------------------------------------------------- /mantis/0000736/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000736/a.asn1 -------------------------------------------------------------------------------- /mantis/0000769/defs1.asn1: -------------------------------------------------------------------------------- 1 | DEFS1 DEFINITIONS ::= 2 | BEGIN 3 | 4 | MyDef1Enum ::= ENUMERATED {a, b, c} 5 | 6 | END -------------------------------------------------------------------------------- /mantis/0000769/defs2.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000769/defs2.asn1 -------------------------------------------------------------------------------- /mantis/0000769/defs3.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000769/defs3.asn1 -------------------------------------------------------------------------------- /mantis/0000776/PUS.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000776/PUS.acn -------------------------------------------------------------------------------- /mantis/0000776/PUS.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000776/PUS.asn1 -------------------------------------------------------------------------------- /mantis/0000776/command.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000776/command.txt -------------------------------------------------------------------------------- /mantis/0000777/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000777/a.acn -------------------------------------------------------------------------------- /mantis/0000777/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000777/a.asn1 -------------------------------------------------------------------------------- /mantis/0000777/c_o/milbus2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000777/c_o/milbus2.c -------------------------------------------------------------------------------- /mantis/0000777/c_o/milbus2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000777/c_o/milbus2.h -------------------------------------------------------------------------------- /mantis/0000777/commant.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000777/commant.txt -------------------------------------------------------------------------------- /mantis/0000780/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000780/readme.txt -------------------------------------------------------------------------------- /mantis/0000782/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000782/a.asn1 -------------------------------------------------------------------------------- /mantis/0000783/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000783/a.asn1 -------------------------------------------------------------------------------- /mantis/0000786/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000786/a.asn1 -------------------------------------------------------------------------------- /mantis/0000787/dataview-uniq.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000787/dataview-uniq.asn -------------------------------------------------------------------------------- /mantis/0000794/a.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000794/a.asn -------------------------------------------------------------------------------- /mantis/0000806/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000806/a.asn1 -------------------------------------------------------------------------------- /mantis/0000807/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000807/a.acn -------------------------------------------------------------------------------- /mantis/0000807/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000807/a.asn1 -------------------------------------------------------------------------------- /mantis/0000808/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000808/a.acn -------------------------------------------------------------------------------- /mantis/0000808/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000808/a.asn1 -------------------------------------------------------------------------------- /mantis/0000808/acn.after.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000808/acn.after.html -------------------------------------------------------------------------------- /mantis/0000808/acn.before.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000808/acn.before.html -------------------------------------------------------------------------------- /mantis/0000808/acn.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000808/acn.css -------------------------------------------------------------------------------- /mantis/0000810/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000810/a.asn1 -------------------------------------------------------------------------------- /mantis/0000810/out2.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000810/out2.xml -------------------------------------------------------------------------------- /mantis/0000810/xml.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000810/xml.stg -------------------------------------------------------------------------------- /mantis/0000811/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000811/a.asn1 -------------------------------------------------------------------------------- /mantis/0000814/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000814/a.acn -------------------------------------------------------------------------------- /mantis/0000814/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000814/a.asn1 -------------------------------------------------------------------------------- /mantis/0000814/a.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000814/a.css -------------------------------------------------------------------------------- /mantis/0000814/a.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000814/a.html -------------------------------------------------------------------------------- /mantis/0000814/a1.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000814/a1.css -------------------------------------------------------------------------------- /mantis/0000814/a1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000814/a1.html -------------------------------------------------------------------------------- /mantis/0000815/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000815/Makefile -------------------------------------------------------------------------------- /mantis/0000815/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000815/README -------------------------------------------------------------------------------- /mantis/0000815/dataview-uniq.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000815/dataview-uniq.asn -------------------------------------------------------------------------------- /mantis/0000815/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000815/test.c -------------------------------------------------------------------------------- /mantis/0000818/Dataview.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000818/Dataview.acn -------------------------------------------------------------------------------- /mantis/0000818/Dataview.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000818/Dataview.asn -------------------------------------------------------------------------------- /mantis/0000818/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000818/Makefile -------------------------------------------------------------------------------- /mantis/0000820/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000820/a.acn -------------------------------------------------------------------------------- /mantis/0000820/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000820/a.asn1 -------------------------------------------------------------------------------- /mantis/0000823/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000823/a.acn -------------------------------------------------------------------------------- /mantis/0000823/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000823/a.asn1 -------------------------------------------------------------------------------- /mantis/0000823/aaa2.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000823/aaa2.css -------------------------------------------------------------------------------- /mantis/0000823/aaa2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000823/aaa2.html -------------------------------------------------------------------------------- /mantis/0000824/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000824/a.acn -------------------------------------------------------------------------------- /mantis/0000824/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000824/a.asn1 -------------------------------------------------------------------------------- /mantis/0000824/a_out/postencoding.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000824/a_out/postencoding.adb -------------------------------------------------------------------------------- /mantis/0000824/a_out/postencoding.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000824/a_out/postencoding.ads -------------------------------------------------------------------------------- /mantis/0000824/c_out/postEncoding.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000824/c_out/postEncoding.c -------------------------------------------------------------------------------- /mantis/0000824/c_out/postEncoding.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000824/c_out/postEncoding.h -------------------------------------------------------------------------------- /mantis/0000824/command.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000824/command.txt -------------------------------------------------------------------------------- /mantis/0000854/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000854/a.asn1 -------------------------------------------------------------------------------- /mantis/0000864/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000864/a.asn1 -------------------------------------------------------------------------------- /mantis/0000872/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000872/a.asn1 -------------------------------------------------------------------------------- /mantis/0000872/out.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000872/out.css -------------------------------------------------------------------------------- /mantis/0000872/out.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000872/out.html -------------------------------------------------------------------------------- /mantis/0000872/out2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000872/out2.html -------------------------------------------------------------------------------- /mantis/0000872/out3.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000872/out3.css -------------------------------------------------------------------------------- /mantis/0000872/out3.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000872/out3.html -------------------------------------------------------------------------------- /mantis/0000872/report.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000872/report.txt -------------------------------------------------------------------------------- /mantis/0000873/AddedType_command.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000873/AddedType_command.txt -------------------------------------------------------------------------------- /mantis/0000873/HasAcnEncDecFunction.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000873/HasAcnEncDecFunction.acn -------------------------------------------------------------------------------- /mantis/0000873/HasAcnEncDecFunction.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000873/HasAcnEncDecFunction.asn1 -------------------------------------------------------------------------------- /mantis/0000873/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000873/a.asn1 -------------------------------------------------------------------------------- /mantis/0000873/ast.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000873/ast.xml -------------------------------------------------------------------------------- /mantis/0000873/ast1.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000873/ast1.xml -------------------------------------------------------------------------------- /mantis/0000873/ast4.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000873/ast4.xml -------------------------------------------------------------------------------- /mantis/0000873/xml.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000873/xml.stg -------------------------------------------------------------------------------- /mantis/0000888/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000888/a.acn -------------------------------------------------------------------------------- /mantis/0000888/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000888/a.asn1 -------------------------------------------------------------------------------- /mantis/0000890/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000890/a.asn1 -------------------------------------------------------------------------------- /mantis/0000893/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000893/a.asn1 -------------------------------------------------------------------------------- /mantis/0000911/apid2.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000911/apid2.acn -------------------------------------------------------------------------------- /mantis/0000911/apid2.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000911/apid2.asn -------------------------------------------------------------------------------- /mantis/0000911/ast.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000911/ast.xml -------------------------------------------------------------------------------- /mantis/0000911/backend_ast.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000911/backend_ast.xml -------------------------------------------------------------------------------- /mantis/0000911/doc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000911/doc.css -------------------------------------------------------------------------------- /mantis/0000911/doc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000911/doc.html -------------------------------------------------------------------------------- /mantis/0000928/a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000928/a.acn -------------------------------------------------------------------------------- /mantis/0000928/a.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/mantis/0000928/a.asn1 -------------------------------------------------------------------------------- /packages/Argu.3.7.0/Argu.3.7.0.nupkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/packages/Argu.3.7.0/Argu.3.7.0.nupkg -------------------------------------------------------------------------------- /packages/Argu.3.7.0/lib/net35/Argu.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/packages/Argu.3.7.0/lib/net35/Argu.XML -------------------------------------------------------------------------------- /packages/Argu.3.7.0/lib/net35/Argu.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/packages/Argu.3.7.0/lib/net35/Argu.dll -------------------------------------------------------------------------------- /packages/Argu.3.7.0/lib/net35/Argu.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/packages/Argu.3.7.0/lib/net35/Argu.pdb -------------------------------------------------------------------------------- /packages/Argu.3.7.0/lib/net40/Argu.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/packages/Argu.3.7.0/lib/net40/Argu.XML -------------------------------------------------------------------------------- /packages/Argu.3.7.0/lib/net40/Argu.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/packages/Argu.3.7.0/lib/net40/Argu.dll -------------------------------------------------------------------------------- /packages/Argu.3.7.0/lib/net40/Argu.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/packages/Argu.3.7.0/lib/net40/Argu.pdb -------------------------------------------------------------------------------- /parseStg2/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/parseStg2/Program.cs -------------------------------------------------------------------------------- /parseStg2/parseStg2.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/parseStg2/parseStg2.csproj -------------------------------------------------------------------------------- /regression/Program.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/regression/Program.fs -------------------------------------------------------------------------------- /regression/ShellProcess.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/regression/ShellProcess.fs -------------------------------------------------------------------------------- /regression/regression.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/regression/regression.fsproj -------------------------------------------------------------------------------- /run-local-build-using-docker-image.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/run-local-build-using-docker-image.sh -------------------------------------------------------------------------------- /runTestsUsingContainer.txt: -------------------------------------------------------------------------------- 1 | docker run -ti --rm -v ${PWD}:/src asn1scc_dev 2 | -------------------------------------------------------------------------------- /update.net_version.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/update.net_version.txt -------------------------------------------------------------------------------- /v4Tests-32/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests-32/Makefile -------------------------------------------------------------------------------- /v4Tests-32/scripts/runTests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests-32/scripts/runTests.py -------------------------------------------------------------------------------- /v4Tests-32/scripts/testXER.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests-32/scripts/testXER.py -------------------------------------------------------------------------------- /v4Tests/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /v4Tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/Makefile -------------------------------------------------------------------------------- /v4Tests/scripts/runMultiThread.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/scripts/runMultiThread.py -------------------------------------------------------------------------------- /v4Tests/scripts/runTests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/scripts/runTests.py -------------------------------------------------------------------------------- /v4Tests/scripts/runTests32.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/scripts/runTests32.py -------------------------------------------------------------------------------- /v4Tests/scripts/testXER.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/scripts/testXER.py -------------------------------------------------------------------------------- /v4Tests/test-cases-32/acn/02-REAL/001.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases-32/acn/02-REAL/001.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases-32/acn/02-REAL/002.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases-32/acn/02-REAL/002.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases-32/acn/02-REAL/003.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases-32/acn/02-REAL/003.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases-32/acn/02-REAL/004.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases-32/acn/02-REAL/004.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases-32/acn/09-CHOICE/011.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases-32/acn/09-CHOICE/011.acn -------------------------------------------------------------------------------- /v4Tests/test-cases-32/acn/10-SEQEUENCE/empty_seq.acn: -------------------------------------------------------------------------------- 1 | MYMOD DEFINITIONS ::= 2 | BEGIN 3 | 4 | 5 | END 6 | 7 | -------------------------------------------------------------------------------- /v4Tests/test-cases-32/acn/14-RealCases/06.acn: -------------------------------------------------------------------------------- 1 | TEST-CASE DEFINITIONS ::= BEGIN 2 | 3 | 4 | 5 | END 6 | -------------------------------------------------------------------------------- /v4Tests/test-cases-32/acn/16-mantis/01-keywords.acn: -------------------------------------------------------------------------------- 1 | TEST-CASE DEFINITIONS ::= 2 | BEGIN 3 | 4 | 5 | END 6 | 7 | -------------------------------------------------------------------------------- /v4Tests/test-cases-32/acn/16-mantis/02.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases-32/acn/16-mantis/02.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases-32/acn/18-NULL/001.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases-32/acn/18-NULL/001.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases-32/acn/18-NULL/002.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases-32/acn/18-NULL/002.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/01-INTEGER/001.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/01-INTEGER/001.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/01-INTEGER/002.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/01-INTEGER/002.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/01-INTEGER/003.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/01-INTEGER/003.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/01-INTEGER/004.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/01-INTEGER/004.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/01-INTEGER/005.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/01-INTEGER/005.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/01-INTEGER/006.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/01-INTEGER/006.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/01-INTEGER/007.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/01-INTEGER/007.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/01-INTEGER/008.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/01-INTEGER/008.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/01-INTEGER/009.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/01-INTEGER/009.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/02-REAL/001.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/02-REAL/001.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/02-REAL/002.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/02-REAL/002.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/02-REAL/003.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/02-REAL/003.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/02-REAL/004.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/02-REAL/004.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/02-REAL/005.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/02-REAL/005.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/02-REAL/006.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/02-REAL/006.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/05-BOOLEAN/001.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/05-BOOLEAN/001.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/05-BOOLEAN/002.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/05-BOOLEAN/002.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/05-BOOLEAN/003.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/05-BOOLEAN/003.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/001.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/001.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/002.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/002.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/003.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/003.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/004.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/004.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/005.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/005.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/006.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/006.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/007.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/007.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/008.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/008.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/009.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/009.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/010.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/010.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/011.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/011.acn -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/011.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/011.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/09-CHOICE/012.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/09-CHOICE/012.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/10-SEQEUENCE/empty_seq.acn: -------------------------------------------------------------------------------- 1 | MYMOD DEFINITIONS ::= 2 | BEGIN 3 | 4 | 5 | END 6 | 7 | -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_00.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_00.acn -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_00.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_00.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_01.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_01.acn -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_01.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_01.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_01a.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_01a.acn -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_02.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_02.acn -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_02.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_02.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_02b.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_02b.acn -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_03.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_03.acn -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_03.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_03.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_10.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_10.acn -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/001_10.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/001_10.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/004_00.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/004_00.acn -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/12-PARAM/004_00.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/12-PARAM/004_00.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/14-RealCases/04.asn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/14-RealCases/04.asn -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/14-RealCases/05.acn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/14-RealCases/05.acn -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/14-RealCases/05.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/14-RealCases/05.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/14-RealCases/06.acn: -------------------------------------------------------------------------------- 1 | TEST-CASE DEFINITIONS ::= BEGIN 2 | 3 | 4 | 5 | END 6 | -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/14-RealCases/dataview.acn: -------------------------------------------------------------------------------- 1 | 2 | TEST-CASE DEFINITIONS ::= BEGIN 3 | 4 | Seq [] 5 | 6 | END 7 | -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/16-mantis/01-keywords.acn: -------------------------------------------------------------------------------- 1 | TEST-CASE DEFINITIONS ::= 2 | BEGIN 3 | 4 | 5 | END 6 | 7 | -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/16-mantis/02.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/16-mantis/02.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/18-NULL/001.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/18-NULL/001.asn1 -------------------------------------------------------------------------------- /v4Tests/test-cases/acn/18-NULL/002.asn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/esa/asn1scc/HEAD/v4Tests/test-cases/acn/18-NULL/002.asn1 --------------------------------------------------------------------------------