index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
/
sat
Commit message (
Expand
)
Author
Age
Files
Lines
*
use the new isPublic() in a few places
N. Engelhardt
2020-09-14
2
-4
/
+4
*
async2sync: Support all FF types.
Marcelina Kościelnicka
2020-07-30
2
-145
/
+162
*
async2sync: Refactor to use FfInitVals.
Marcelina Kościelnicka
2020-07-24
1
-53
/
+11
*
clk2fflogic: Support all FF types.
Marcelina Kościelnicka
2020-07-24
1
-200
/
+122
*
qbfsat: Add `-solver-option` option.
Alberto Gonzalez
2020-07-20
2
-1
/
+15
*
clk2fflogic: Consistently treat async control signals as negative hold.
Marcelina Kościelnicka
2020-07-09
1
-57
/
+51
*
Merge pull request #2208 from boqwxp/qbfsat-cleanup
clairexen
2020-07-02
2
-255
/
+273
|
\
|
*
qbfsat: Remove useless comment and #ifndef guards.
Alberto Gonzalez
2020-07-01
1
-5
/
+0
|
*
qbfsat: Specify default values for some options in the help message.
Alberto Gonzalez
2020-07-01
1
-0
/
+2
|
*
qbfsat: Clean up external executable command lines and update temporary direc...
Alberto Gonzalez
2020-07-01
1
-3
/
+7
|
*
qbfsat: Clean up and refactor data structures into `qbfsat.h`.
Alberto Gonzalez
2020-07-01
2
-248
/
+265
*
|
Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff
clairexen
2020-07-02
1
-2
/
+1
|
\
\
|
|
/
|
/
|
|
*
fmcombine: use the master ff cell type list
Marcelina Kościelnicka
2020-06-30
1
-2
/
+1
*
|
Merge pull request #2138 from boqwxp/qbfsat-oflag
clairexen
2020-07-01
1
-16
/
+47
|
\
\
|
*
|
qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC.
Alberto Gonzalez
2020-06-30
1
-16
/
+47
|
|
/
*
|
Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization
clairexen
2020-07-01
1
-2
/
+24
|
\
\
|
*
|
qbfsat: Fix name-based hole specialization.
Alberto Gonzalez
2020-06-30
1
-2
/
+24
|
|
/
*
|
Merge pull request #2199 from YosysHQ/mmicko/sim_memory
clairexen
2020-06-30
1
-1
/
+4
|
\
\
|
|
/
|
/
|
|
*
sim - error when memrd and memwr detected
Miodrag Milanovic
2020-06-29
1
-1
/
+4
*
|
Give error that options are exclusive
Miodrag Milanovic
2020-06-29
1
-2
/
+6
*
|
cleanup
Miodrag Milanovic
2020-06-29
1
-12
/
+13
*
|
expose pass fix
Miodrag Milanovic
2020-06-29
1
-5
/
+16
|
/
*
log, qbfsat: Include child process time in `PerformanceTimer::query()` and re...
Alberto Gonzalez
2020-06-21
1
-1
/
+6
*
qbfsat: Simplify solution recovery parsing and tweak the solution regexes.
Alberto Gonzalez
2020-06-21
1
-22
/
+12
*
qbfsat: Avoid instantiating `AttrObject`s directly.
Alberto Gonzalez
2020-06-21
1
-9
/
+6
*
qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal...
Alberto Gonzalez
2020-06-21
1
-19
/
+37
*
qbfsat: Fixes three bugs.
Alberto Gonzalez
2020-06-21
1
-5
/
+17
*
qbfsat: Use bit precise mapping for hole value wires and a more robust hole s...
Alberto Gonzalez
2020-06-21
1
-80
/
+113
*
Merge pull request #2173 from whitequark/use-cxx11-final-override
whitequark
2020-06-19
15
-30
/
+30
|
\
|
*
Use C++11 final/override keywords.
whitequark
2020-06-18
15
-30
/
+30
*
|
cutpoint: Improve efficiency by iterating over module ports instead of module...
Alberto Gonzalez
2020-06-18
1
-9
/
+10
|
/
*
Drive-by modernization in sat.cc
Claire Wolf
2020-06-09
1
-4
/
+4
*
smtbmc and qbfsat: Add timeout option to set solver timeouts for Z3, Yices, a...
Alberto Gonzalez
2020-05-25
1
-13
/
+53
*
qbfsat: Add support for CVC4.
Alberto Gonzalez
2020-05-25
1
-2
/
+6
*
qbfsat: Add `-solver` option and allow choice of Z3 or Yices, making Yices th...
Alberto Gonzalez
2020-05-25
1
-20
/
+47
*
qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d60f9ad4c...
Alberto Gonzalez
2020-05-23
1
-11
/
+0
*
qbfsat: Add bisection mode and make it the default.
Alberto Gonzalez
2020-05-23
1
-87
/
+207
*
Add WASI platform support.
whitequark
2020-04-30
1
-1
/
+2
*
Merge pull request #1989 from boqwxp/qbfsat_anyconst_sourcelocs
Claire Wolf
2020-04-23
1
-5
/
+2
|
\
|
*
qbfsat: Make hole name recovery more robust. Allow multiple cell types to sha...
Alberto Gonzalez
2020-04-23
1
-5
/
+2
*
|
qbfsat: Add `-assume-negative-polarity` option.
Alberto Gonzalez
2020-04-23
1
-6
/
+22
|
/
*
sim: Fix handling of constant-connected cell inputs at startup
David Shah
2020-04-21
1
-1
/
+5
*
qbfsat: Fix illegal use of 'stdout' identifier
David Shah
2020-04-17
1
-3
/
+3
*
Merge pull request #1830 from boqwxp/qbfsat
N. Engelhardt
2020-04-15
2
-0
/
+551
|
\
|
*
Use `pool` instead of `std::set`.
Alberto Gonzalez
2020-04-11
1
-6
/
+6
|
*
Use `dict` instead of `std::map`.
Alberto Gonzalez
2020-04-11
1
-8
/
+8
|
*
Clean up `passes/sat/qbfsat.cc`.
Alberto Gonzalez
2020-04-09
1
-13
/
+10
|
*
Remove `$anyconst` cells before specialization to eliminate warnings and the ...
Alberto Gonzalez
2020-04-07
1
-2
/
+25
|
*
Use newly-renamed `-push-copy` option.
Alberto Gonzalez
2020-04-04
1
-1
/
+1
|
*
Improve style in `passes/sat/qbfsat.cc`.
Alberto Gonzalez
2020-04-04
1
-4
/
+2
[next]