2017-11-28 |
Clifford Wolf | Merge pull request #462 from daveshah1/up5k
|
commit | commitdiff | tree |
2017-11-27 |
Clifford Wolf | Fixed "yosys-smtbmc -g" handling of no solution
|
commit | commitdiff | tree |
2017-11-26 |
Clifford Wolf | Merge pull request #460 from mithro/g3-fixes
|
commit | commitdiff | tree |
2017-11-26 |
Clifford Wolf | Merge pull request #461 from mithro/travis-rework
|
commit | commitdiff | tree |
2017-11-24 |
Clifford Wolf | Merge pull request #446 from mithro/travis-rework
|
commit | commitdiff | tree |
2017-11-23 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys
|
commit | commitdiff | tree |
2017-11-23 |
Clifford Wolf | Add Verilog "automatic" keyword (ignored in synthesis)
|
commit | commitdiff | tree |
2017-11-18 |
Clifford Wolf | Merge pull request #455 from daveshah1/up5k
|
commit | commitdiff | tree |
2017-11-18 |
Clifford Wolf | Accept real-valued delay values
|
commit | commitdiff | tree |
2017-11-18 |
Clifford Wolf | Merge pull request #452 from cr1901/master
|
commit | commitdiff | tree |
2017-11-18 |
Clifford Wolf | Merge pull request #453 from dh73/master
|
commit | commitdiff | tree |
2017-11-16 |
Clifford Wolf | Add "synth_ice40 -vpr"
|
commit | commitdiff | tree |
2017-11-08 |
Clifford Wolf | Add support for editline as replacement for readline
|
commit | commitdiff | tree |
2017-10-31 |
Clifford Wolf | Add "ltp" command
|
commit | commitdiff | tree |
2017-10-29 |
Clifford Wolf | Fix SMT2 handling of initstate in sub-modules
|
commit | commitdiff | tree |
2017-10-26 |
Clifford Wolf | Fix memory corruption bug in opt_rmdff
|
commit | commitdiff | tree |
2017-10-26 |
Clifford Wolf | Fix typo in opt_clean log message
|
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Improve smtio performance by using reader thread, not...
|
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Use separate writer thread for talking to SMT solver...
|
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Improve p_* functions in smtio.py
|
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Disable OSX in .travis.yml
|
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Add ENABLE_DEBUG config flag
|
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Update ABC to hg rev f6838749f234
|
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Remove vhdl2verilog
|
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Capsulate smt-solver read/write in separate functions
|
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Fix a bug in yosys-smtbmc in ROM handling
|
commit | commitdiff | tree |
2017-10-20 |
Clifford Wolf | Remove PSL example from tests/sva/
|
commit | commitdiff | tree |
2017-10-20 |
Clifford Wolf | Remove all PSL support code from verific.cc
|
commit | commitdiff | tree |
2017-10-20 |
Clifford Wolf | Merge pull request #437 from mithro/master
|
commit | commitdiff | tree |
2017-10-14 |
Clifford Wolf | Revert 90be0d8 as it causes endless loops for some...
|
commit | commitdiff | tree |
2017-10-13 |
Clifford Wolf | Add "verific -vlog-libdir"
|
commit | commitdiff | tree |
2017-10-13 |
Clifford Wolf | Add "verific -vlog-incdir" and "verific -vlog-define"
|
commit | commitdiff | tree |
2017-10-13 |
Clifford Wolf | Update Verific README
|
commit | commitdiff | tree |
2017-10-12 |
Clifford Wolf | Merge pull request #434 from Kmanfi/vector_fix
|
commit | commitdiff | tree |
2017-10-12 |
Clifford Wolf | Add Verific fairness/liveness support
|
commit | commitdiff | tree |
2017-10-11 |
Clifford Wolf | Update ABC to hg rev 6283c5d99b06
|
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys
|
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Start work on pre-processor for Verific SVA properties
|
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Rewrite ABC output to include proper net names in timing...
|
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Add timing constraints to osu035 example
|
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Remove some dead code
|
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Allow $past, $stable, $rose, $fell in $global_clock...
|
commit | commitdiff | tree |
2017-10-07 |
Clifford Wolf | Add $shiftx support to verilog front-end
|
commit | commitdiff | tree |
2017-10-06 |
Clifford Wolf | Update ABC to hg rev 0fc1803a77c0
|
commit | commitdiff | tree |
2017-10-05 |
Clifford Wolf | Improve handling of Verific errors
|
commit | commitdiff | tree |
2017-10-04 |
Clifford Wolf | Improve Verific error handling, check VHDL static asserts
|
commit | commitdiff | tree |
2017-10-04 |
Clifford Wolf | Add blackbox command
|
commit | commitdiff | tree |
2017-10-04 |
Clifford Wolf | Fix nasty bug in Verific bindings
|
commit | commitdiff | tree |
2017-10-03 |
Clifford Wolf | Merge branch 'pr_ast_const_funcs' of https://github...
|
commit | commitdiff | tree |
2017-10-03 |
Clifford Wolf | Merge branch 'fix_shift_reduce_conflict' of https:...
|
commit | commitdiff | tree |
2017-10-03 |
Clifford Wolf | Merge branch 'dh73-master'
|
commit | commitdiff | tree |
2017-10-03 |
Clifford Wolf | Rename "write_verilog -nobasenradix" to "write_verilog...
|
commit | commitdiff | tree |
2017-09-29 |
Clifford Wolf | Add first draft of eASIC back-end
|
commit | commitdiff | tree |
2017-09-29 |
Clifford Wolf | Fix synth_ice40 doc regarding -top default
|
commit | commitdiff | tree |
2017-09-29 |
Clifford Wolf | Allow $size and $bits in verilog mode, actually check...
|
commit | commitdiff | tree |
2017-09-29 |
Clifford Wolf | Merge pull request #425 from udif/udif_dollar_bits
|
commit | commitdiff | tree |
2017-09-28 |
Clifford Wolf | Merge pull request #421 from stephengroat/osx-travis
|
commit | commitdiff | tree |
2017-09-27 |
Clifford Wolf | Increase maximum LUT size in blifparse to 12 bits
|
commit | commitdiff | tree |
2017-09-26 |
Clifford Wolf | Parse reals as string in JSON front-end
|
commit | commitdiff | tree |
2017-09-26 |
Clifford Wolf | Merge branch 'vlogpp-inc-fixes'
|
commit | commitdiff | tree |
2017-09-26 |
Clifford Wolf | Minor coding style fix
|
commit | commitdiff | tree |
2017-09-26 |
Clifford Wolf | Merge branch 'master' of https://github.com/combinatorylogic...
|
commit | commitdiff | tree |
2017-09-25 |
Clifford Wolf | Fix ignoring of simulation timings so that invalid...
|
commit | commitdiff | tree |
2017-09-16 |
Clifford Wolf | Merge pull request #413 from azonenberg/extract-reduce...
|
commit | commitdiff | tree |
2017-09-15 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys
|
commit | commitdiff | tree |
2017-09-15 |
Clifford Wolf | Update ABC to hg rev cd6984ee82d4
|
commit | commitdiff | tree |
2017-09-14 |
Clifford Wolf | Merge pull request #412 from azonenberg/reduce-fixes
|
commit | commitdiff | tree |
2017-09-14 |
Clifford Wolf | Merge pull request #411 from azonenberg/counter-extraction...
|
commit | commitdiff | tree |
2017-09-14 |
Clifford Wolf | Merge pull request #410 from azonenberg/opt_demorgan
|
commit | commitdiff | tree |
2017-09-09 |
Clifford Wolf | Add src attribute to extra cells generated by proc_dlatch
|
commit | commitdiff | tree |
2017-09-09 |
Clifford Wolf | Add src arguments to all cell creator helper functions
|
commit | commitdiff | tree |
2017-09-02 |
Clifford Wolf | Further improve extract_fa (but still buggy)
|
commit | commitdiff | tree |
2017-09-02 |
Clifford Wolf | Merge pull request #406 from azonenberg/coolrunner...
|
commit | commitdiff | tree |
2017-09-02 |
Clifford Wolf | Merge pull request #405 from azonenberg/gpak-refactoring
|
commit | commitdiff | tree |
2017-09-01 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys
|
commit | commitdiff | tree |
2017-09-01 |
Clifford Wolf | Merge branch 'ChipScan-master'
|
commit | commitdiff | tree |
2017-09-01 |
Clifford Wolf | Update more stuff to use get_src_attribute() and set_src_att...
|
commit | commitdiff | tree |
2017-08-31 |
Clifford Wolf | Merge pull request #399 from azonenberg/counter-extraction
|
commit | commitdiff | tree |
2017-08-30 |
Clifford Wolf | Merge pull request #397 from azonenberg/gpak-libfixes
|
commit | commitdiff | tree |
2017-08-30 |
Clifford Wolf | Add {get,set}_src_attribute() methods on RTLIL::AttrObject
|
commit | commitdiff | tree |
2017-08-28 |
Clifford Wolf | Merge branch 'azonenberg-recover-reduce'
|
commit | commitdiff | tree |
2017-08-28 |
Clifford Wolf | Rename recover_reduce to extract_reduce, fix args handling
|
commit | commitdiff | tree |
2017-08-28 |
Clifford Wolf | Merge branch 'recover-reduce' of https://github.com...
|
commit | commitdiff | tree |
2017-08-28 |
Clifford Wolf | Further improve extract_fa pass
|
commit | commitdiff | tree |
2017-08-28 |
Clifford Wolf | Merge pull request #392 from azonenberg/greenpak-portfixes
|
commit | commitdiff | tree |
2017-08-25 |
Clifford Wolf | Don't track , ... contradictions through x/z-bits
|
commit | commitdiff | tree |
2017-08-25 |
Clifford Wolf | Add removing of redundant pairs of bits in ==, ===...
|
commit | commitdiff | tree |
2017-08-25 |
Clifford Wolf | Merge branch 'extract_fa'
|
commit | commitdiff | tree |
2017-08-25 |
Clifford Wolf | Further improve extract_fa (seems to be fully functional...
|
commit | commitdiff | tree |
2017-08-25 |
Clifford Wolf | Rename "adders" to "extract_fa"
|
commit | commitdiff | tree |
2017-08-25 |
Clifford Wolf | Fix bug in write_smt2 (export logic driving hierarchical...
|
commit | commitdiff | tree |
2017-08-23 |
Clifford Wolf | Towards more generic "adder" function extractor
|
commit | commitdiff | tree |
2017-08-22 |
Clifford Wolf | Add experimental adders pass
|
commit | commitdiff | tree |
2017-08-22 |
Clifford Wolf | Add hashlib support for hashing of pools
|
commit | commitdiff | tree |
2017-08-22 |
Clifford Wolf | Add consteval support for $_ANDNOT_ and $_ORNOT_
|
commit | commitdiff | tree |
2017-08-21 |
Clifford Wolf | Remove some dead code from fsm_map
|
commit | commitdiff | tree |
2017-08-20 |
Clifford Wolf | Rename "singleton" pass to "uniquify"
|
commit | commitdiff | tree |
2017-08-18 |
Clifford Wolf | More intuitive handling of "cd .." for singleton modules
|
commit | commitdiff | tree |
2017-08-18 |
Clifford Wolf | Add "sim -zinit -rstlen"
|
commit | commitdiff | tree |
2017-08-18 |
Clifford Wolf | Merge branch 'sim'
|
commit | commitdiff | tree |
next |