git.libre-soc.org Git - yosys.git/shortlog

2013-10-11	Clifford Wolf	Fixed minisat include	commit \| commitdiff \| tree
2013-10-03	Clifford Wolf	Pinned ABC revision to 0f9e5488ced3	commit \| commitdiff \| tree
2013-09-17	Clifford Wolf	Improvements in EDIF backend	commit \| commitdiff \| tree
2013-09-15	Clifford Wolf	Added additional options to BLIF backend	commit \| commitdiff \| tree
2013-09-15	Clifford Wolf	Added BLIF backend	commit \| commitdiff \| tree
2013-09-15	Clifford Wolf	A couple of small fixes in SPICE backend	commit \| commitdiff \| tree
2013-09-15	Clifford Wolf	Moved common techlib files to techlibs/common	commit \| commitdiff \| tree
2013-09-15	Clifford Wolf	Updated manual	commit \| commitdiff \| tree
2013-09-14	Clifford Wolf	Added spice testbench to techlibs/cmos	commit \| commitdiff \| tree
2013-09-14	Clifford Wolf	Added spice backend	commit \| commitdiff \| tree
2013-09-03	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2013-09-03	Clifford Wolf	Added -selected option to various backends	commit \| commitdiff \| tree
2013-08-28	Clifford Wolf	Encode large (>32 bits) parameters as hex string in...	commit \| commitdiff \| tree
2013-08-27	Clifford Wolf	Improved edif backend	commit \| commitdiff \| tree
2013-08-27	Clifford Wolf	Added mapping to techlibs/xilinx7 testbench (exposes...	commit \| commitdiff \| tree
2013-08-22	Clifford Wolf	Added simple xilinx7 technology mapping files	commit \| commitdiff \| tree
2013-08-22	Clifford Wolf	More explicit integer output in verilog backend	commit \| commitdiff \| tree
2013-08-22	Clifford Wolf	Added correct encoding of identifiers in EDIF backend	commit \| commitdiff \| tree
2013-08-22	Clifford Wolf	Added edif backend (still under construction)	commit \| commitdiff \| tree
2013-08-21	Clifford Wolf	Merge pull request #10 from hansiglaser/master	commit \| commitdiff \| tree
2013-08-21	Clifford Wolf	Some minor documentation fixes	commit \| commitdiff \| tree
2013-08-21	Johann Glaser	fixed Verilog parser filename and line numbering issue...	commit \| commitdiff \| tree
2013-08-20	Clifford Wolf	Merge pull request #9 from hansiglaser/master	commit \| commitdiff \| tree
2013-08-20	Johann Glaser	Added support for include directories with the new...	commit \| commitdiff \| tree
2013-08-20	Clifford Wolf	Merge pull request #8 from hansiglaser/master	commit \| commitdiff \| tree
2013-08-20	Johann Glaser	Added support for notif0/notif1 primitives	commit \| commitdiff \| tree
2013-08-20	Clifford Wolf	Added cleaning of old version_* files to version_*...	commit \| commitdiff \| tree
2013-08-20	Clifford Wolf	Added version info to yosys command and added -V option	commit \| commitdiff \| tree
2013-08-20	Clifford Wolf	Minor fixes in abc build instructions and abc pass	commit \| commitdiff \| tree
2013-08-19	Clifford Wolf	Fixed width and sign detection for ** operator	commit \| commitdiff \| tree
2013-08-19	Clifford Wolf	Added support for bufif0/bufif1 primitives	commit \| commitdiff \| tree
2013-08-19	Clifford Wolf	Improved ast dumping (ast/verilog frontend)	commit \| commitdiff \| tree
2013-08-15	Clifford Wolf	Implemented same div-by-zero behavior as found in other...	commit \| commitdiff \| tree
2013-08-15	Clifford Wolf	Fixed signed div/mod in const eval (rounding and stuff)	commit \| commitdiff \| tree
2013-08-15	Clifford Wolf	Added ezsat api for creation of anonymous vectors	commit \| commitdiff \| tree
2013-08-15	Clifford Wolf	Added sat -ignore_div_by_zero switch	commit \| commitdiff \| tree
2013-08-15	Clifford Wolf	Added eval -brute_force_equiv_checker_x mode	commit \| commitdiff \| tree
2013-08-12	Clifford Wolf	Added support for "2**n" shifter encoding	commit \| commitdiff \| tree
2013-08-11	Clifford Wolf	Added SAT support for $div and $mod cells	commit \| commitdiff \| tree
2013-08-11	Clifford Wolf	Added "clean -purge" and ";;;" support	commit \| commitdiff \| tree
2013-08-11	Clifford Wolf	Added ";;" as shortcut for "; clean;"	commit \| commitdiff \| tree
2013-08-10	Clifford Wolf	freduce performance fix	commit \| commitdiff \| tree
2013-08-09	Clifford Wolf	Added $div and $mod technology mapping	commit \| commitdiff \| tree
2013-08-09	Clifford Wolf	Added techmap -opt mode	commit \| commitdiff \| tree
2013-08-09	Clifford Wolf	Some fixes to improve determinism	commit \| commitdiff \| tree
2013-08-08	Clifford Wolf	Sort ctrl signals in fsm_extract	commit \| commitdiff \| tree
2013-08-08	Clifford Wolf	Added -try option to freduce pass	commit \| commitdiff \| tree
2013-08-08	Clifford Wolf	Added "clean" command (less verbose opt_clean)	commit \| commitdiff \| tree
2013-08-07	Clifford Wolf	Fixed topological ordering in freduce pass	commit \| commitdiff \| tree
2013-08-07	Clifford Wolf	Improved handling of private names in opt_clean and...	commit \| commitdiff \| tree
2013-08-07	Clifford Wolf	Added stubnets example to manual prog chapter	commit \| commitdiff \| tree
2013-08-06	Clifford Wolf	Small bugfixes in freduce pass	commit \| commitdiff \| tree
2013-08-06	Clifford Wolf	Added freduce command	commit \| commitdiff \| tree
2013-08-06	Clifford Wolf	Fixed SigPool::del() method	commit \| commitdiff \| tree
2013-08-06	Clifford Wolf	Added proper deallocation of history buffer	commit \| commitdiff \| tree
2013-08-01	Clifford Wolf	Updated TODO section in README	commit \| commitdiff \| tree
2013-07-27	Clifford Wolf	Added "design" command (-reset, -save, -load)	commit \| commitdiff \| tree
2013-07-25	Clifford Wolf	Added "help -write-web-command-reference-manual"	commit \| commitdiff \| tree
2013-07-25	Clifford Wolf	Fixed comments in manual rtlil/ilang syntax	commit \| commitdiff \| tree
2013-07-25	Clifford Wolf	Added RTLIL and Liberty syntax highlighting to manual	commit \| commitdiff \| tree
2013-07-24	Clifford Wolf	Automatically run "proc" on extract map files	commit \| commitdiff \| tree
2013-07-23	Clifford Wolf	Added $lut cells and abc lut mapping support	commit \| commitdiff \| tree
2013-07-23	Clifford Wolf	Fixed "make clean" for manual files	commit \| commitdiff \| tree
2013-07-21	Clifford Wolf	Added web site link to README	commit \| commitdiff \| tree
2013-07-20	Clifford Wolf	Added Yosys Manual	commit \| commitdiff \| tree
2013-07-12	Clifford Wolf	More fixes in ternary op sign handling	commit \| commitdiff \| tree
2013-07-11	Clifford Wolf	Fixed sign handling in ternary operator	commit \| commitdiff \| tree
2013-07-11	Clifford Wolf	Added ast frontend refactoring to TODO	commit \| commitdiff \| tree
2013-07-11	Clifford Wolf	Another vloghammer related bugfix	commit \| commitdiff \| tree
2013-07-10	Clifford Wolf	Bugfixes for empty signal vectors	commit \| commitdiff \| tree
2013-07-09	Clifford Wolf	Fixed sign propagation in bit-wise operators	commit \| commitdiff \| tree
2013-07-09	Clifford Wolf	More fixes in ast expression sign/width handling	commit \| commitdiff \| tree
2013-07-09	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2013-07-09	Clifford Wolf	Fixed shift ops with large right hand side	commit \| commitdiff \| tree
2013-07-09	Clifford Wolf	Major redesign of expr width/sign detecion (verilog...	commit \| commitdiff \| tree
2013-07-07	Clifford Wolf	Fixed another bug found using vloghammer	commit \| commitdiff \| tree
2013-07-07	Clifford Wolf	Fixed AST_CONSTANT node generation	commit \| commitdiff \| tree
2013-07-07	Clifford Wolf	Removed tests/xsthammer	commit \| commitdiff \| tree
2013-07-07	Clifford Wolf	Added opt_clean -purge option	commit \| commitdiff \| tree
2013-07-07	Clifford Wolf	Fixed handling of $eq and $ne in opt_const	commit \| commitdiff \| tree
2013-07-05	Clifford Wolf	Fixed vivado related xsthammer bugs	commit \| commitdiff \| tree
2013-07-05	Clifford Wolf	Various improvements in xsthammer report generator	commit \| commitdiff \| tree
2013-07-05	Clifford Wolf	Added work-around to isim bug in xsthammer report script	commit \| commitdiff \| tree
2013-07-05	Clifford Wolf	Fixed gcc warnings in ezminisat	commit \| commitdiff \| tree
2013-07-05	Clifford Wolf	Added CARRY4 Xilinx cell to xsthammer cell lib	commit \| commitdiff \| tree
2013-07-05	Clifford Wolf	Added xsthammer report generator	commit \| commitdiff \| tree
2013-07-04	Clifford Wolf	Improved xsthammer quartus support	commit \| commitdiff \| tree
2013-07-04	Clifford Wolf	Added Altera Cyclon III cell library to xsthammer	commit \| commitdiff \| tree
2013-07-04	Clifford Wolf	Documentation updates	commit \| commitdiff \| tree
2013-07-04	Clifford Wolf	Added defparam support to Verilog/AST frontend	commit \| commitdiff \| tree
2013-07-03	Clifford Wolf	Added QMAKE makefile variable	commit \| commitdiff \| tree
2013-07-03	Clifford Wolf	Added Altera Quartus support to xsthammer	commit \| commitdiff \| tree
2013-07-03	Clifford Wolf	Progress in xsthammer	commit \| commitdiff \| tree
2013-06-26	Clifford Wolf	Added vivado support to xsthammer	commit \| commitdiff \| tree
2013-06-23	Clifford Wolf	Added SAT support for -all/-max with -verify	commit \| commitdiff \| tree
2013-06-20	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2013-06-20	Clifford Wolf	Added timout functionality to SAT solver	commit \| commitdiff \| tree
2013-06-19	Clifford Wolf	Added renaming of wires and cells to "rename" command	commit \| commitdiff \| tree
2013-06-19	Clifford Wolf	Added "eval" pass	commit \| commitdiff \| tree
2013-06-18	Clifford Wolf	Fixed build with clang	commit \| commitdiff \| tree
next

RSS Atom