Re: [free-electronic-lab] [Free Electronic Lab] #90: Kansas Lava

#90: Kansas Lava -------------------------+------------------------------------------------- Reporter: | Owner: shakthimaan shakthimaan | Status: new Type: task | Milestone: Fedora 13 Priority: major | Version: devel Component: FEL | Keywords: Hardware, verification, formal, Resolution: | logic Blocked By: | Blocking: -------------------------+------------------------------------------------- Comment (by shakthimaan): Kansas-Lava is available at: http://hackage.haskell.org/package/kansas-lava-0.2.4 Dependencies (netlist, netlist-to-vhdl, dotgen, data-reify) need to be packaged first. -- Ticket URL: <https://fedorahosted.org/fedora-electronic-lab/ticket/90#comment:1> Free Electronic Lab <https://fedorahosted.org/fedora-electronic-lab> Design, Simulate and Program electronics.