projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #480 from Fatsie/liberty_value_expression
2018-01-04
Clifford Wolf
Merge pull request #480 from Fatsie/liberty_value_expression
commit
|
commitdiff
|
tree
2018-01-04
Clifford Wolf
Temporarily derive blackbox modules in hierarchy to...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
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
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
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-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
2017-12-01
Clifford Wolf
Merge branch 'master' into btor-ng
commit
|
commitdiff
|
tree
2017-11-28
Clifford Wolf
Merge pull request #462 from daveshah1/up5k
commit
|
commitdiff
|
tree
2017-11-27
Clifford Wolf
Merge branch 'master' into btor-ng
commit
|
commitdiff
|
tree
2017-11-27
Clifford Wolf
Fixed "yosys-smtbmc -g" handling of no solution
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 branch 'master' into btor-ng
commit
|
commitdiff
|
tree
2017-11-24
Clifford Wolf
Bugfixes in new BTOR back-end
commit
|
commitdiff
|
tree
2017-11-24
Clifford Wolf
Merge pull request #446 from mithro/travis-rework
commit
|
commitdiff
|
tree
2017-11-23
Clifford Wolf
Progress in new BTOR back-end
commit
|
commitdiff
|
tree
2017-11-23
Clifford Wolf
Progress in new BTOR back-end
commit
|
commitdiff
|
tree
2017-11-23
Clifford Wolf
Progress in new BTOR back-end
commit
|
commitdiff
|
tree
2017-11-23
Clifford Wolf
Merge branch 'master' into btor-ng
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-23
Clifford Wolf
Progress with new BTOR backend
commit
|
commitdiff
|
tree
2017-11-23
Clifford Wolf
Add skeleton for new BTOR back-end
commit
|
commitdiff
|
tree
2017-11-23
Clifford Wolf
Remove old BTOR back-end
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
next