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
*
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
|
*
Gracefully report error when module has nothing to prove.
Alberto Gonzalez
2020-04-04
1
-5
/
+8
|
*
Suppress `yosys-smtbmc` output unless the new `-show-smtbmc` option is provided.
Alberto Gonzalez
2020-04-04
1
-5
/
+14
|
*
Fix handling of `-sat` and `-unsat` options when the solver returns `unknown`.
Alberto Gonzalez
2020-04-04
1
-0
/
+2
|
*
Use `log_push()` and `log_pop()` and show the satisfiable model when `-specia...
Alberto Gonzalez
2020-04-04
1
-0
/
+28
|
*
Clean up `qbfsat` command and fix AND-reduction of miter outputs.
Alberto Gonzalez
2020-04-04
1
-8
/
+10
|
*
Use the `-duplicate` option rather than `-save` and `-load` with an explicit ...
Alberto Gonzalez
2020-04-04
1
-2
/
+2
|
*
Use internal `run_command()` API instead of `popen()`.
Alberto Gonzalez
2020-04-04
1
-49
/
+15
|
*
Clean up manual casting.
Alberto Gonzalez
2020-04-04
1
-2
/
+2
|
*
Remove unimplemented `-timeout` option.
Alberto Gonzalez
2020-04-04
1
-16
/
+4
|
*
Implement the `-assume-outputs`, `-sat`, and -unsat` options for the `qbfsat`...
Alberto Gonzalez
2020-04-04
1
-3
/
+66
|
*
Add NDEBUG guards to `qbfsat` assertions.
Alberto Gonzalez
2020-04-04
1
-0
/
+18
|
*
Implement `-specialize-from-file` option for the `qbfsat` command.
Alberto Gonzalez
2020-04-04
1
-23
/
+56
|
*
Implement `-write-solution` option for the `qbfsat` command.
Alberto Gonzalez
2020-04-04
1
-7
/
+28
|
*
Clean up `passes/sat/qbfsat.cc`.
Alberto Gonzalez
2020-04-04
1
-86
/
+101
|
*
Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole val...
Alberto Gonzalez
2020-04-04
1
-29
/
+39
|
*
Hole value recovery and specialization implementation for `qbfsat` command.
Alberto Gonzalez
2020-04-04
1
-20
/
+63
|
*
Barebones implementation of `qbfsat` command.
Alberto Gonzalez
2020-04-04
1
-32
/
+157
|
*
Initial skeleton for `qbfsat` command.
Alberto Gonzalez
2020-04-04
2
-0
/
+207
*
|
kernel: big fat patch to use more ID::*, otherwise ID(*)
Eddie Hung
2020-04-02
12
-272
/
+272
*
|
kernel: use more ID::*
Eddie Hung
2020-04-02
9
-60
/
+60
*
|
Merge pull request #1845 from YosysHQ/eddie/kernel_speedup
Eddie Hung
2020-04-02
1
-8
/
+8
|
\
\
|
|
/
|
/
|
|
*
kernel: SigSpec use more const& + overloads to prevent implicit SigSpec
Eddie Hung
2020-03-13
1
-8
/
+8
*
|
Merge pull request #1835 from boqwxp/cleanup_sat_expose
Eddie Hung
2020-03-30
1
-85
/
+66
|
\
\
|
*
|
Remove unused function parameter.
Alberto Gonzalez
2020-03-30
1
-2
/
+2
|
*
|
Simplify iterating over selected modules or cells.
Alberto Gonzalez
2020-03-30
1
-16
/
+4
|
*
|
Clean up more in `passes/sat/expose.cc`.
Alberto Gonzalez
2020-03-30
1
-64
/
+59
|
*
|
Clean up pseudo-private member usage in `passes/sat/expose.cc`.
Alberto Gonzalez
2020-03-28
1
-11
/
+9
*
|
|
Merge pull request #1831 from boqwxp/cleanup_sat_eval
Eddie Hung
2020-03-30
1
-46
/
+44
|
\
\
\
|
*
|
|
Further clean up `passes/sat/eval.cc`.
Alberto Gonzalez
2020-03-30
1
-16
/
+15
|
*
|
|
Clean up pseudo-private member usage in `passes/sat/eval.cc`.
Alberto Gonzalez
2020-03-28
1
-35
/
+34
|
|
/
/
*
|
|
Further clean up `passes/sat/freduce.cc`.
Alberto Gonzalez
2020-03-30
1
-3
/
+2
*
|
|
Clean up pseudo-private member usage in `passes/sat/freduce.cc`.
Alberto Gonzalez
2020-03-28
1
-13
/
+12
|
/
/
*
/
Clean up pseudo-private member usage in `passes/sat/miter.cc`.
Alberto Gonzalez
2020-03-19
1
-60
/
+56
|
/
*
Merge pull request #1638 from YosysHQ/eddie/fix1631
Eddie Hung
2020-02-05
1
-6
/
+77
|
\
|
*
clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*
Eddie Hung
2020-01-15
1
-6
/
+77
*
|
Merge pull request #1567 from YosysHQ/eddie/sat_init_warning
Claire Wolf
2020-01-28
1
-1
/
+2
|
\
\
|
*
|
Suppress warning message for init[i] = 1'bx
Eddie Hung
2019-12-11
1
-1
/
+2
[next]