Christoff Bürger
Christoff Bürger
The current implementations of `maxWithoutEvent`, `maxWithoutEvent_d` and `maxWithoutEvent_dd` in `Modelica.Mechanics.MultiBody.Frames.Internal` all have the annotation `Inline=false`. This is not good. They should have `lateInline = true` annotated instead, to still enable...
`Modelica.Blocks.Continuous.LimPID` has `min=0` for the controller gain `k`. I wonder if that is a good idea and indeed intentional. I stumbled upon this on a controller developed by DLR, which...
The performance profiling infrastructure of issue #67 should leverage on the atomic file locking provided by `lock-files.bash` (cf. #93) to achieve thread-safe parallel performance benchmarking. I particular, measurements tables read...
_GNU Guile_ fails some of the rewrite and Petri net tests (`rewrite-basics`, `rewrite-lists`, `rewrite-refine-abstract`, `purchase-processing`, `runtime-structure-example-slide`). Further investigation for the reasons and fixes, if it is not an implementation error...
Systematic Performance measurements are helpful to evaluate the automatic attribute caching of _RACR_, pinpoint improvement opportunities and track performance regressions. _Scheme_ distributions often provide tools for detailed code profiling, like...
So far, only the analyses of abstract syntax tree specifications, the instantiation of respective trees and the analyses of respective attribute specifications is realised using a _RACR_-based compiler. The instantiation...
When using a _RACR_-based compiler to analyse, compile and apply _RACR_ specifications, the system becomes dependent on itself. As a consequence, attribute evaluation results in non-termination or circular attribute dependencies...
To simplify the core implementation of _RACR_ and, in particular, clearly identify and elaborate the essential facilities required for meta-instantiation and reasoning (cf. issues #62 and #63 ), the pattern...
The parser of the _SiPLE_ example is rather old; better best practices for manual parser implementation have been applied for example for the `binary-numbers`, internal _RACR_ AST specification and `ttc-2015-fuml-activity-diagrams`...
The _SiPLE_ example is not consistent with the other examples; best practices of _RACR_-based languages are not adapted yet, in particular the use of specialised child and attribute accessors like...