iets3.opensource

iets3.opensource copied to clipboard

Implement missing base types

1

The base type implementation was missing for some types. More info about the TaggedType: https://github.com/IETS3/iets3.opensource/pull/627

alexanderpann

correction and newly added SI unit libs

2

**Minor corrections in the existing unit libs (SIUnits & SIUnitsDerivedAndScaled) and a new lib (SIUnitsDerivedAndScaledWithSpecialNames)** The newly added unit library "" is based on the units from the International System...

yonghui-git

[Breaking] Bugfixes and improvements for new unit language

1

- small fixes related to the minimization of groups and fractions - exponent expression now doesn't use references as the base anymore - improvement and fixes in substitute menus -...

alexanderpann

We now have the following units: - byte and bit - with binary scaling: kibibyte, mebibyte... - with metric scaling: kilobyte, megabyte... The binary scaling prefix is according to [IEC](https://en.wikipedia.org/wiki/IEC_80000-13)...

alexanderpann

Avoid colon casts in type system

2

When the type system expects a certain concept, we should not use the colon cast (:) to cast nodes to a different type but rather use the `as` cast. This...

alexanderpann

Update interpreter semantics of && and || logic operators to be consistent with other logic ops

4

As described in #651 ,the Nix semantics of `&&` and `||` are inconsistent with those of the other logic operators `==` and `!=`. This PR tries to address this issue...

HeikoBecker

Not all concepts with types implement IOptionallyTyped or ITyped

1

Some examples: components.Parameter, components.Variable, adt.AlgebraicConstructorArg, adt.Ancestor, adt.QuotedTermType, EmptyValue... I encountered the issue, for example, with the concept _EnumDeclaration_. We should also check if _IOptionallyTyped_ could extend _ITyped_.

alexanderpann

Bugfix/issue 172: Crossmodel-generation fails for Library reexport

1

### About This PR is related to issue #172 (reexporting imports for Library) There is nothing to do for the issue: mbeddr provides a **reexport-intention** for Chunks, so that you...

heikob2

We need to fix the publication behavior. In the case visible below, the tests are succeeding, but the Teamcity build is failing, because we set the build to fail when...

psuzzi

Documentation comment alignment when generated to java

1

When generating kernel concepts that have documentation attached, the resulting code comments in the Java code are misaligned (and in cases also duplicated). Screenshot attached below, tested on maintenance/20223 

tomb50