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 "sim -zinit -rstlen"
Clifford Wolf
2017-08-18
1
-1
/
+53
*
Add "sim" support for memories
Clifford Wolf
2017-08-18
1
-2
/
+136
*
Add support for assert/assume/cover to "sim" command
Clifford Wolf
2017-08-18
1
-4
/
+47
*
Add writeback mode to "sim" command
Clifford Wolf
2017-08-17
1
-0
/
+44
*
Improve "sim" command
Clifford Wolf
2017-08-17
1
-54
/
+272
*
Add "sim" command skeleton
Clifford Wolf
2017-08-16
2
-0
/
+372
*
Add "setundef -anyseq"
Clifford Wolf
2017-05-28
1
-1
/
+2
*
Bugfix in "miter -assert" handling of assumptions
Clifford Wolf
2016-10-17
1
-2
/
+2
*
Added clk2fflogic support for $dffsr and $dlatch
Clifford Wolf
2016-10-17
1
-1
/
+57
*
Improvements and bugfixes in clk2fflogic
Clifford Wolf
2016-10-16
1
-13
/
+21
*
Some minor build fixes for Visual C
Clifford Wolf
2016-10-14
1
-2
/
+11
*
Added clk2fflogic
Clifford Wolf
2016-10-14
2
-0
/
+154
*
Added $ff and $_FF_ cell types
Clifford Wolf
2016-10-12
1
-7
/
+31
*
Improvements in assertpmux
Clifford Wolf
2016-09-07
1
-21
/
+158
*
Added assertpmux
Clifford Wolf
2016-09-07
2
-0
/
+104
*
Run log_flush() before solving in sat command
Clifford Wolf
2016-09-06
1
-0
/
+3
*
Moved SatHelper::setup_init() code to SatHelper::setup()
Clifford Wolf
2016-07-24
1
-97
/
+92
*
Added $initstate support to "sat" command
Clifford Wolf
2016-07-23
1
-13
/
+12
*
Added "yosys -D" feature
Clifford Wolf
2016-04-21
5
-6
/
+6
*
Improved formatting of "sat" output tables
Clifford Wolf
2016-04-05
1
-5
/
+5
*
Renamed opt_const to opt_expr
Clifford Wolf
2016-03-31
1
-4
/
+4
*
Import more std:: stuff into Yosys namespace
Clifford Wolf
2015-10-25
3
-8
/
+8
*
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()
Clifford Wolf
2015-10-24
1
-10
/
+10
*
Added sat -show-regs, -show-public, -show-all
Clifford Wolf
2015-08-18
1
-0
/
+39
*
Re-created command-reference-manual.tex, copied some doc fixes to online help
Clifford Wolf
2015-08-14
1
-1
/
+1
*
Spell check (by Larry Doolittle)
Clifford Wolf
2015-08-14
5
-12
/
+12
*
Added "miter -assert"
Clifford Wolf
2015-07-25
1
-1
/
+93
*
Fixed trailing whitespaces
Clifford Wolf
2015-07-02
5
-16
/
+16
*
Added logic-loop error handling to freduce
Clifford Wolf
2015-06-30
1
-0
/
+11
*
don't consider blackbox modules in "sat" command
Clifford Wolf
2015-04-18
1
-7
/
+5
*
Added non-std verilog assume() statement
Clifford Wolf
2015-02-26
1
-11
/
+29
*
Fixed "sat -initsteps" off-by-one bug
Clifford Wolf
2015-02-22
1
-1
/
+1
*
Added "sat -stepsize" and "sat -tempinduct-step"
Clifford Wolf
2015-02-21
1
-21
/
+64
*
sat docu change
Clifford Wolf
2015-02-21
1
-0
/
+3
*
When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.
Clifford Wolf
2015-02-21
1
-0
/
+5
*
Added "sat -tempinduct-baseonly -tempinduct-inductonly"
Clifford Wolf
2015-02-21
1
-66
/
+92
*
Fixed basecase init for "sat -tempinduct"
Clifford Wolf
2015-02-21
1
-1
/
+6
*
Replaced ezDefaultSAT with ezSatPtr
Clifford Wolf
2015-02-21
3
-73
/
+74
*
format fixes in "sat -dump_json"
Clifford Wolf
2015-02-19
1
-18
/
+17
*
Added "sat -dump_json" (WaveJSON format)
Clifford Wolf
2015-02-19
1
-4
/
+92
*
Improved an error message
Clifford Wolf
2015-01-28
1
-1
/
+1
*
Added "sat -show-ports"
Clifford Wolf
2015-01-27
1
-2
/
+7
*
Moved equiv stuff to passes/equiv/
Clifford Wolf
2015-01-22
4
-598
/
+0
*
Progress in equiv_simple
Clifford Wolf
2015-01-21
1
-39
/
+105
*
Added equiv_simple
Clifford Wolf
2015-01-19
2
-0
/
+188
*
Added equiv_status
Clifford Wolf
2015-01-19
2
-0
/
+95
*
Added equiv_make command
Clifford Wolf
2015-01-19
2
-0
/
+249
*
Renamed extend() to extend_xx(), changed most users to extend_u0()
Clifford Wolf
2014-12-24
1
-1
/
+1
*
Added log_warning() API
Clifford Wolf
2014-11-09
2
-3
/
+3
*
Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32
Clifford Wolf
2014-10-10
1
-1
/
+1
[next]