projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2017-07-03
Clifford Wolf
Apply minor coding style changes to coolrunner2 target
commit
|
commitdiff
|
tree
2017-07-03
Clifford Wolf
Merge pull request #352 from rqou/master
commit
|
commitdiff
|
tree
2017-07-03
Clifford Wolf
Merge pull request #356 from set-soft/clean-test
commit
|
commitdiff
|
tree
2017-07-03
Clifford Wolf
Merge pull request #355 from set-soft/exclude_TBUF_merge
commit
|
commitdiff
|
tree
2017-07-03
Salvador E...
Added the test outputs to the clean target
commit
|
commitdiff
|
tree
2017-07-03
Salvador E...
Excluded $_TBUF_ from opt_merge pass
commit
|
commitdiff
|
tree
2017-07-03
Clifford Wolf
Remove unneeded delays in smtbmc vlogtb
commit
|
commitdiff
|
tree
2017-07-03
Clifford Wolf
Include output ports with constant driver in AIGER...
commit
|
commitdiff
|
tree
2017-07-01
Clifford Wolf
Add "yosys-smtbmc --vlogtb-top"
commit
|
commitdiff
|
tree
2017-07-01
Clifford Wolf
Fix and_or_buffer optimization in opt_expr for signed...
commit
|
commitdiff
|
tree
2017-07-01
Clifford Wolf
Fix smtbmc vlogtb bug in $anyseq handling
commit
|
commitdiff
|
tree
2017-06-30
Clifford Wolf
Add "design -import"
commit
|
commitdiff
|
tree
2017-06-30
Clifford Wolf
Add chtype command
commit
|
commitdiff
|
tree
2017-06-30
Clifford Wolf
Add $tribuf to opt_merge blacklist
commit
|
commitdiff
|
tree
2017-06-27
Clifford Wolf
Merge pull request #353 from azonenberg/master
commit
|
commitdiff
|
tree
2017-06-26
Robert Ou
coolrunner2: Add a few more primitives
commit
|
commitdiff
|
tree
2017-06-26
Robert Ou
coolrunner2: Initial mapping of latches
commit
|
commitdiff
|
tree
2017-06-26
Robert Ou
coolrunner2: Initial mapping of DFFs
commit
|
commitdiff
|
tree
2017-06-26
Robert Ou
coolrunner2: Remove redundant INVERT_PTC
commit
|
commitdiff
|
tree
2017-06-26
Robert Ou
coolrunner2: Remove debug prints
commit
|
commitdiff
|
tree
2017-06-26
Robert Ou
coolrunner2: Correctly handle $_NOT_ after $sop
commit
|
commitdiff
|
tree
2017-06-26
Robert Ou
coolrunner2: Also construct the XOR cell in the macrocell
commit
|
commitdiff
|
tree
2017-06-26
Robert Ou
coolrunner2: Initial techmapping for $sop
commit
|
commitdiff
|
tree
2017-06-24
Andrew Zonenberg
greenpak4_counters: Changed generation of primitive...
commit
|
commitdiff
|
tree
2017-06-24
Robert Ou
coolrunner2: Initial commit
commit
|
commitdiff
|
tree
2017-06-20
Clifford Wolf
Fix handling of init values in "abc -dff" and "abc...
commit
|
commitdiff
|
tree
2017-06-20
Clifford Wolf
Fix history namespace collision
commit
|
commitdiff
|
tree
2017-06-20
Clifford Wolf
Store command history when terminating with an error
commit
|
commitdiff
|
tree
2017-06-20
Clifford Wolf
Switched abc "clock domain not found" error to log_cmd_...
commit
|
commitdiff
|
tree
2017-06-07
Clifford Wolf
Fix generation of vlogtb output in yosys-smtbmc for...
commit
|
commitdiff
|
tree
2017-06-01
Clifford Wolf
Fix handling of Verilog ~& and ~| operators
commit
|
commitdiff
|
tree
2017-05-31
Clifford Wolf
Update ABC to hg rev efbf7f13ea9e
commit
|
commitdiff
|
tree
2017-05-31
Clifford Wolf
Add dff2ff.v techmap file
commit
|
commitdiff
|
tree
2017-05-30
Clifford Wolf
Fix AIGER back-end for multiple symbols per input/latch...
commit
|
commitdiff
|
tree
2017-05-28
Clifford Wolf
Add "setundef -anyseq"
commit
|
commitdiff
|
tree
2017-05-28
Clifford Wolf
Improve write_aiger handling of unconnected nets and...
commit
|
commitdiff
|
tree
2017-05-27
Clifford Wolf
Change default smt2 solver to yices (Yices 2 has switch...
commit
|
commitdiff
|
tree
2017-05-24
Clifford Wolf
Add aliases for common sets of gate types to "abc -g"
commit
|
commitdiff
|
tree
2017-05-23
Clifford Wolf
Add examples/osu035
commit
|
commitdiff
|
tree
2017-05-23
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2017-05-23
Clifford Wolf
Merge pull request #346 from azonenberg/master
commit
|
commitdiff
|
tree
2017-05-23
Andrew Zonenberg
greenpak4_counters: Added support for parallel output...
commit
|
commitdiff
|
tree
2017-05-17
Clifford Wolf
Add workaround for CBMC bug to SimpleC back-end
commit
|
commitdiff
|
tree
2017-05-17
Clifford Wolf
Enable readline and tcl in mxe builds
commit
|
commitdiff
|
tree
2017-05-17
Clifford Wolf
Add missing AndnotGate() and OrnotGate() declarations...
commit
|
commitdiff
|
tree
2017-05-17
Clifford Wolf
Add $_ANDNOT_ and $_ORNOT_ gates
commit
|
commitdiff
|
tree
2017-05-16
Clifford Wolf
Add <modname>_init() function generator to simpleC...
commit
|
commitdiff
|
tree
2017-05-16
Clifford Wolf
Improve simplec back-end
commit
|
commitdiff
|
tree
2017-05-15
Clifford Wolf
Improve simplec back-end
commit
|
commitdiff
|
tree
2017-05-14
Clifford Wolf
Improve simplec back-end
commit
|
commitdiff
|
tree
2017-05-13
Clifford Wolf
Improve simplec back-end
commit
|
commitdiff
|
tree
2017-05-12
Clifford Wolf
Improve simplec back-end
commit
|
commitdiff
|
tree
2017-05-12
Clifford Wolf
Added support for more gate types to simplec back-end
commit
|
commitdiff
|
tree
2017-05-12
Clifford Wolf
Add first draft of simple C back-end
commit
|
commitdiff
|
tree
2017-05-11
Clifford Wolf
Update ABC to hg rev e79576e10d72
commit
|
commitdiff
|
tree
2017-05-08
Clifford Wolf
Fix boolector support in yosys-smtbmc
commit
|
commitdiff
|
tree
2017-04-30
Clifford Wolf
Add support for localparam in module header
commit
|
commitdiff
|
tree
2017-04-28
Clifford Wolf
Fix equiv_simple, old behavior now available with ...
commit
|
commitdiff
|
tree
2017-04-26
Clifford Wolf
Add support for `resetall compiler directive
commit
|
commitdiff
|
tree
2017-04-12
Clifford Wolf
Replace CRLF line endings with LF in de2i.qsf (quartus...
commit
|
commitdiff
|
tree
2017-04-12
Larry Doolittle
Squelch trailing whitespace
commit
|
commitdiff
|
tree
2017-04-07
Clifford Wolf
Add MAX10 and Cyclone IV items to CHANGELOG
commit
|
commitdiff
|
tree
2017-04-07
Clifford Wolf
Merge pull request #337 from dh73/master
commit
|
commitdiff
|
tree
2017-04-06
dh73
Add initial support for both MAX10 and Cyclone IV ...
commit
|
commitdiff
|
tree
2017-04-05
Clifford Wolf
Add ConstEval defaultval feature
commit
|
commitdiff
|
tree
2017-04-05
Clifford Wolf
Fix gcc compiler warning
commit
|
commitdiff
|
tree
2017-03-28
Clifford Wolf
Add front-end detection for *.tcl files
commit
|
commitdiff
|
tree
2017-03-27
Clifford Wolf
Add minisat 00_PATCH_typofixes.patch
commit
|
commitdiff
|
tree
2017-03-27
Clifford Wolf
Remove use of <fpu_control.h> in minisat
commit
|
commitdiff
|
tree
2017-03-20
Clifford Wolf
Add "write_smt2 -stdt" mode
commit
|
commitdiff
|
tree
2017-03-19
Clifford Wolf
Add generation of logic cells to EDIF back-end runtest.py
commit
|
commitdiff
|
tree
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
next