projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2013-06-07
Clifford Wolf
Improved sat generator and sat_solve pass
commit
|
commitdiff
|
tree
2013-06-07
Clifford Wolf
Added SAT generator and simple sat_solve command
commit
|
commitdiff
|
tree
2013-06-07
Clifford Wolf
Added ezSAT library
commit
|
commitdiff
|
tree
2013-06-05
Clifford Wolf
Renamed opt_rmunused to opt_clean
commit
|
commitdiff
|
tree
2013-06-03
Clifford Wolf
Implemented technology mapping for multipliers (using...
commit
|
commitdiff
|
tree
2013-06-02
Clifford Wolf
Added "dump" command (part ilang backend)
commit
|
commitdiff
|
tree
2013-05-26
Clifford Wolf
Fixed techmap/flatten for positional module arguments
commit
|
commitdiff
|
tree
2013-05-26
Clifford Wolf
Improved log messages generated by hierarchy pass
commit
|
commitdiff
|
tree
2013-05-24
Clifford Wolf
Added -nodetect option to fsm pass
commit
|
commitdiff
|
tree
2013-05-24
Clifford Wolf
Fixed undef behavior in tests/asicworld/code_verilog_tu...
commit
|
commitdiff
|
tree
2013-05-24
Clifford Wolf
Improved FSM one-hot encoding, added binary encoding
commit
|
commitdiff
|
tree
2013-05-24
Clifford Wolf
Added log_assert() api
commit
|
commitdiff
|
tree
2013-05-24
Clifford Wolf
Added log_abort() api
commit
|
commitdiff
|
tree
2013-05-23
Clifford Wolf
Fixed a gcc vs. clang determinism problem in abc pass
commit
|
commitdiff
|
tree
2013-05-23
Clifford Wolf
Fixed memory corruption bug in opt_rmunused
commit
|
commitdiff
|
tree
2013-05-23
Clifford Wolf
Only initialize TCL interpreter when needed
commit
|
commitdiff
|
tree
2013-05-23
Clifford Wolf
Fixed memory leak in ilang frontend
commit
|
commitdiff
|
tree
2013-05-23
Clifford Wolf
Added missing newline to some error messages
commit
|
commitdiff
|
tree
2013-05-23
Clifford Wolf
Added labels to "help -write-tex-command-reference...
commit
|
commitdiff
|
tree
2013-05-23
Clifford Wolf
Added support for processes to show command
commit
|
commitdiff
|
tree
2013-05-23
Clifford Wolf
Fixed show command for constant assignments
commit
|
commitdiff
|
tree
2013-05-23
Clifford Wolf
Some improvements in opt_rmdff
commit
|
commitdiff
|
tree
2013-05-19
Clifford Wolf
Merge pull request #6 from hansiglaser/master
commit
|
commitdiff
|
tree
2013-05-19
Johann Glaser
added option '-Dname[=definition]' to command 'read_ver...
commit
|
commitdiff
|
tree
2013-05-17
Clifford Wolf
Removed test cases that have been moved to yosys-test.
commit
|
commitdiff
|
tree
2013-05-17
Clifford Wolf
Fixed to aggressive x-folding in opt_const
commit
|
commitdiff
|
tree
2013-05-16
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2013-05-16
Clifford Wolf
Merge branch 'bugfix'
commit
|
commitdiff
|
tree
2013-05-16
Clifford Wolf
Fixed synthesis of functions in latched blocks
commit
|
commitdiff
|
tree
2013-05-14
Clifford Wolf
Improved vcdcd.pl (added -d option)
commit
|
commitdiff
|
tree
2013-05-14
Clifford Wolf
Some improvements in vcdcd.pl
commit
|
commitdiff
|
tree
2013-05-07
Clifford Wolf
Added support for verilog === operator
commit
|
commitdiff
|
tree
2013-05-02
Clifford Wolf
Added tcl "yosys -import" command
commit
|
commitdiff
|
tree
2013-05-01
Clifford Wolf
Improved/simplified TCL bindings
commit
|
commitdiff
|
tree
2013-04-27
Clifford Wolf
Added support for const cell inputs in techmap
commit
|
commitdiff
|
tree
2013-04-27
Clifford Wolf
Fixed README for new show command behavior (svg vs...
commit
|
commitdiff
|
tree
2013-04-26
Clifford Wolf
Added "flatten" pass
commit
|
commitdiff
|
tree
2013-04-26
Clifford Wolf
Fixed handling of positional module parameters
commit
|
commitdiff
|
tree
2013-04-26
Clifford Wolf
Fixed hierarchy pass for hierarchies of parametric...
commit
|
commitdiff
|
tree
2013-04-26
Clifford Wolf
Only use sha1 checksums for names of parametric modules...
commit
|
commitdiff
|
tree
2013-04-15
Clifford Wolf
Fixed "show -format ..." command line parsing
commit
|
commitdiff
|
tree
2013-04-15
Clifford Wolf
Added "submod -name ..." support
commit
|
commitdiff
|
tree
2013-04-13
Clifford Wolf
Fixed a bug in AST frontend for cases with non-blocking...
commit
|
commitdiff
|
tree
2013-04-13
Clifford Wolf
Fixed a bug in opt_const when optimizing 1-bit compares...
commit
|
commitdiff
|
tree
2013-04-07
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2013-04-07
Clifford Wolf
Fixed clock related parameter names for $memrd and...
commit
|
commitdiff
|
tree
2013-04-05
Clifford Wolf
Merge pull request #5 from hansiglaser/master
commit
|
commitdiff
|
tree
2013-04-05
Johann Glaser
fsm_export: optionally use binary state encoding as...
commit
|
commitdiff
|
tree
2013-04-05
Clifford Wolf
Merge pull request #4 from hansiglaser/master
commit
|
commitdiff
|
tree
2013-04-05
Johann Glaser
fsm_export: specify KISS filename on command line
commit
|
commitdiff
|
tree
2013-04-01
Clifford Wolf
Fixed/improved handling of colored wires in show command
commit
|
commitdiff
|
tree
2013-04-01
Clifford Wolf
Added support for @<set-name> in expand select ops...
commit
|
commitdiff
|
tree
2013-04-01
Clifford Wolf
Removed 4096 bytes limit for size of command from scrip...
commit
|
commitdiff
|
tree
2013-04-01
Clifford Wolf
Added -color <color> <selection> option to show command
commit
|
commitdiff
|
tree
2013-03-31
Clifford Wolf
Fixed "select" for "%%" stmt with emty stack
commit
|
commitdiff
|
tree
2013-03-31
Clifford Wolf
Added "script" command
commit
|
commitdiff
|
tree
2013-03-31
Clifford Wolf
Now only use value from "initial" when no matching...
commit
|
commitdiff
|
tree
2013-03-31
Clifford Wolf
Added AST_INITIAL (before verilog "initial" was mapped...
commit
|
commitdiff
|
tree
2013-03-31
Clifford Wolf
Added test cases from 2012 paper on comparison of foss...
commit
|
commitdiff
|
tree
2013-03-31
Clifford Wolf
Added k68 (m68k compatible cpu) test case from verilator
commit
|
commitdiff
|
tree
2013-03-29
Clifford Wolf
Improved opt_share for reduce cells
commit
|
commitdiff
|
tree
2013-03-29
Clifford Wolf
Improved opt_share for commutative standard cells
commit
|
commitdiff
|
tree
2013-03-28
Clifford Wolf
Added EXTRA_TARGETS Makefile variable
commit
|
commitdiff
|
tree
2013-03-28
Clifford Wolf
Improved Makefile: Added ENABLE_* switches
commit
|
commitdiff
|
tree
2013-03-28
Clifford Wolf
Implemented TCL support (only via -c option at the...
commit
|
commitdiff
|
tree
2013-03-28
Clifford Wolf
Improved subcircuit verbose output (added portmapper...
commit
|
commitdiff
|
tree
2013-03-28
Clifford Wolf
Fixed svgviewer hacks for builtin files
commit
|
commitdiff
|
tree
2013-03-28
Clifford Wolf
Added proper TECHMAP_FAIL support and added support...
commit
|
commitdiff
|
tree
2013-03-28
Clifford Wolf
Implemented proper handling of stub placeholder modules
commit
|
commitdiff
|
tree
2013-03-27
Clifford Wolf
Keep viewport transform stable on reload in yosys-svgviewer
commit
|
commitdiff
|
tree
2013-03-27
Clifford Wolf
Added check: only one module for "show" unless format...
commit
|
commitdiff
|
tree
2013-03-27
Clifford Wolf
Now using SVG and yosys-svgviewer per default in show...
commit
|
commitdiff
|
tree
2013-03-27
Clifford Wolf
Added yosys-svgviewer to build system and renamed filte...
commit
|
commitdiff
|
tree
2013-03-27
Clifford Wolf
Imported svgviewer from qt4.8
commit
|
commitdiff
|
tree
2013-03-26
Clifford Wolf
Create nice errors when calling RTLIL::Module::derive...
commit
|
commitdiff
|
tree
2013-03-26
Clifford Wolf
Collect parameters in hierarchy -generate (and do nothi...
commit
|
commitdiff
|
tree
2013-03-26
Clifford Wolf
Tiny bugfix in simlib.v
commit
|
commitdiff
|
tree
2013-03-26
Clifford Wolf
Improvements and bugfixes for generate blocks with...
commit
|
commitdiff
|
tree
2013-03-26
Clifford Wolf
Fixed handling of unconditional generate blocks
commit
|
commitdiff
|
tree
2013-03-25
Clifford Wolf
Added nosync attribute and some async reset related...
commit
|
commitdiff
|
tree
2013-03-25
Clifford Wolf
Improved verbose output of subcircuit
commit
|
commitdiff
|
tree
2013-03-25
Clifford Wolf
Improved method for finding fsm_expand candidates
commit
|
commitdiff
|
tree
2013-03-25
Clifford Wolf
Added hierarchy -generate command for generating skelet...
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Changed fsm_expand to merge multiplexers more aggressively
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Renamed hansimem.v test case to mem_arst.v
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Fixed handling of show -viewer
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Fixed handling of internal signals in show command
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Improved show -colors color assignments
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Added show -strech and renamed -widthlabels to -width
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Added -widthlabels options to chow command
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Added -notypes option to intersynth backend
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Reorganized TODOs
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Added mem2reg option to verilog frontend
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Fixed stdcells.v for $adff with undef reset value
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Another fix in mem2reg ast simplify logic
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Added -colors option to show command
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Added hansimem testcase (memory with async reset)
commit
|
commitdiff
|
tree
2013-03-24
Clifford Wolf
Improved mem2reg handling in ast simplifier
commit
|
commitdiff
|
tree
2013-03-23
Clifford Wolf
Fixed gcc build (intersynth backend)
commit
|
commitdiff
|
tree
2013-03-23
Clifford Wolf
Tiny fixes to verilog parser
commit
|
commitdiff
|
tree
next