projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2018-03-01
Clifford Wolf
Mangle names with square brackets in VCD files to work...
commit
|
commitdiff
|
tree
2018-03-01
Clifford Wolf
Fixes and improvements in Verific SVA importer
commit
|
commitdiff
|
tree
2018-03-01
Clifford Wolf
Add $rose/$fell support to Verific bindings
commit
|
commitdiff
|
tree
2018-02-28
Clifford Wolf
Merge branch 'verificsva-ng'
commit
|
commitdiff
|
tree
2018-02-28
Clifford Wolf
Add support for PRIM_SVA_UNTIL to new SVA importer
commit
|
commitdiff
|
tree
2018-02-28
Clifford Wolf
Add DFSM generator to verific SVA importer
commit
|
commitdiff
|
tree
2018-02-28
Clifford Wolf
Continue refactoring of Verific SVA importer code
commit
|
commitdiff
|
tree
2018-02-27
Clifford Wolf
Major redesign of Verific SVA importer
commit
|
commitdiff
|
tree
2018-02-27
Clifford Wolf
Add -lz for verific builds
commit
|
commitdiff
|
tree
2018-02-26
Clifford Wolf
Add handling of verific OPER_REDUCE_NOR
commit
|
commitdiff
|
tree
2018-02-26
Clifford Wolf
Add handling of verific OPER_SELECTOR and OPER_WIDE_SEL...
commit
|
commitdiff
|
tree
2018-02-26
Clifford Wolf
Add handling of verific OPER_NTO1MUX and OPER_WIDE_NTO1MUX
commit
|
commitdiff
|
tree
2018-02-26
Clifford Wolf
Add "SVA syntax cheat sheet" comment to verificsva.cc
commit
|
commitdiff
|
tree
2018-02-26
Clifford Wolf
Add $dlatchsr support to clk2fflogic
commit
|
commitdiff
|
tree
2018-02-26
Clifford Wolf
Small fixes and improvements in $allconst/$allseq handling
commit
|
commitdiff
|
tree
2018-02-26
Clifford Wolf
Fix opt_rmdff handling of $dlatchsr
commit
|
commitdiff
|
tree
2018-02-23
Clifford Wolf
Merge branch 'forall'
commit
|
commitdiff
|
tree
2018-02-23
Clifford Wolf
Add smtbmc support for exist-forall problems
commit
|
commitdiff
|
tree
2018-02-23
Clifford Wolf
Add $allconst and $allseq cell types
commit
|
commitdiff
|
tree
2018-02-22
Clifford Wolf
Add Verific SVA support for ranges in repetition operator
commit
|
commitdiff
|
tree
2018-02-21
Clifford Wolf
Add support for SVA throughout via Verific
commit
|
commitdiff
|
tree
2018-02-20
Clifford Wolf
Add support for mockup clock signals in yosys-smtbmc...
commit
|
commitdiff
|
tree
2018-02-19
Clifford Wolf
Merge pull request #507 from cr1901/msys2
commit
|
commitdiff
|
tree
2018-02-19
William D....
Improve msys2 flags for building abc.
commit
|
commitdiff
|
tree
2018-02-18
Clifford Wolf
Add support for SVA sequence concatenation ranges via...
commit
|
commitdiff
|
tree
2018-02-18
Clifford Wolf
Add support for SVA until statements via Verific
commit
|
commitdiff
|
tree
2018-02-18
Clifford Wolf
Move Verific SVA importer to extra C++ source file
commit
|
commitdiff
|
tree
2018-02-18
Clifford Wolf
Merge Verific SVA preprocessor and SVA importer
commit
|
commitdiff
|
tree
2018-02-16
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2018-02-15
Clifford Wolf
Improve handling of "bus" pins in liberty front-end...
commit
|
commitdiff
|
tree
2018-02-15
Clifford Wolf
Fix verific PRIM_SVA_AT handling in properties with...
commit
|
commitdiff
|
tree
2018-02-13
Clifford Wolf
Fixed yosys-config for binary distributions with Verific
commit
|
commitdiff
|
tree
2018-02-13
Clifford Wolf
Recognize stand-alone obj pattern even when it contains...
commit
|
commitdiff
|
tree
2018-02-08
Clifford Wolf
Fix handling of zero-length cell connections in SMT2...
commit
|
commitdiff
|
tree
2018-02-03
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2018-02-03
Clifford Wolf
Do not create deep backtraces unless in ENABLE_DEBUG...
commit
|
commitdiff
|
tree
2018-02-03
Clifford Wolf
Merge pull request #488 from azonenberg/for_clifford
commit
|
commitdiff
|
tree
2018-02-03
Clifford Wolf
Fixed gcc 7.2 "statement will never be executed" warning
commit
|
commitdiff
|
tree
2018-02-01
Clifford Wolf
Fix single-bit $stable handling in verific front-end
commit
|
commitdiff
|
tree
2018-01-31
Clifford Wolf
Add Verific attribute handling for assert/assume/cover...
commit
|
commitdiff
|
tree
2018-01-29
Clifford Wolf
Fix smtio.py for large SMT2 S-expressions
commit
|
commitdiff
|
tree
2018-01-28
Clifford Wolf
Fix permissions on verific vdb files
commit
|
commitdiff
|
tree
2018-01-23
Clifford Wolf
Fixed handling of synchronous and asynchronous assertio...
commit
|
commitdiff
|
tree
2018-01-19
Clifford Wolf
Use "strip -S" instead of "strip -d" for Mac OS X compa...
commit
|
commitdiff
|
tree
2018-01-19
Clifford Wolf
Improve log messages in equiv_make
commit
|
commitdiff
|
tree
2018-01-18
Clifford Wolf
Move user-provided smt2 info stmts to the top of the...
commit
|
commitdiff
|
tree
2018-01-18
Robert Ou
coolrunner2: Move LOC attributes onto the IO cells
commit
|
commitdiff
|
tree
2018-01-17
Clifford Wolf
Strip debug symbols from binaries on install
commit
|
commitdiff
|
tree
2018-01-09
Clifford Wolf
Add "dffinit -highlow" and fix synth_intel
commit
|
commitdiff
|
tree
2018-01-07
Clifford Wolf
Add support for "yosys -E"
commit
|
commitdiff
|
tree
2018-01-07
Clifford Wolf
Bugfix in hierarchy blackbox module port width handling
commit
|
commitdiff
|
tree
2018-01-07
Clifford Wolf
Update ABC to hg rev 6e3c24b3308a
commit
|
commitdiff
|
tree
2018-01-05
Clifford Wolf
Merge pull request #479 from Fatsie/latch_without_data
commit
|
commitdiff
|
tree
2018-01-05
Clifford Wolf
Bugfix in hierarchy handling of blackbox module ports
commit
|
commitdiff
|
tree
2018-01-04
Clifford Wolf
Merge pull request #480 from Fatsie/liberty_value_expre...
commit
|
commitdiff
|
tree
2018-01-04
Clifford Wolf
Temporarily derive blackbox modules in hierarchy to...
commit
|
commitdiff
|
tree
2018-01-03
Staf Verhaegen
Value of properties can be expression.
commit
|
commitdiff
|
tree
2018-01-03
Staf Verhaegen
Some standard cell libraries include a latch with only...
commit
|
commitdiff
|
tree
2017-12-24
Clifford Wolf
Add "no driver for signal bit" error msg to btor back-end
commit
|
commitdiff
|
tree
2017-12-24
Clifford Wolf
Bugfix in verilog_defaults argument parser
commit
|
commitdiff
|
tree
2017-12-19
Clifford Wolf
Fix minor typo in "prep" help message
commit
|
commitdiff
|
tree
2017-12-17
Clifford Wolf
Simple fix BTOR memory encoding
commit
|
commitdiff
|
tree
2017-12-17
Clifford Wolf
Improve BTOR memory encoding
commit
|
commitdiff
|
tree
2017-12-15
Clifford Wolf
Merge branch 'btor-ng'
commit
|
commitdiff
|
tree
2017-12-15
Clifford Wolf
Add array support to btor back-end
commit
|
commitdiff
|
tree
2017-12-14
Clifford Wolf
Add $anyconst/$anyseq support to btor back-end
commit
|
commitdiff
|
tree
2017-12-14
Clifford Wolf
Merge branch 'master' into btor-ng
commit
|
commitdiff
|
tree
2017-12-14
Clifford Wolf
Add yosys-smtbmc VCD writer support for memories with...
commit
|
commitdiff
|
tree
2017-12-14
Clifford Wolf
Fix a bug in clk2fflogic memory handling
commit
|
commitdiff
|
tree
2017-12-14
Clifford Wolf
Merge branch 'master' into btor-ng
commit
|
commitdiff
|
tree
2017-12-14
Clifford Wolf
Add clk2fflogic memory support
commit
|
commitdiff
|
tree
2017-12-14
Clifford Wolf
Add smt2 back-end support for async write memories
commit
|
commitdiff
|
tree
2017-12-14
Clifford Wolf
Add RTLIL::Const::is_fully_ones()
commit
|
commitdiff
|
tree
2017-12-14
Clifford Wolf
Add SigSpec::is_fully_ones()
commit
|
commitdiff
|
tree
2017-12-13
Clifford Wolf
Merge pull request #469 from kkiningh/master
commit
|
commitdiff
|
tree
2017-12-13
Kevin Kiningham
Use quote includes for yosys.h
commit
|
commitdiff
|
tree
2017-12-13
Clifford Wolf
Check for memories in clk2fflogic
commit
|
commitdiff
|
tree
2017-12-13
Clifford Wolf
Merge pull request #468 from grahamedgecombe/fix-sb...
commit
|
commitdiff
|
tree
2017-12-12
Clifford Wolf
Add "write_btor -s" mode
commit
|
commitdiff
|
tree
2017-12-12
Clifford Wolf
Add state initval handling to btor back-end
commit
|
commitdiff
|
tree
2017-12-12
Clifford Wolf
Add btor back-end support for 'x' constants
commit
|
commitdiff
|
tree
2017-12-12
Clifford Wolf
Add SigSpec::is_fully_ones()
commit
|
commitdiff
|
tree
2017-12-12
Clifford Wolf
Add warnings for driver-driver conflicts between FFs...
commit
|
commitdiff
|
tree
2017-12-11
Clifford Wolf
Add btor $shift/$shiftx support
commit
|
commitdiff
|
tree
2017-12-10
Graham Edgecombe
Fix port names in SB_IO_OD
commit
|
commitdiff
|
tree
2017-12-10
Graham Edgecombe
Remove trailing comma from SB_IO_OD port list
commit
|
commitdiff
|
tree
2017-12-10
Clifford Wolf
Fix btor back-end shift handling
commit
|
commitdiff
|
tree
2017-12-10
Clifford Wolf
Add support for $pmux in btor back-end
commit
|
commitdiff
|
tree
2017-12-10
Clifford Wolf
Add support for more cell types to btor back-end
commit
|
commitdiff
|
tree
2017-12-10
Clifford Wolf
Merge branch 'master' into btor-ng
commit
|
commitdiff
|
tree
2017-12-10
Clifford Wolf
Add support for Verific PRIM_SVA_NOT properties
commit
|
commitdiff
|
tree
2017-12-09
Clifford Wolf
Add Verific OPER_SVA_STABLE support
commit
|
commitdiff
|
tree
2017-12-09
Clifford Wolf
Refactoring Verific SVA rewriter
commit
|
commitdiff
|
tree
2017-12-09
Clifford Wolf
Fix btor concat
commit
|
commitdiff
|
tree
2017-12-09
Clifford Wolf
Merge branch 'master' into btor-ng
commit
|
commitdiff
|
tree
2017-12-09
Clifford Wolf
Merge pull request #467 from mithro/patch-1
commit
|
commitdiff
|
tree
2017-12-09
Tim Ansell
Fix spelling in -vpr help for synth_ice40
commit
|
commitdiff
|
tree
2017-12-03
Clifford Wolf
Use "hg ... --insecure" for cloning/pulling ABC
commit
|
commitdiff
|
tree
2017-12-02
Clifford Wolf
Update ABC to hg rev 31fc97b0aeed
commit
|
commitdiff
|
tree
2017-12-02
Clifford Wolf
Fix error handling for nested always/initial
commit
|
commitdiff
|
tree
next