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
*
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
*
|
user-facing spelling fixes
Sebastian Kuzminsky
2016-02-28
1
-3
/
+3
*
|
Added "int ceil_log2(int)" function
Clifford Wolf
2016-02-13
1
-8
/
+8
*
|
Added "write_blif -cname" mode
Clifford Wolf
2016-01-06
1
-1
/
+12
*
|
Added yosys-smtbmc -S
Clifford Wolf
2015-12-20
1
-6
/
+35
*
|
Import more std:: stuff into Yosys namespace
Clifford Wolf
2015-10-25
2
-7
/
+7
*
|
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()
Clifford Wolf
2015-10-24
1
-2
/
+2
*
|
Progress in yosys-smtbmc
Clifford Wolf
2015-10-15
1
-4
/
+10
*
|
Improvements in yosys-smtbmc
Clifford Wolf
2015-10-15
3
-2
/
+9
*
|
More "yosys-smtbmc -c" fixes
Clifford Wolf
2015-10-14
2
-9
/
+30
*
|
Fixed yosys-smtbmc -c
Clifford Wolf
2015-10-14
1
-2
/
+2
*
|
Added yosys-smtbmc copyright
Clifford Wolf
2015-10-14
3
-1
/
+36
*
|
Improvements in yosys-smtbmc
Clifford Wolf
2015-10-14
3
-21
/
+38
*
|
Added yosys-smtbmc
Clifford Wolf
2015-10-14
2
-1
/
+20
*
|
Implemented smtbmc.py -i
Clifford Wolf
2015-10-14
1
-25
/
+60
*
|
Added smtbmc.py
Clifford Wolf
2015-10-13
4
-0
/
+409
*
|
Added write_smt2 -wires
Clifford Wolf
2015-10-13
1
-7
/
+15
*
|
Bugfixes in writing of memories as Verilog
Clifford Wolf
2015-09-25
1
-7
/
+8
*
|
Added "yosys-smt2-wire" tag support to smt2 back-end
Clifford Wolf
2015-08-31
1
-0
/
+2
*
|
Fixed generation of smt2 concat statements
Clifford Wolf
2015-08-15
1
-3
/
+5
*
|
Another block of spelling fixes
Larry Doolittle
2015-08-14
3
-4
/
+4
*
|
Re-created command-reference-manual.tex, copied some doc fixes to online help
Clifford Wolf
2015-08-14
1
-3
/
+3
*
|
Spell check (by Larry Doolittle)
Clifford Wolf
2015-08-14
2
-3
/
+3
*
|
Added "write_smt2 -regs"
Clifford Wolf
2015-08-12
1
-7
/
+36
*
|
Added SMV back-end 'test_cells.sh' script
Clifford Wolf
2015-08-12
1
-0
/
+33
*
|
Use MEMID as name for $mem cell
Clifford Wolf
2015-08-09
1
-1
/
+6
*
|
Remove some very strange whitespace in btor.cc (by Larry Doolittle)
Clifford Wolf
2015-08-05
1
-7
/
+7
*
|
Bugfix in SMV back-end for partially unassigned wires
Clifford Wolf
2015-08-05
1
-4
/
+16
*
|
Added $assert support to SMV back-end
Clifford Wolf
2015-08-04
1
-4
/
+21
[next]