#91: Package ForSyDe -----------------------------------------------------+---------------------- Reporter: shakthimaan | Owner: shakthimaan Type: task | Status: new Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Keywords: formal method, hardware design, haskell | -----------------------------------------------------+---------------------- Package ForSyDe (Haskell) by Prof. Ingo Sander from kth.se.
http://hackage.haskell.org/package/ForSyDe
http://www.ict.kth.se/forsyde/
#91: Package ForSyDe --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan* Type: task | Status: new Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Resolution: | Keywords: formal method, hardware design, haskell --------------------------+------------------------------------------------- Changes (by shakthimaan):
* owner: shakthimaan => shakthimaan*
Comment:
ghc-type-level{-prof, -devel}, a dependency is available in Fedora. ghc- parameterized-data, another dependency is now up for review at:
https://bugzilla.redhat.com/show_bug.cgi?id=637360
#91: Package ForSyDe --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan* Type: task | Status: new Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Resolution: | Keywords: formal method, hardware design, haskell --------------------------+------------------------------------------------- Comment (by shakthimaan):
parameterized-data is now available in Fedora. Install it using:
$ sudo yum install ghc-parameterized-data
A tutorial is available at:
http://www.ict.kth.se/forsyde/files/tutorial/tutorial.html#FSVec
All dependencies have now been met. ForSyDe is next!
#91: Package ForSyDe --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan* Type: task | Status: new Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Resolution: | Keywords: formal method, hardware design, haskell --------------------------+------------------------------------------------- Comment (by shakthimaan):
ghc-ForSyDe review is at:
https://bugzilla.redhat.com/show_bug.cgi?id=680473
#91: Package ForSyDe --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan* Type: task | Status: closed Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Resolution: fixed | Keywords: formal method, hardware design, haskell --------------------------+------------------------------------------------- Changes (by shakthimaan):
* status: new => closed * resolution: => fixed
Comment:
ghc-ForSyDe is now available in Fedora.
electronic-lab@lists.fedoraproject.org
-
fedora-badges