Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Various improvements and new features for OO and timed SCCharts #64

Draft
wants to merge 86 commits into
base: master
Choose a base branch
from
Draft

Various improvements and new features for OO and timed SCCharts #64

wants to merge 86 commits into from

Conversation

a-sr
Copy link
Member

@a-sr a-sr commented Sep 14, 2022 •
edited
Loading

Timed Autotmata

  • Added passive clocks
  • Added type for storing time of clocks
  • Added support for time as return value
  • Improved dataflow visualization
  • Added support for logical clocks

OO

  • Generic type restriction for primitive types
  • References to primitive generic types
  • Primitive typed method parameters and return types
  • Access to super scope for methods
  • Method overloading based on parameter list
  • Input-Output enum references
  • Added support for policies in SCCharts-based classes
  • Added support for methods in DF region actors
  • Added support for class type annotations
  • Fixed abort regions to improve compiling complex models

Diagrams

  • Improved dataflow visualization
  • Improved visualization of scheduling directives
  • Added more options for method body representation
  • Added abstract method indicator

a-sr added 29 commits August 31, 2022 13:33
@a-sr
sccharts: Added passive clocks
284bf33
@a-sr
sccharts: Fixed sleepT detection
04941cb
@a-sr
sccharts.ui: Diagrams now skip the circumflex in names
be687c4 
(Xtext keyword escape)
@a-sr
sccharts: Improved clock detection
3957e10
@a-sr
sccharts: Added type for storing time of clocks
269ca82
@a-sr
sccharts: Added support for time as return value
65bf35d
@a-sr
sccharts.ui: Improved spacing and text size in dataflow
331ce53
@a-sr
sccharts.ui: Improved port order in induced dataflow
13ed548
@a-sr
sccharts.ui: Fixed space for declarations in dataflow regions
9ae489f
@a-sr
sccharts.ui: Added support for SD display on actions
2be284e
@a-sr
sccharts.ui: Improved method signature
43a98dc
@a-sr
kexpressions: Added support for host return types in methods
67b0c8d
@a-sr
sccharts: Added support for logical clocks.
ba6f025 
Also added clock-time return for methods
@a-sr
sccharts.ui: Improved visualization of scheduling directives
0b6fed7
@a-sr
scg: Improved handling of scheduling directives
0178d11
@a-sr
sccharts.ui: Renamed clock-time to time in synthesis
35e2102
@a-sr
sccharts.ui: Fixed main label detection in label shortening
d89c116
@a-sr
scg: Fixed handling of scheduling directives in SCG transformation
6a571a8
@a-sr
sccharts.ui: Compacted SCG in method regions
9279f6b
@a-sr
sccharts: Format
cda3441
@a-sr
sccharts.ui: Added more options for method body representation
4f7ece5
@a-sr
sccharts.ui: Fixed input ref serialization
9e4c85d
@a-sr
sccharts: Added type restrictions for overriding methods
52f4cf3
@a-sr
sccharts: Fixed superfluous initialization of empty classes
ef42cf4
@a-sr
scchart: Added experimental support for partial binding for DF actors
95f2fa2
@a-sr
Some new OO features
16f86ca 
- Generic type restriction for primitive types
- References to primitive generic types
- Primitive typed method parameters and return types
- Access to super scope for methods
- Method overloading based on parameter list
- input-output enum references
@a-sr
Some minor improvements to OO features.
9dd3588 
- Added support for policies in SCCharts-based classes
- Added abstract method indicator
@a-sr
sccharts.ui: Added abstract style for method regions
a3d186a
@a-sr
sccharts: Added support for methods in DF region actors
557a277
@a-sr a-sr changed the title Some new Features Various new OO features and improvements Dec 17, 2022
a-sr and others added 30 commits July 5, 2023 15:50
@a-sr
build: Fixed egit dependency source in target platform
351ef3c
@a-sr
build: Minor reordering
a368595
@a-sr
sccharts: Fixed support for clocks in classes
779a836
@a-sr
sccharts: Fixed support for clocks in classes
eab7db4
@a-sr
codegen: Fixed serialization of extern refs in classes
b785aaf 
and their exclusion in simulation
@a-sr
sccharts: Fixed serialization of visibility of methods in SCCharts
97e77e4 
diagrams
@a-sr
sccharts.ui: Added expansion annotation for method regions
7f2cdbd
@a-sr
sccharts.ui: Changed region style to no longer require text size
a5a2c1f 
estimation
@a-sr
Merge branch 'als/master' of [email protected]:kieler/semantics.git into…
614c158 
… als/master
@a-sr
Merge remote-tracking branch 'origin/master' into als/master
7d01cce
@a-sr
Merge branch 'master' into als/master
cc7dadb
@a-sr
kicool: Improved dependency type handling for SD induced dependencies
f88154a
@a-sr
sccharts.test: Simplified test structure for netlist test
2d4e206
@a-sr
sccharts: Added xtext aid in serializing method calls inside methods
c9cba71
@a-sr
sccharts: Fixed missed case in recent serialization
79d88a3
@a-sr
sccharts: Activated and improved OO DF transformation
671dca1
@a-sr
scl: Fixed enum validation to handle assignments of enum variables
5e5af49
@a-sr
sccharts: Adjusted scoper to allow acces to all IO declarations in
69bda7f 
dataflow
@a-sr
sccharts: Fixed dependency analysis for host classes with SDs and
6ab4f6a 
different instances
@a-sr
sccharts.ui: Improved enum and method call support in dataflow
3f7f127
@a-sr
sccharts: Deactivated oo dataflow transformation as it is not yet fully
646be7e 
supported
@a-sr
kext.text: Fixed KExpression tests
6bdc662
@Drakae
sccharts.ui: Added support for hiding method regions with annotation
5080980
@Drakae
sccharts.ui: Added support for black-white mode for dataflow regions
c38c257
@Drakae
sccharts.ui: eliminated gradient in black-white mode in dataflow
01432c6
@a-sr
sccharts: Fixed NPE in default schedules for host classes
dc145d4
@a-sr
tests: Improved naming of JUnit model tests to prevent mixup in the UI
bd2502b
@a-sr
sccharts: Added support for enum in sccharts-based classes
27e5ae2 
often produced by OO dataflow compilation
@a-sr
sccharts: Improved handling of signals in dataflow regions
df3b732
@a-sr
scg.c: Fixed missing include for random call c code generation
aef4cd4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@a-sr @Drakae