| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fixed handling of $_XOR_ in SAT generator | Clifford Wolf | 2013-06-09 | 1 | -1/+1 |
| * | Added sequential solving support to sat_solve | Clifford Wolf | 2013-06-09 | 1 | -32/+49 |
| * | Set rl_basic_word_break_characters in shell | Clifford Wolf | 2013-06-09 | 1 | -0/+1 |
| * | Improved readline tab completion | Clifford Wolf | 2013-06-09 | 2 | -25/+75 |
| * | Look for yosys-abc and yosys-svgviewer where the main exe is | Clifford Wolf | 2013-06-09 | 2 | -1/+21 |
| * | Moved cmds from kernel/ to passes/cmds/ | Clifford Wolf | 2013-06-08 | 2 | -1736/+0 |
| * | Added support for shifter cells to SAT generator | Clifford Wolf | 2013-06-08 | 1 | -7/+26 |
| * | Added "cd" and "ls" commands for convenience | Clifford Wolf | 2013-06-08 | 1 | -0/+111 |
| * | Various improvements in sat_solve pass and SAT generator | Clifford Wolf | 2013-06-08 | 1 | -31/+81 |
| * | Improved auto-detection of -show signals in sat_solve | Clifford Wolf | 2013-06-08 | 1 | -0/+24 |
| * | Improved sat generator and sat_solve pass | Clifford Wolf | 2013-06-07 | 1 | -9/+46 |
| * | Added SAT generator and simple sat_solve command | Clifford Wolf | 2013-06-07 | 1 | -0/+137 |
| * | Added "dump" command (part ilang backend) | Clifford Wolf | 2013-06-02 | 2 | -16/+16 |
| * | Added log_assert() api | Clifford Wolf | 2013-05-24 | 2 | -2/+5 |
| * | Added log_abort() api | Clifford Wolf | 2013-05-24 | 1 | -0/+2 |
| * | Only initialize TCL interpreter when needed | Clifford Wolf | 2013-05-23 | 3 | -39/+50 |
| * | 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 |
| * | 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 |
| * | Fixed "show -format ..." command line parsing | Clifford Wolf | 2013-04-15 | 1 | -1/+1 |
| * | Fixed/improved handling of colored wires in show command | Clifford Wolf | 2013-04-01 | 1 | -2/+2 |
| * | Added support for @<set-name> in expand select ops (%x, %ci, %co) | Clifford Wolf | 2013-04-01 | 1 | -2/+12 |
| * | Removed 4096 bytes limit for size of command from script file | Clifford Wolf | 2013-04-01 | 1 | -3/+20 |
| * | Added -color <color> <selection> option to show command | Clifford Wolf | 2013-04-01 | 4 | -22/+101 |
| * | Fixed "select" for "%%" stmt with emty stack | Clifford Wolf | 2013-03-31 | 1 | -1/+2 |
| * | Added "script" command | Clifford Wolf | 2013-03-31 | 1 | -0/+16 |
| * | Improved opt_share for reduce cells | Clifford Wolf | 2013-03-29 | 2 | -3/+12 |
| * | Implemented TCL support (only via -c option at the moment) | Clifford Wolf | 2013-03-28 | 3 | -7/+78 |
| * | Implemented proper handling of stub placeholder modules | Clifford Wolf | 2013-03-28 | 1 | -2/+11 |
| * | Added check: only one module for "show" unless format is "ps" | Clifford Wolf | 2013-03-27 | 1 | -0/+9 |
| * | Now using SVG and yosys-svgviewer per default in show command | Clifford Wolf | 2013-03-27 | 1 | -11/+33 |
| * | Create nice errors when calling RTLIL::Module::derive() of base class | Clifford Wolf | 2013-03-26 | 1 | -3/+3 |
| * | Added hierarchy -generate command for generating skeletton modules | Clifford Wolf | 2013-03-25 | 1 | -3/+7 |
| * | Fixed handling of show -viewer | Clifford Wolf | 2013-03-24 | 1 | -1/+1 |
| * | Fixed handling of internal signals in show command | Clifford Wolf | 2013-03-24 | 1 | -2/+2 |
| * | Improved show -colors color assignments | Clifford Wolf | 2013-03-24 | 1 | -2/+3 |
| * | Added show -strech and renamed -widthlabels to -width | Clifford Wolf | 2013-03-24 | 1 | -6/+36 |
| * | Added -widthlabels options to chow command | Clifford Wolf | 2013-03-24 | 1 | -31/+67 |
| * | Added -colors option to show command | Clifford Wolf | 2013-03-24 | 1 | -8/+35 |
| * | Added help -write-tex-command-reference-manual option | Clifford Wolf | 2013-03-21 | 1 | -0/+38 |
| * | Added -S option for simple synthesis to gate logic | Clifford Wolf | 2013-03-21 | 1 | -2/+17 |
| * | Disabled the per-default dumping of ILANG code | Clifford Wolf | 2013-03-21 | 1 | -1/+6 |
| * | fixed a crash when lines start with whitespace | Johann Glaser | 2013-03-18 | 1 | -2/+2 |
| * | fixed typos | Johann Glaser | 2013-03-18 | 3 | -8/+8 |
| * | Fixed gcc warnings and added error handling to shell escape | Clifford Wolf | 2013-03-15 | 1 | -1/+3 |
| * | Added additional functionality and cleanups in sigtools.h and celltypes.h | Clifford Wolf | 2013-03-15 | 2 | -0/+33 |
| * | Changed prefix for selection operators from # to % | Clifford Wolf | 2013-03-14 | 1 | -28/+28 |
| * | Added #ci and #co selection operators | Clifford Wolf | 2013-03-14 | 2 | -90/+136 |
