index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fixed memory bug in write_smt2
Clifford Wolf
2016-08-30
1
-9
/
+23
*
Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"
Clifford Wolf
2016-08-30
1
-14
/
+18
*
Added $anyconst support to smt2 back-end
Clifford Wolf
2016-08-30
1
-0
/
+17
*
Added "yosys-smtbmc --dump-all"
Clifford Wolf
2016-08-29
1
-45
/
+67
*
More yosys-smtbmc bugfixes
Clifford Wolf
2016-08-29
1
-6
/
+6
*
Various fixes and improvements in yosys-smtbmc
Clifford Wolf
2016-08-29
1
-42
/
+66
*
Some changes to yosys-smtbmc cmd line options, add --final-only
Clifford Wolf
2016-08-27
1
-33
/
+49
*
Added smtc "final" statement
Clifford Wolf
2016-08-27
1
-7
/
+50
*
Various fixes and improvements in smt2 back-end
Clifford Wolf
2016-08-26
2
-81
/
+117
*
More yosys-smtbmc smtc features
Clifford Wolf
2016-08-24
1
-15
/
+59
*
yosys-smtbmc --smtc -g
Clifford Wolf
2016-08-24
1
-51
/
+34
*
Minor yosys-smtbmc bugfix
Clifford Wolf
2016-08-22
1
-0
/
+6
*
Added "yosys-smtbmc --constr"
Clifford Wolf
2016-08-22
2
-4
/
+94
*
Added "yosys-smtbmc --dump-constr"
Clifford Wolf
2016-08-22
1
-1
/
+61
*
yosys-smtbmc: improved --dump-vlogtb handling of memories
Clifford Wolf
2016-08-21
3
-8
/
+30
*
Added "yosys-smtbmc --dump-vlogtb"
Clifford Wolf
2016-08-20
1
-9
/
+108
*
Added support for memories to smtio.py
Clifford Wolf
2016-08-20
1
-4
/
+35
*
Deprecated "write_smt2 -regs" (by default on now), and some other smt2 back-e...
Clifford Wolf
2016-08-20
1
-28
/
+26
*
Added "yosys-smtbmc -g"
Clifford Wolf
2016-08-20
1
-6
/
+40
*
Added smtbmc longopt support
Clifford Wolf
2016-08-20
2
-14
/
+15
*
Bugfix in partial mem write handling in verilog back-end
Clifford Wolf
2016-08-20
1
-42
/
+26
*
Added missing support for mem read enable ports to verilog back-end
Clifford Wolf
2016-08-18
1
-6
/
+14
*
Improved smtbmc vcd generation performance
Clifford Wolf
2016-08-18
2
-20
/
+40
*
Added printing of code loc of failed asserts to yosys-smtbmc
Clifford Wolf
2016-08-17
3
-1
/
+23
*
Fixed upto handling in verilog back-end
Clifford Wolf
2016-08-15
1
-0
/
+3
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2016-07-30
2
-1
/
+17
|
\
|
*
Added $initstate support to smtbmc flow
Clifford Wolf
2016-07-27
2
-1
/
+17
*
|
Added "write_verilog -defparam"
Clifford Wolf
2016-07-30
1
-2
/
+21
*
|
Added "write_verilog -nodec -nostr"
Clifford Wolf
2016-07-30
1
-4
/
+27
|
/
*
write_json: also write module attributes.
whitequark
2016-07-12
1
-2
/
+6
*
Yosys-smtbmc: Support for hierarchical VCD dumping
Clifford Wolf
2016-07-11
2
-23
/
+59
*
Moved smt2 yosys info parsing from smtbmc.py to smtio.py
Clifford Wolf
2016-07-11
3
-16
/
+56
*
Support for hierarchical designs in smt2 back-end
Clifford Wolf
2016-07-10
2
-24
/
+144
*
Restored blif "-true - .." behavior, use "-true + .." for eddiehung-vtr behavior
Clifford Wolf
2016-07-08
1
-13
/
+15
*
In BLIF, a .names without entries already always outputs 0
Clifford Wolf
2016-07-08
1
-11
/
+0
*
Merge branch 'yosys-0.5-vtr' of https://github.com/eddiehung/yosys into eddie...
Clifford Wolf
2016-07-08
1
-2
/
+19
|
\
|
*
Fix for all zero mask
eddiehung
2015-05-03
1
-0
/
+11
|
*
Escape '<' and '>' some more
eddiehung
2015-05-03
1
-1
/
+1
|
*
For vtr, escape angle brackets as well
eddiehung
2015-04-28
1
-1
/
+1
|
*
blifwriter: write out .names for true/false/undef type == '-'
eddiehung
2015-04-28
1
-0
/
+6
*
|
Added $sop support to BLIF back-end
Clifford Wolf
2016-06-18
1
-2
/
+29
*
|
Also escape "=" in spice output
Clifford Wolf
2016-05-20
1
-1
/
+1
*
|
Added "write_blif -noalias"
Clifford Wolf
2016-05-06
1
-6
/
+26
*
|
Added support for "active high" and "active low" latches in BLIF back-end
Clifford Wolf
2016-04-22
1
-0
/
+12
*
|
Added "yosys -D" feature
Clifford Wolf
2016-04-21
10
-11
/
+11
*
|
Fixed some typos
Clifford Wolf
2016-04-05
3
-3
/
+3
*
|
Renamed opt_const to opt_expr
Clifford Wolf
2016-03-31
1
-1
/
+1
*
|
Bugfix in write_verilog for RTLIL processes
Clifford Wolf
2016-03-14
1
-9
/
+20
*
|
Added "write_edif -nogndvcc"
Clifford Wolf
2016-03-08
1
-17
/
+34
*
|
Be more conservative with net names in spice output
Clifford Wolf
2016-03-02
1
-18
/
+47
[next]