projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #1910 from boqwxp/cleanup_ilang_parser
[yosys.git]
/
backends
/
smt2
/
smtbmc.py
2020-04-13
whitequark
Merge pull request #1910 from boqwxp/cleanup_ilang_parser
blob
|
commitdiff
|
raw
2020-04-10
whitequark
Merge pull request #1603 from whitequark/ice40-ram_style
blob
|
commitdiff
|
raw
2020-04-10
Miodrag Milanović
Merge pull request #1893 from mmicko/program_prefix
blob
|
commitdiff
|
raw
2020-04-10
Miodrag Milanovic
Support custom PROGRAM_PREFIX
blob
|
commitdiff
|
raw
2020-04-02
Eddie Hung
Merge pull request #1853 from YosysHQ/eddie/fix_dynslice
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Eddie Hung
Merge pull request #1845 from YosysHQ/eddie/kernel_speedup
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Claire Wolf
Merge pull request #1770 from YosysHQ/claire/btor_symbols
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Claire Wolf
Merge pull request #1765 from YosysHQ/claire/btor_info
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Eddie Hung
Merge pull request #1828 from YosysHQ/eddie/celltypes_s...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Eddie Hung
Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Eddie Hung
Merge pull request #1789 from YosysHQ/eddie/opt_expr_alu
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Claire Wolf
Merge pull request #1848 from YosysHQ/eddie/fix_dynslice
blob
|
commitdiff
|
raw
|
diff to current
2020-03-31
Eddie Hung
Merge pull request #1761 from YosysHQ/eddie/opt_merge_s...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-27
Claire Wolf
Merge pull request #1607 from whitequark/simplify-simpl...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-19
N. Engelhardt
Merge pull request #1774 from boqwxp/exec
blob
|
commitdiff
|
raw
|
diff to current
2020-03-17
Eddie Hung
Merge pull request #1769 from boqwxp/select_cleanup
blob
|
commitdiff
|
raw
|
diff to current
2020-03-16
Claire Wolf
Merge pull request #1771 from waldyrious/license-update
blob
|
commitdiff
|
raw
|
diff to current
2020-03-16
N. Engelhardt
Merge pull request #1768 from boqwxp/smt2_cleanup
blob
|
commitdiff
|
raw
|
diff to current
2020-03-16
N. Engelhardt
Merge pull request #1746 from boqwxp/optimization
blob
|
commitdiff
|
raw
|
diff to current
2020-03-13
Alberto Gonzalez
Add support for optimizing exists-forall problems.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-29
Claire Wolf
Merge branch 'vector_fix' of https://github.com/Kmanfi...
blob
|
commitdiff
|
raw
|
diff to current
2019-11-22
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
blob
|
commitdiff
|
raw
|
diff to current
2019-10-27
Clifford Wolf
Merge pull request #1393 from whitequark/write_verilog...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-21
Pepijn de Vos
Merge branch 'master' of https://github.com/YosysHQ...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-18
Miodrag Milanović
Merge branch 'master' into eddie/pr1352
blob
|
commitdiff
|
raw
|
diff to current
2019-10-14
Clifford Wolf
Use "(id)" instead of "id" for types as temporary hack
blob
|
commitdiff
|
raw
|
diff to current
2019-10-08
Eddie Hung
Merge pull request #1432 from YosysHQ/eddie/fix1427
blob
|
commitdiff
|
raw
|
diff to current
2019-10-08
Eddie Hung
Merge pull request #1433 from YosysHQ/eddie/equiv_opt_a...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-04
Miodrag Milanovic
Merge branch 'SergeyDegtyar/efinix' of https://github...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-04
Miodrag Milanovic
Merge branch 'SergeyDegtyar/anlogic' of https://github...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Clifford Wolf
Change smtbmc "Warmup failed" status to "PREUNSAT"
blob
|
commitdiff
|
raw
|
diff to current
2019-09-27
Aman Goel
Merge pull request #7 from YosysHQ/master
blob
|
commitdiff
|
raw
|
diff to current
2019-06-13
Serge Bazanski
Merge pull request #829 from abdelrahmanhosny/master
blob
|
commitdiff
|
raw
|
diff to current
2019-04-08
Eddie Hung
Merge branch 'master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-04-01
Jim Lawson
Merge remote-tracking branch 'upstream/master'
blob
|
commitdiff
|
raw
|
diff to current
2019-03-28
Benedikt Tutzer
Merge remote-tracking branch 'origin/master' into featu...
blob
|
commitdiff
|
raw
|
diff to current
2019-03-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7srl
blob
|
commitdiff
|
raw
|
diff to current
2019-03-19
Eddie Hung
Merge https://github.com/YosysHQ/yosys into read_aiger
blob
|
commitdiff
|
raw
|
diff to current
2019-03-14
Clifford Wolf
Merge pull request #875 from YosysHQ/clifford/mutate
blob
|
commitdiff
|
raw
|
diff to current
2019-03-14
Clifford Wolf
Fix smtbmc.py handling of zero appended steps
blob
|
commitdiff
|
raw
|
diff to current
2019-02-11
Jim Lawson
Merge remote-tracking branch 'upstream/master'
blob
|
commitdiff
|
raw
|
diff to current
2019-01-02
Clifford Wolf
Merge pull request #770 from whitequark/opt_expr_cmp
blob
|
commitdiff
|
raw
|
diff to current
2019-01-02
Clifford Wolf
Merge pull request #755 from Icenowy/anlogic-dram-init
blob
|
commitdiff
|
raw
|
diff to current
2019-01-02
Clifford Wolf
Merge pull request #750 from Icenowy/anlogic-ff-init
blob
|
commitdiff
|
raw
|
diff to current
2019-01-02
Clifford Wolf
Merge pull request #773 from whitequark/opt_lut_elim_fixes
blob
|
commitdiff
|
raw
|
diff to current
2019-01-02
Clifford Wolf
Merge pull request #772 from whitequark/synth_lut
blob
|
commitdiff
|
raw
|
diff to current
2019-01-02
Clifford Wolf
Merge pull request #771 from whitequark/techmap_cmp2lut
blob
|
commitdiff
|
raw
|
diff to current
2019-01-02
Clifford Wolf
Merge pull request #769 from whitequark/typos
blob
|
commitdiff
|
raw
|
diff to current
2019-01-02
whitequark
Fix typographical and grammatical errors and inconsiste...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-18
Jim Lawson
Merge remote-tracking branch 'upstream/master'
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #736 from whitequark/select_assert_list
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #704 from webhat/feature/fix-awk
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #724 from whitequark/equiv_opt
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #734 from grahamedgecombe/fix-shuffl...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #730 from smunaut/ffssr_dont_touch
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #729 from whitequark/write_verilog_i...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #725 from olofk/ram4k-init
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #714 from daveshah1/abc_preserve_naming
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #723 from whitequark/synth_ice40_map...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #722 from whitequark/rename_src
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #720 from whitequark/master
blob
|
commitdiff
|
raw
|
diff to current
2018-12-10
Clifford Wolf
Add yosys-smtbmc support for btor witness
blob
|
commitdiff
|
raw
|
diff to current
2018-12-08
Clifford Wolf
Add "yosys-smtbmc --btorwit" skeleton
blob
|
commitdiff
|
raw
|
diff to current
2018-12-01
Clifford Wolf
Merge pull request #676 from rafaeltp/master
blob
|
commitdiff
|
raw
|
diff to current
2018-11-12
Clifford Wolf
Merge pull request #695 from daveshah1/ecp5_bb
blob
|
commitdiff
|
raw
|
diff to current
2018-11-04
Clifford Wolf
Add proper error message for when smtbmc "append" fails
blob
|
commitdiff
|
raw
|
diff to current
2018-03-05
Clifford Wolf
Imporove yosys-smtbmc error handling, Improve VCD output
blob
|
commitdiff
|
raw
|
diff to current
2018-03-03
Clifford Wolf
Fix smtbmc smtc/aiw parser for wire names containing []
blob
|
commitdiff
|
raw
|
diff to current
2018-02-26
Clifford Wolf
Small fixes and improvements in $allconst/$allseq handling
blob
|
commitdiff
|
raw
|
diff to current
2018-02-23
Clifford Wolf
Merge branch 'forall'
blob
|
commitdiff
|
raw
|
diff to current
2018-02-23
Clifford Wolf
Add smtbmc support for exist-forall problems
blob
|
commitdiff
|
raw
|
diff to current
2018-02-20
Clifford Wolf
Add support for mockup clock signals in yosys-smtbmc...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Clifford Wolf
Merge branch 'master' into btor-ng
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Clifford Wolf
Add yosys-smtbmc VCD writer support for memories with...
blob
|
commitdiff
|
raw
|
diff to current
2017-11-28
Clifford Wolf
Merge pull request #462 from daveshah1/up5k
blob
|
commitdiff
|
raw
|
diff to current
2017-11-27
Clifford Wolf
Fixed "yosys-smtbmc -g" handling of no solution
blob
|
commitdiff
|
raw
|
diff to current
2017-11-27
Clifford Wolf
Fixed "yosys-smtbmc -g" handling of no solution
blob
|
commitdiff
|
raw
|
diff to current
2017-11-09
dh73
Merge https://github.com/cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2017-10-25
Clifford Wolf
Fix a bug in yosys-smtbmc in ROM handling
blob
|
commitdiff
|
raw
|
diff to current
2017-08-04
Clifford Wolf
Add "yosys-smtbmc --smtc-init --smtc-top --noinit"
blob
|
commitdiff
|
raw
|
diff to current
2017-07-21
Clifford Wolf
Add verilator support to testbenches generated by yosys...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-12
Clifford Wolf
Generate FSM-style testbenches in smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Clifford Wolf
Change s/asserts/assertions/ in yosys-smtbmc log messages
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Clifford Wolf
Add "yosys-smtbmc --presat"
blob
|
commitdiff
|
raw
|
diff to current
2017-07-03
Clifford Wolf
Merge pull request #352 from rqou/master
blob
|
commitdiff
|
raw
|
diff to current
2017-07-03
Clifford Wolf
Remove unneeded delays in smtbmc vlogtb
blob
|
commitdiff
|
raw
|
diff to current
2017-07-01
Clifford Wolf
Add "yosys-smtbmc --vlogtb-top"
blob
|
commitdiff
|
raw
|
diff to current
2017-07-01
Clifford Wolf
Fix smtbmc vlogtb bug in $anyseq handling
blob
|
commitdiff
|
raw
|
diff to current
2017-06-07
Clifford Wolf
Fix generation of vlogtb output in yosys-smtbmc for...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-28
Clifford Wolf
Use hex addresses in smtbmc vcd mem traces
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Clifford Wolf
Add smtbmc support for memory vcd dumping
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Clifford Wolf
Fix assert checking in "yosys-smtbmc -c --append"
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Clifford Wolf
Improve (and fix for stbv mode) SMT2 memory API
blob
|
commitdiff
|
raw
|
diff to current
2017-02-25
Clifford Wolf
Add support for "yosys-smtbmc -c --append"
blob
|
commitdiff
|
raw
|
diff to current
2017-02-25
Clifford Wolf
Merge branch 'master' of https://github.com/klammerj...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-24
Clifford Wolf
Merge pull request #322 from azonenberg/master
blob
|
commitdiff
|
raw
|
diff to current
2017-02-24
Clifford Wolf
Add "write_smt2 -stbv"
blob
|
commitdiff
|
raw
|
diff to current
2017-02-11
Clifford Wolf
Merge branch 'master' of https://github.com/stv0g/yosys...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-09
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
next