projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2017-03-19
Clifford Wolf
Fix EDIF: portRef member 0 is always the MSB bit
commit
|
commitdiff
|
tree
2017-03-18
Clifford Wolf
Add simple EDIF test case generator and checker
commit
|
commitdiff
|
tree
2017-03-14
Clifford Wolf
Fix verilog pre-processor for multi-level relative...
commit
|
commitdiff
|
tree
2017-03-04
Clifford Wolf
Improve smt2 encodings of assert/assume/cover, better...
commit
|
commitdiff
|
tree
2017-03-02
Clifford Wolf
Add write_aiger $anyseq support
commit
|
commitdiff
|
tree
2017-03-01
Clifford Wolf
Allow $anyconst, etc. in non-formal SV mode
commit
|
commitdiff
|
tree
2017-02-28
Clifford Wolf
Disable opt_merge for $anyseq and $anyconst
commit
|
commitdiff
|
tree
2017-02-28
Clifford Wolf
Use hex addresses in smtbmc vcd mem traces
commit
|
commitdiff
|
tree
2017-02-27
Clifford Wolf
Add "chformal -assert2assume" and friends
commit
|
commitdiff
|
tree
2017-02-27
Clifford Wolf
Add "chformal" pass
commit
|
commitdiff
|
tree
2017-02-26
Clifford Wolf
Add smtbmc support for memory vcd dumping
commit
|
commitdiff
|
tree
2017-02-26
Clifford Wolf
Fix extra newline bug in write_smt2
commit
|
commitdiff
|
tree
2017-02-26
Clifford Wolf
Fix bug in smtio unroll code
commit
|
commitdiff
|
tree
2017-02-26
Clifford Wolf
Fix assert checking in "yosys-smtbmc -c --append"
commit
|
commitdiff
|
tree
2017-02-26
Clifford Wolf
Improve (and fix for stbv mode) SMT2 memory API
commit
|
commitdiff
|
tree
2017-02-25
Clifford Wolf
Add support for "yosys-smtbmc -c --append"
commit
|
commitdiff
|
tree
2017-02-25
Clifford Wolf
Update ABC to hg rev 3a95bfa55df7
commit
|
commitdiff
|
tree
2017-02-25
Clifford Wolf
Merge branch 'klammerj-master'
commit
|
commitdiff
|
tree
2017-02-25
Clifford Wolf
Improve "write_edif" help message
commit
|
commitdiff
|
tree
2017-02-25
Clifford Wolf
Move EdifNames out of double-private namespace
commit
|
commitdiff
|
tree
2017-02-25
Clifford Wolf
Clean up edif code, swap bit indexing of "upto" ports
commit
|
commitdiff
|
tree
2017-02-25
Clifford Wolf
Merge branch 'master' of https://github.com/klammerj...
commit
|
commitdiff
|
tree
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
Johann Klammer
Did as you requested, /but/...
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
Johann Klammer
add options for edif flavors
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
next