forsyde forsyde-atom issues

forsyde / forsyde-atom

A shallow-embedded DSL for modeling cyber-physical systems

https://forsyde.github.io/forsyde-atom/

BSD 3-Clause "New" or "Revised" License

3 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Missing 'fig'-directory when creating haddock documentation

#45 ingo-sander opened 3 weeks ago
0
Typo on `ForSyDe.Atom.MoC.SDF`

#44 Rojods opened 4 years ago
0
minor additions to work with the aesa-radar example out-of-the-box

#43 ugeorge closed 4 years ago
0
Update to 0.3.0

#42 ugeorge closed 4 years ago
0
Sadf

#41 ugeorge closed 5 years ago
0
Small issue fixes for next release

#40 ugeorge closed 4 years ago
0
`CT.sampDE` generates two initial events

#39 ugeorge opened 5 years ago
0
`<>` utility wrong infix

#38 ugeorge opened 5 years ago
0
Edited API documentation

#37 ugeorge closed 6 years ago
0
Updated API documentation

#36 ugeorge closed 6 years ago
0
MoC interface redefinition

#35 ugeorge closed 6 years ago
0
ExB extend and Applicative pure redundant

#34 ugeorge opened 6 years ago
0
Time type class

#33 ugeorge closed 4 years ago
2
closes #31. Added plotting utilities.

#32 ugeorge closed 7 years ago
0
Add plotting and dumping features

#31 ugeorge closed 7 years ago
1
Describing statistics

#30 ugeorge closed 4 years ago
1
Add classes of behaviors for each layer

#29 ugeorge opened 7 years ago
0
Docs

#28 ugeorge closed 7 years ago
0
Version 0.2.0

#27 ugeorge closed 7 years ago
0
A more efficient way to describe explicit tags

#26 ugeorge closed 7 years ago
1
Document new features

#25 ugeorge closed 7 years ago
1
Force separation between MoC and Behavior layer

#24 ugeorge closed 7 years ago
0
Split MoC class into Timed and Untimed

#23 ugeorge closed 7 years ago
1
Make won't compile the documents.

#22 joseedil closed 7 years ago
2
! LaTeX Error: File `forsyde-math.sty' not found.

#21 joseedil closed 7 years ago
1
cabal haddock does not find figures

#20 ingo-sander closed 7 years ago
1
Test suite for Vector

#19 ugeorge closed 8 years ago
0
Added the Skeleton Layer

#18 ugeorge closed 8 years ago
0
Test cases and CI for implemented skeletons

#17 ugeorge closed 8 years ago
0
At least one "structured type" for the skeleton layer

#16 ugeorge closed 8 years ago
0
Skeleton layer atoms as polymorphic type class

#15 ugeorge closed 8 years ago
0
Merge forsyde-atom-0.1.0

#14 ugeorge closed 8 years ago
0
found a more elegant format for MoC atoms

#13 ugeorge closed 8 years ago
0
Complete documentation of the Synchronization Layer

#12 ugeorge closed 8 years ago
0
Common synch layer for all current MoCs

#11 ugeorge closed 8 years ago
0
General form

#10 ugeorge closed 8 years ago
0
Decoupled behavior from function argument wrapping

#9 ugeorge closed 8 years ago
0
Sdf inclusion

#8 ugeorge closed 8 years ago
0
Feedback from tupled signals bug

#7 ugeorge closed 8 years ago
2
Merge dev-untracked except the attempts to cover SDF

#6 ugeorge closed 8 years ago
0
Covering untimed/SDF with the MoC class

#5 ugeorge closed 8 years ago
5
Remove forsyde-tikz source from this repo

#4 ugeorge closed 8 years ago
0
Better way to generate process constructors?

#3 ugeorge closed 8 years ago
1
Update CT.hs

#2 HWoidt closed 8 years ago
3
Dev

#1 ugeorge closed 8 years ago
0