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. ___ electronic-lab mailing list electronic-lab@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/electronic-lab
[free-electronic-lab] [Free Electronic Lab] #117: Package kansas-lava-cores
#117: Package kansas-lava-cores -+ Reporter: shakthimaan | Owner: chitlesh Type: task | Status: new Priority: major| Milestone: Fedora 17 Component: FEL | Version: devel Keywords: | Blocked By: Blocking: | -+ http://hackage.haskell.org/package/kansas-lava-cores-0.1.2 Requires kansas-lava to be packaged first. -- Ticket URL: https://fedorahosted.org/fedora-electronic-lab/ticket/117 Free Electronic Lab https://fedorahosted.org/fedora-electronic-lab Design, Simulate and Program electronics. ___ electronic-lab mailing list electronic-lab@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/electronic-lab
[free-electronic-lab] [Free Electronic Lab] #119: Package netlist-to-vhdl
#119: Package netlist-to-vhdl -+ Reporter: shakthimaan | Owner: chitlesh Type: task | Status: new Priority: major| Milestone: Fedora 17 Component: FEL | Version: devel Keywords: | Blocked By: Blocking: | -+ http://hackage.haskell.org/package/netlist-to-vhdl-0.3.1 Required by Kansas Lava. -- Ticket URL: https://fedorahosted.org/fedora-electronic-lab/ticket/119 Free Electronic Lab https://fedorahosted.org/fedora-electronic-lab Design, Simulate and Program electronics. ___ electronic-lab mailing list electronic-lab@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/electronic-lab
[free-electronic-lab] [Free Electronic Lab] #121: Package data-reify
#121: Package data-reify -+ Reporter: shakthimaan | Owner: chitlesh Type: task | Status: new Priority: major| Milestone: Fedora 17 Component: FEL | Version: devel Keywords: | Blocked By: Blocking: | -+ http://hackage.haskell.org/package/data-reify-0.6 Required by Kansas Lava. -- Ticket URL: https://fedorahosted.org/fedora-electronic-lab/ticket/121 Free Electronic Lab https://fedorahosted.org/fedora-electronic-lab Design, Simulate and Program electronics. ___ electronic-lab mailing list electronic-lab@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/electronic-lab
Re: [free-electronic-lab] [Free Electronic Lab] #118: Package netlist
#118: Package netlist --+--- Reporter: shakthimaan | Owner: chitlesh Type: task | Status: new Priority: major| Milestone: Fedora 17 Component: FEL |Version: devel Resolution: | Keywords: Blocked By: | Blocking: --+--- Comment (by shakthimaan): Review request at: https://bugzilla.redhat.com/show_bug.cgi?id=787096 Available now on Fedora! -- Ticket URL: https://fedorahosted.org/fedora-electronic-lab/ticket/118#comment:1 Free Electronic Lab https://fedorahosted.org/fedora-electronic-lab Design, Simulate and Program electronics. ___ electronic-lab mailing list electronic-lab@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/electronic-lab
Re: [free-electronic-lab] [Free Electronic Lab] #118: Package netlist
#118: Package netlist --+--- Reporter: shakthimaan | Owner: chitlesh Type: task | Status: closed Priority: major| Milestone: Fedora 17 Component: FEL |Version: devel Resolution: fixed| Keywords: Blocked By: | Blocking: --+--- Changes (by shakthimaan): * status: new = closed * resolution: = fixed -- Ticket URL: https://fedorahosted.org/fedora-electronic-lab/ticket/118#comment:2 Free Electronic Lab https://fedorahosted.org/fedora-electronic-lab Design, Simulate and Program electronics. ___ electronic-lab mailing list electronic-lab@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/electronic-lab
Re: [free-electronic-lab] [Free Electronic Lab] #121: Package data-reify
#121: Package data-reify --+--- Reporter: shakthimaan | Owner: chitlesh Type: task | Status: new Priority: major| Milestone: Fedora 17 Component: FEL |Version: devel Resolution: | Keywords: Blocked By: | Blocking: --+--- Comment (by shakthimaan): Review request at: https://bugzilla.redhat.com/show_bug.cgi?id=787977 -- Ticket URL: https://fedorahosted.org/fedora-electronic-lab/ticket/121#comment:1 Free Electronic Lab https://fedorahosted.org/fedora-electronic-lab Design, Simulate and Program electronics. ___ electronic-lab mailing list electronic-lab@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/electronic-lab
Re: [free-electronic-lab] [Free Electronic Lab] #120: Package dotgen
#120: Package dotgen --+--- Reporter: shakthimaan | Owner: chitlesh Type: task | Status: new Priority: major| Milestone: Fedora 17 Component: FEL |Version: devel Resolution: | Keywords: Blocked By: | Blocking: --+--- Comment (by shakthimaan): Review request at: https://bugzilla.redhat.com/show_bug.cgi?id=787972 -- Ticket URL: https://fedorahosted.org/fedora-electronic-lab/ticket/120#comment:1 Free Electronic Lab https://fedorahosted.org/fedora-electronic-lab Design, Simulate and Program electronics. ___ electronic-lab mailing list electronic-lab@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/electronic-lab