Merge requests · oceandsl

Delete fxtran-parser

oceandsl-tools!61 · created Mar 15, 2023 by Reiner Jung
- Merged
- Approved
updated Mar 15, 2023
Fixed formatting

oceandsl-tools!60 · created Mar 15, 2023 by Reiner Jung
- Merged
updated Mar 15, 2023
Removed remaining Java 17 reference.

oceandsl-tools!59 · created Mar 15, 2023 by Reiner Jung
- Merged
- Approved
updated Mar 15, 2023
Moved back to Java 11

oceandsl-tools!58 · created Mar 15, 2023 by Reiner Jung
- Merged
updated Mar 15, 2023
Integrate fxca

oceandsl-tools!57 · created Mar 15, 2023 by Reiner Jung
- Merged
- Approved
updated Mar 15, 2023
Integrate fxca

oceandsl-tools!56 · created Mar 15, 2023 by Reiner Jung
- Closed
updated Mar 15, 2023
change the project setup to mvn pom package, added readme as instruction for...

bgc-dsl!1 · created Mar 06, 2023 by Armin Mackensen
updated Mar 13, 2023
Minor fix for null pointer exception when no statistics are requested.

oceandsl-tools!55 · created Feb 19, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 19, 2023
Minor fix for merge tool.

oceandsl-tools!54 · created Feb 19, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 19, 2023
Updated documentation and minor fixes.

oceandsl-tools!53 · created Feb 18, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 18, 2023
Update to new sar input format

oceandsl-tools!52 · created Feb 18, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 18, 2023
Fixed pipeline and handling of different setups.

oceandsl-tools!51 · created Feb 18, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 18, 2023
Update bundles/org.oceandsl.declaration/src/org/oceandsl/declaration/Declaration.xtext

cp-dsl!32 · created Feb 15, 2023 by Reiner Jung
- Merged
- Approved
updated Mar 06, 2023
Updated ignore feature to select specific metrics/statistics.

oceandsl-tools!50 · created Feb 10, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 10, 2023
Added the ability to ignore statistics outputs.

oceandsl-tools!49 · created Feb 10, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 10, 2023
Fixed issue with diff.

oceandsl-tools!48 · created Feb 10, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 10, 2023
Fixed missing statistics data. Also minor fixes for Formatting errors.

oceandsl-tools!47 · created Feb 08, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 08, 2023
Minor issues in mvis

oceandsl-tools!46 · created Feb 08, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 08, 2023
Added new signature processor.

oceandsl-tools!45 · created Feb 07, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 07, 2023
Added features: Allow multiple input directories and support...

oceandsl-tools!44 · created Feb 07, 2023 by Reiner Jung
- Merged
- Approved
updated Feb 07, 2023