Clifford Wolf 1349b845e3 Re-organization in sat_solver pass for temporal induction		2013-06-09 15:49:32 +02:00
..
abc	Look for yosys-abc and yosys-svgviewer where the main exe is	2013-06-09 00:07:26 +02:00
cmds	Look for yosys-abc and yosys-svgviewer where the main exe is	2013-06-09 00:07:26 +02:00
dfflibmap	Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlib	2013-03-27 10:51:15 +01:00
extract	Split extract -attr into extract -cell_attr and -wire_attr	2013-03-08 08:19:24 +01:00
fsm	Renamed opt_rmunused to opt_clean	2013-06-05 07:07:31 +02:00
hierarchy	Improved log messages generated by hierarchy pass	2013-05-26 12:20:51 +02:00
memory	Added -nomap option to memory pass	2013-03-21 09:11:06 +01:00
opt	Renamed opt_rmunused to opt_clean	2013-06-05 07:07:31 +02:00
proc	Added nosync attribute and some async reset related fixes	2013-03-25 17:13:14 +01:00
sat	Re-organization in sat_solver pass for temporal induction	2013-06-09 15:49:32 +02:00
scc	fixed typos	2013-03-18 07:28:31 +01:00
submod	Renamed opt_rmunused to opt_clean	2013-06-05 07:07:31 +02:00
techmap	Fixed techmap/flatten for positional module arguments	2013-05-26 12:21:17 +02:00