| 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-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 | 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 |
Larry Doolittle | Clean whitespace and permissions in techlibs/intel
|
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-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-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-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-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-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-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 |
| 2017-08-18 |
Clifford Wolf | Add "sim" support for memories
|
commit | commitdiff | tree |
| 2017-08-18 |
Clifford Wolf | Add Const methods is_fully_zero(), is_fully_def(),...
|
commit | commitdiff | tree |
| 2017-08-18 |
Clifford Wolf | Add support for assert/assume/cover to "sim" command
|
commit | commitdiff | tree |
| 2017-08-17 |
Clifford Wolf | Add writeback mode to "sim" command
|
commit | commitdiff | tree |
| 2017-08-17 |
Clifford Wolf | Improve "sim" command
|
commit | commitdiff | tree |
| 2017-08-16 |
Clifford Wolf | Add "sim" command skeleton
|
commit | commitdiff | tree |
| 2017-08-15 |
Clifford Wolf | Merge branch 'azonenberg-rmports'
|
commit | commitdiff | tree |
| 2017-08-15 |
Clifford Wolf | Mostly coding style related fixes in rmports pass
|
commit | commitdiff | tree |
| 2017-08-15 |
Clifford Wolf | Merge branch 'rmports' of https://github.com/azonenberg...
|
commit | commitdiff | tree |
| 2017-08-09 |
Clifford Wolf | Add support for set-reset cell variants to opt_rmdff
|
commit | commitdiff | tree |
| 2017-08-09 |
Clifford Wolf | Auto-detect JSON front-end
|
commit | commitdiff | tree |
| 2017-08-06 |
Clifford Wolf | Add handling of constant reset signals to opt_rmdff
|
commit | commitdiff | tree |
| 2017-08-04 |
Clifford Wolf | Add "yosys-smtbmc --smtc-init --smtc-top --noinit"
|
commit | commitdiff | tree |
| 2017-08-04 |
Clifford Wolf | Add "-undefined dynamic_lookup" to OSX "yosys-config...
|
commit | commitdiff | tree |
| 2017-07-29 |
Clifford Wolf | Fix typo in "abc" pass help message
|
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Add merging of "past FFs" to verific importer
|
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Add consolidation of init attributes to opt_clean,...
|
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Add minimal support for PSL in VHDL via Verific
|
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Add simple VHDL+PSL example
|
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Improve Verific HDL language options
|
commit | commitdiff | tree |
| 2017-07-28 |
Clifford Wolf | Fix handling of non-user-declared Verific netbus
|
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Improve Verific SVA importer
|
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Add counter.sv SVA test
|
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Add log_warning_noprefix() API, Use for Verific warnings...
|
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Add "verific -import -n" and "verific -import -nosva"
|
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Improve SVA tests, add Makefile and scripts
|
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Improve Verific SVA import: negedge and $past
|
commit | commitdiff | tree |
| 2017-07-27 |
Clifford Wolf | Improve Verific SVA importer
|
commit | commitdiff | tree |
| 2017-07-26 |
Clifford Wolf | Add "opt_expr -fine" feature to remove neutral bits...
|
commit | commitdiff | tree |
| 2017-07-26 |
Clifford Wolf | Improve Verific bindings (mostly related to SVA)
|
commit | commitdiff | tree |
| 2017-07-25 |
Clifford Wolf | Improve "help verific" message
|
commit | commitdiff | tree |
| next |
projects / yosys.git / search