[free-electronic-lab] FEL Update: June 15, 2013

Update: June 15, 2013 == New Review Request -- * CBMC: Bounded Model Checker for ANSI-C and C++ programs https://bugzilla.redhat.com/show_bug.cgi?id=965570 Stable - * python-myhdl: A python hardware description and verification language

[free-electronic-lab] Requesting Pre-Compiled and Tested Binaries for STM32 DISCOVERY

Dear fedora lovers, Can you please give pre-compiled tool-chain binaries for STM32 board in fedora electronic spin. Also i request that... There must be a software in fedora spin for micro-controller through which we can select our micro-controller model and than that software automatically