| Age | Commit message (Expand) | Author |
|---|
| 2017-01-01 | gnu: yosys: Update to 0.7....* gnu/packages/fpga.scm (yosys): Update to 0.7.
Signed-off-by: Leo Famulari <leo@famulari.name>
| Theodoros Foradis |
| 2017-01-01 | gnu: yosys: Add xdot functionality....* gnu/packages/fpga.scm (yosys)[inputs]: Add xdot, graphviz and psmisc.
[arguments]: Add 'fix-paths' phase.
Signed-off-by: Leo Famulari <leo@famulari.name>
| Theodoros Foradis |
| 2016-10-09 | gnu: Add gtkwave....* gnu/packages/fpga.scm (gtkwave): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Danny Milosavljevic |
| 2016-10-09 | gnu: Add arachne-pnr....* gnu/packages/fpga.scm (arachne-pnr): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Danny Milosavljevic |
| 2016-10-09 | gnu: Add icestorm....* gnu/packages/fpga.scm (icestorm): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Danny Milosavljevic |
| 2016-10-09 | gnu: Add yosys....* gnu/packages/fpga.scm (yosys): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Danny Milosavljevic |
| 2016-10-09 | gnu: Add iverilog....* gnu/packages/fpga.scm (iverilog): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Danny Milosavljevic |
| 2016-10-09 | gnu: Add abc....* gnu/packages/fpga.scm (abc): New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Danny Milosavljevic |
