| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fixes and improvements in ezSAT library | Clifford Wolf | 2013-06-08 | 5 | -10/+202 |
| | | |||||
| * | Improved auto-detection of -show signals in sat_solve | Clifford Wolf | 2013-06-08 | 3 | -29/+96 |
| | | |||||
| * | Improved sat generator and sat_solve pass | Clifford Wolf | 2013-06-07 | 6 | -15/+57 |
| | | |||||
| * | Added SAT generator and simple sat_solve command | Clifford Wolf | 2013-06-07 | 7 | -3/+400 |
| | | |||||
| * | Added ezSAT library | Clifford Wolf | 2013-06-07 | 12 | -8/+2854 |
| | | |||||
| * | Renamed opt_rmunused to opt_clean | Clifford Wolf | 2013-06-05 | 7 | -17/+17 |
| | | |||||
| * | Implemented technology mapping for multipliers (using array multiplier) | Clifford Wolf | 2013-06-03 | 1 | -4/+30 |
| | | |||||
| * | Added "dump" command (part ilang backend) | Clifford Wolf | 2013-06-02 | 4 | -29/+119 |
| | | |||||
| * | Fixed techmap/flatten for positional module arguments | Clifford Wolf | 2013-05-26 | 1 | -8/+20 |
| | | |||||
| * | Improved log messages generated by hierarchy pass | Clifford Wolf | 2013-05-26 | 1 | -5/+17 |
| | | |||||
| * | Added -nodetect option to fsm pass | Clifford Wolf | 2013-05-24 | 1 | -2/+8 |
| | | |||||
| * | Fixed undef behavior in tests/asicworld/code_verilog_tutorial_fsm_full_tb.v | Clifford Wolf | 2013-05-24 | 1 | -1/+3 |
| | | |||||
| * | Improved FSM one-hot encoding, added binary encoding | Clifford Wolf | 2013-05-24 | 3 | -44/+85 |
| | | |||||
| * | Added log_assert() api | Clifford Wolf | 2013-05-24 | 3 | -4/+6 |
| | | |||||
| * | Added log_abort() api | Clifford Wolf | 2013-05-24 | 2 | -1/+3 |
| | | |||||
| * | Fixed a gcc vs. clang determinism problem in abc pass | Clifford Wolf | 2013-05-23 | 1 | -4/+11 |
| | | |||||
| * | Fixed memory corruption bug in opt_rmunused | Clifford Wolf | 2013-05-23 | 1 | -7/+14 |
| | | |||||
| * | Only initialize TCL interpreter when needed | Clifford Wolf | 2013-05-23 | 3 | -39/+50 |
| | | |||||
| * | Fixed memory leak in ilang frontend | Clifford Wolf | 2013-05-23 | 1 | -0/+1 |
| | | |||||
| * | Added missing newline to some error messages | Clifford Wolf | 2013-05-23 | 1 | -2/+2 |
| | | |||||
| * | Added labels to "help -write-tex-command-reference-manual" output | Clifford Wolf | 2013-05-23 | 1 | -0/+2 |
| | | |||||
| * | Added support for processes to show command | Clifford Wolf | 2013-05-23 | 1 | -2/+81 |
| | | |||||
| * | Fixed show command for constant assignments | Clifford Wolf | 2013-05-23 | 1 | -2/+2 |
| | | |||||
| * | Some improvements in opt_rmdff | Clifford Wolf | 2013-05-23 | 1 | -2/+33 |
| | | |||||
| * | Merge pull request #6 from hansiglaser/master | Clifford Wolf | 2013-05-19 | 3 | -4/+19 |
| |\ | | | | | added option '-Dname[=definition]' to command 'read_verilog' | ||||
| | * | added option '-Dname[=definition]' to command 'read_verilog' | Johann Glaser | 2013-05-19 | 3 | -4/+19 |
| |/ | |||||
| * | Removed test cases that have been moved to yosys-test. | Clifford Wolf | 2013-05-17 | 83 | -18963/+0 |
| | | | | | https://github.com/cliffordwolf/yosys-tests/ | ||||
| * | Fixed to aggressive x-folding in opt_const | Clifford Wolf | 2013-05-17 | 1 | -8/+21 |
| | | |||||
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2013-05-16 | 1 | -8/+82 |
| |\ | |||||
| | * | Improved vcdcd.pl (added -d option) | Clifford Wolf | 2013-05-14 | 1 | -8/+82 |
| | | | |||||
| * | | Merge branch 'bugfix' | Clifford Wolf | 2013-05-16 | 1 | -2/+0 |
| |\ \ | |/ |/| | |||||
| | * | Fixed synthesis of functions in latched blocks | Clifford Wolf | 2013-05-16 | 1 | -2/+0 |
| | | | |||||
| * | | Some improvements in vcdcd.pl | Clifford Wolf | 2013-05-14 | 1 | -4/+16 |
| | | | |||||
| * | | Added support for verilog === operator | Clifford Wolf | 2013-05-07 | 1 | -0/+2 |
| | | | |||||
| * | | Added tcl "yosys -import" command | Clifford Wolf | 2013-05-02 | 1 | -3/+29 |
| | | | |||||
| * | | Improved/simplified TCL bindings | Clifford Wolf | 2013-05-01 | 3 | -40/+57 |
| | | | |||||
| * | | Added support for const cell inputs in techmap | Clifford Wolf | 2013-04-27 | 1 | -6/+28 |
| | | | |||||
| * | | Fixed README for new show command behavior (svg vs. ps) | Clifford Wolf | 2013-04-27 | 1 | -2/+6 |
| | | | |||||
| * | | Added "flatten" pass | Clifford Wolf | 2013-04-26 | 1 | -1/+41 |
| | | | |||||
| * | | Fixed handling of positional module parameters | Clifford Wolf | 2013-04-26 | 1 | -6/+4 |
| | | | |||||
| * | | Fixed hierarchy pass for hierarchies of parametric modules | Clifford Wolf | 2013-04-26 | 1 | -0/+1 |
| | | | |||||
| * | | Only use sha1 checksums for names of parametric modules when the verbose ↵ | Clifford Wolf | 2013-04-26 | 1 | -9/+20 |
| | | | | | | | | | form is to long | ||||
| * | | Fixed "show -format ..." command line parsing | Clifford Wolf | 2013-04-15 | 1 | -1/+1 |
| | | | |||||
| * | | Added "submod -name ..." support | Clifford Wolf | 2013-04-15 | 1 | -40/+96 |
| | | | |||||
| * | | Fixed a bug in AST frontend for cases with non-blocking assigned variables ↵ | Clifford Wolf | 2013-04-13 | 2 | -4/+23 |
| | | | | | | | | | as case values | ||||
| * | | Fixed a bug in opt_const when optimizing 1-bit compares with constants | Clifford Wolf | 2013-04-13 | 1 | -2/+4 |
| | | | |||||
| * | | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2013-04-07 | 1 | -8/+40 |
| |\ \ | |||||
| | * \ | Merge pull request #5 from hansiglaser/master | Clifford Wolf | 2013-04-05 | 1 | -6/+23 |
| | |\ \ | | | | | | | | | fsm_export: optionally use binary state encoding as state names instead of s0, s1, ... | ||||
| | | * | | fsm_export: optionally use binary state encoding as state names instead of | Johann Glaser | 2013-04-05 | 1 | -6/+23 |
| | | | | | | | | | | | | | | | | | s0, s1, ... | ||||
| | * | | | Merge pull request #4 from hansiglaser/master | Clifford Wolf | 2013-04-05 | 1 | -5/+20 |
| | |\| | | | | | | | | | | fsm_export: specify KISS filename on command line | ||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |