projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2017-02-25
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2017-02-25
Clifford Wolf
Add $live and $fair support to AIGER back-end.
commit
|
commitdiff
|
tree
2017-02-25
Clifford Wolf
Add $live and $fair cell types, add support for s_event...
commit
|
commitdiff
|
tree
2017-02-24
Clifford Wolf
Merge pull request #322 from azonenberg/master
commit
|
commitdiff
|
tree
2017-02-24
Clifford Wolf
Add "write_smt2 -stbv"
commit
|
commitdiff
|
tree
2017-02-24
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
commit
|
commitdiff
|
tree
2017-02-24
Clifford Wolf
Add SMT2 statebv mode (inactive for now)
commit
|
commitdiff
|
tree
2017-02-24
Clifford Wolf
Merge pull request #320 from joshhead/uninstall-binpath-fix
commit
|
commitdiff
|
tree
2017-02-24
Josh Headapohl
Add missing slashes in paths for make uninstall
commit
|
commitdiff
|
tree
2017-02-23
Clifford Wolf
Add support for SystemVerilog unique, unique0, and...
commit
|
commitdiff
|
tree
2017-02-23
Clifford Wolf
Preserve string parameters
commit
|
commitdiff
|
tree
2017-02-23
Clifford Wolf
Fix mingw compile issue (2nd attempt)
commit
|
commitdiff
|
tree
2017-02-23
Clifford Wolf
Fix mingw compile issue (maybe.. I can't test it)
commit
|
commitdiff
|
tree
2017-02-23
Clifford Wolf
Added SystemVerilog support for ++ and --
commit
|
commitdiff
|
tree
2017-02-22
Clifford Wolf
Update ABC to hg rev 8da4dc435b9f
commit
|
commitdiff
|
tree
2017-02-19
Clifford Wolf
Add "yosys-smtbmc -S <opt>"
commit
|
commitdiff
|
tree
2017-02-16
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
commit
|
commitdiff
|
tree
2017-02-16
Clifford Wolf
Copy attributes to _TECHMAP_REPLACE_ cells
commit
|
commitdiff
|
tree
2017-02-16
Clifford Wolf
Fix eval implementation of $_NOR_
commit
|
commitdiff
|
tree
2017-02-14
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
commit
|
commitdiff
|
tree
2017-02-14
Clifford Wolf
Fix incorrect "incompatible re-declaration of wire...
commit
|
commitdiff
|
tree
2017-02-14
Clifford Wolf
Add warning about x/z bits left unconnected in EDIF...
commit
|
commitdiff
|
tree
2017-02-14
Clifford Wolf
Fix double-call of log_pop() in synth_greenpak4
commit
|
commitdiff
|
tree
2017-02-14
Clifford Wolf
Merge pull request #313 from azidar/bugfix-assign-wmask
commit
|
commitdiff
|
tree
2017-02-13
Adam Izraelevitz
More progress on Firrtl backend.
commit
|
commitdiff
|
tree
2017-02-13
Clifford Wolf
Do not fix port widths on any blackbox instances
commit
|
commitdiff
|
tree
2017-02-13
Clifford Wolf
Fix techmap for inout ports connected to inout ports
commit
|
commitdiff
|
tree
2017-02-12
Clifford Wolf
Do not eagerly fix port widths on parameterized cells
commit
|
commitdiff
|
tree
2017-02-12
Clifford Wolf
Add "yosys -w" for suppressing warnings
commit
|
commitdiff
|
tree
2017-02-11
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Add support for verific mem initialization
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Fix another stupid bug in the same line
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Add verific support for initialized variables
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Improve handling of Verific warnings and error messages
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Fix extremely stupid typo
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Add log_wire() API
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Fixed some "used uninitialized" warnings in opt_expr
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Evaluate all the $(shell ...) stuff for CXXFLAGS et...
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Merge branch 'stv0g-master'
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Make MacOS Makefile stuff more compact
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Merge branch 'master' of https://github.com/stv0g/yosys...
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Add optimization of (a && 1'b1) and (a || 1'b0)
commit
|
commitdiff
|
tree
2017-02-11
Clifford Wolf
Merge pull request #308 from C-Elegans/opt_compare_fix_pr
commit
|
commitdiff
|
tree
2017-02-10
C-Elegans
Fix issue #306, "Bug in opt -full"
commit
|
commitdiff
|
tree
2017-02-10
Steffen Vogel
Use pkg-config for linking tcl-tk
commit
|
commitdiff
|
tree
2017-02-10
Steffen Vogel
Dont mix Homebrew and MacPorts build options
commit
|
commitdiff
|
tree
2017-02-09
Steffen Vogel
Remove space after backslash
commit
|
commitdiff
|
tree
2017-02-09
Steffen Vogel
Applied fixes from @joshhead (thanks for your effors!)
commit
|
commitdiff
|
tree
2017-02-09
Clifford Wolf
Fix handling of init attributes with strange width
commit
|
commitdiff
|
tree
2017-02-09
Clifford Wolf
Add checker support to verilog front-end
commit
|
commitdiff
|
tree
2017-02-09
Clifford Wolf
Add "rand" and "rand const" verific support
commit
|
commitdiff
|
tree
2017-02-09
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
commit
|
commitdiff
|
tree
2017-02-08
Clifford Wolf
Add SV "rand" and "const rand" support
commit
|
commitdiff
|
tree
2017-02-08
Clifford Wolf
Add PSL parser mode to verific front-end
commit
|
commitdiff
|
tree
2017-02-07
Steffen Vogel
Added notes for compilation on OS X
commit
|
commitdiff
|
tree
2017-02-07
Steffen Vogel
Fix compilation on OS X in order to support both MacPor...
commit
|
commitdiff
|
tree
2017-02-07
Steffen Vogel
Allow standard tools to be overwritten in make invocation
commit
|
commitdiff
|
tree
2017-02-06
Clifford Wolf
Add "read_blif -wideports"
commit
|
commitdiff
|
tree
2017-02-05
Clifford Wolf
Fix undef propagation bug in $pmux SAT model
commit
|
commitdiff
|
tree
2017-02-05
Clifford Wolf
Update ABC to hg rev a2fcd1cc61a6
commit
|
commitdiff
|
tree
2017-02-05
Clifford Wolf
Merge pull request #304 from esden/gsed-darwin
commit
|
commitdiff
|
tree
2017-02-05
Piotr Esden...
Use -E sed parameter instead of -r.
commit
|
commitdiff
|
tree
2017-02-04
Clifford Wolf
Add assert check in "yosys-smtbmc -c"
commit
|
commitdiff
|
tree
2017-02-04
Clifford Wolf
Improve yosys-smtbmc cover() support
commit
|
commitdiff
|
tree
2017-02-04
Clifford Wolf
Partially implement cover() support in yosys-smtbmc
commit
|
commitdiff
|
tree
2017-02-04
Clifford Wolf
Further improve cover() support
commit
|
commitdiff
|
tree
2017-02-04
Clifford Wolf
Add $cover cell type and SVA cover() support
commit
|
commitdiff
|
tree
2017-02-04
Clifford Wolf
Add assert/assume support to verific front-end
commit
|
commitdiff
|
tree
2017-02-01
Clifford Wolf
Update ABC to hg rev fe96921e5d50
commit
|
commitdiff
|
tree
2017-02-01
Clifford Wolf
Update ABC scripts to use "&nf" instead of "map"
commit
|
commitdiff
|
tree
2017-01-31
Clifford Wolf
Merge branch 'C-Elegans-opt_compare_pr'
commit
|
commitdiff
|
tree
2017-01-31
Clifford Wolf
Fix indenting and log messages in code merged from...
commit
|
commitdiff
|
tree
2017-01-31
Clifford Wolf
Merge branch 'opt_compare_pr' of https://github.com...
commit
|
commitdiff
|
tree
2017-01-31
Steffen Vogel
use Homebrew only if installed
commit
|
commitdiff
|
tree
2017-01-31
Clifford Wolf
Improve opt_rmdff support for $dlatch cells
commit
|
commitdiff
|
tree
2017-01-30
C-Elegans
Refactor and generalize the comparision optimization
commit
|
commitdiff
|
tree
2017-01-30
Clifford Wolf
Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename...
commit
|
commitdiff
|
tree
2017-01-30
Clifford Wolf
Add $ff and $_FF_ support to equiv_simple
commit
|
commitdiff
|
tree
2017-01-28
Clifford Wolf
Add "yosys-smtbmc --aig-noheader" and AIGER mem init...
commit
|
commitdiff
|
tree
2017-01-26
Clifford Wolf
Be more conservative with merging large cells into...
commit
|
commitdiff
|
tree
2017-01-26
Clifford Wolf
Add warnings for quickly growing FSM table size in...
commit
|
commitdiff
|
tree
2017-01-26
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2017-01-25
Clifford Wolf
Fix RTLIL::Memory::start_offset initialization
commit
|
commitdiff
|
tree
2017-01-21
C-Elegans
Do not use b.as_int() in calculation of bit set
commit
|
commitdiff
|
tree
2017-01-17
Clifford Wolf
Add "enum" and "typedef" lexer support
commit
|
commitdiff
|
tree
2017-01-16
C-Elegans
Optimize compares to powers of 2
commit
|
commitdiff
|
tree
2017-01-16
Clifford Wolf
Merge pull request #293 from thoughtpolice/minor-cleanup
commit
|
commitdiff
|
tree
2017-01-15
Austin Seipp
passes/hierarchy: delete some dead code
commit
|
commitdiff
|
tree
2017-01-15
C-Elegans
Fix issue #269, optimize signed compare with 0
commit
|
commitdiff
|
tree
2017-01-15
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
commit
|
commitdiff
|
tree
2017-01-15
Clifford Wolf
Fix bug in AstNode::mem2reg_as_needed_pass2()
commit
|
commitdiff
|
tree
2017-01-11
Clifford Wolf
Fix $initstate handling bug in yosys-smtbmc
commit
|
commitdiff
|
tree
2017-01-11
Clifford Wolf
Update ABC to hg id f8cadfe3861f
commit
|
commitdiff
|
tree
2017-01-08
Clifford Wolf
Updated ABC to hg id 38b26a543f1d
commit
|
commitdiff
|
tree
2017-01-05
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
commit
|
commitdiff
|
tree
2017-01-05
Clifford Wolf
Fixed handling of local memories in functions
commit
|
commitdiff
|
tree
2017-01-04
Clifford Wolf
Added "check -initdrv"
commit
|
commitdiff
|
tree
2017-01-04
Clifford Wolf
Added handling of local memories and error for local...
commit
|
commitdiff
|
tree
2017-01-04
Clifford Wolf
Implicitly set "yosys-smtbmc --noprogress" on windows
commit
|
commitdiff
|
tree
2017-01-04
Clifford Wolf
Fixed typo in tests/simple/arraycells.v
commit
|
commitdiff
|
tree
next