projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2015-11-26
Clifford Wolf
Removed dangling ';' in rtlil.h
commit
|
commitdiff
|
tree
2015-11-26
Clifford Wolf
Added ice40_ffinit pass
commit
|
commitdiff
|
tree
2015-11-24
Clifford Wolf
Fixed WE/RE usage in iCE40 BRAM mapping
commit
|
commitdiff
|
tree
2015-11-23
Clifford Wolf
Fixed handling of re-declarations of wires in tasks...
commit
|
commitdiff
|
tree
2015-11-19
Clifford Wolf
Added torder command
commit
|
commitdiff
|
tree
2015-11-16
Clifford Wolf
Fixed performance bug in Verific importer
commit
|
commitdiff
|
tree
2015-11-12
Clifford Wolf
Changes for Verific 3.16_484_32_151112
commit
|
commitdiff
|
tree
2015-11-12
Clifford Wolf
Link to vlsitechnology.org for liberty files
commit
|
commitdiff
|
tree
2015-11-12
Clifford Wolf
More bugfixes in handling of parameters in tasks and...
commit
|
commitdiff
|
tree
2015-11-11
Clifford Wolf
Fixed handling of parameters and localparams in functions
commit
|
commitdiff
|
tree
2015-11-10
Clifford Wolf
Added "abc -g"
commit
|
commitdiff
|
tree
2015-11-08
Clifford Wolf
Merge pull request #97 from zeldin/master
commit
|
commitdiff
|
tree
2015-11-08
Marcus Comstedt
Fix a segfault in dffinit when the value has too few...
commit
|
commitdiff
|
tree
2015-11-07
Clifford Wolf
Added "singleton" pass
commit
|
commitdiff
|
tree
2015-11-06
Clifford Wolf
Fixed iCE40 SB_IO OUTPUT_ENABLE vs. outena_q handling
commit
|
commitdiff
|
tree
2015-11-05
Clifford Wolf
Bugfix in mapping $tribuf to $_TBUF_
commit
|
commitdiff
|
tree
2015-10-31
Clifford Wolf
Bugfix in memory_dff
commit
|
commitdiff
|
tree
2015-10-31
Clifford Wolf
Improvements in wreduce
commit
|
commitdiff
|
tree
2015-10-30
Clifford Wolf
Bugfix in Xilinx LUT mapping
commit
|
commitdiff
|
tree
2015-10-28
Clifford Wolf
Improved SigMap performance
commit
|
commitdiff
|
tree
2015-10-27
Clifford Wolf
Improvements in new SigMap
commit
|
commitdiff
|
tree
2015-10-27
Clifford Wolf
Use mfp<> in equiv_mark
commit
|
commitdiff
|
tree
2015-10-27
Clifford Wolf
Removed old SigMap implementation
commit
|
commitdiff
|
tree
2015-10-27
Clifford Wolf
Added hashlib::mfp and new SigMap
commit
|
commitdiff
|
tree
2015-10-25
Clifford Wolf
Improvements in equiv_struct
commit
|
commitdiff
|
tree
2015-10-25
Clifford Wolf
Major refactoring of equiv_struct
commit
|
commitdiff
|
tree
2015-10-25
Clifford Wolf
Import more std:: stuff into Yosys namespace
commit
|
commitdiff
|
tree
2015-10-25
Clifford Wolf
Added "equiv_add -cell"
commit
|
commitdiff
|
tree
2015-10-25
Clifford Wolf
equiv_struct now creates equiv_merged attributes
commit
|
commitdiff
|
tree
2015-10-24
Clifford Wolf
Improvements in equiv_struct
commit
|
commitdiff
|
tree
2015-10-24
Clifford Wolf
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit...
commit
|
commitdiff
|
tree
2015-10-24
Clifford Wolf
improvement in "stat"
commit
|
commitdiff
|
tree
2015-10-24
Clifford Wolf
Fixed driver conflict handling (various cmds)
commit
|
commitdiff
|
tree
2015-10-24
Clifford Wolf
equiv_purge bugfix, using SigChunk in Yosys namespace
commit
|
commitdiff
|
tree
2015-10-24
Clifford Wolf
Fixed handling of driver-driver conflicts in wreduce
commit
|
commitdiff
|
tree
2015-10-23
Clifford Wolf
Added equiv_mark command
commit
|
commitdiff
|
tree
2015-10-23
Clifford Wolf
Disabled "Skipping blackbox module" msg in show command
commit
|
commitdiff
|
tree
2015-10-23
Clifford Wolf
Added support for ":" as comment symbol after ;-parsing
commit
|
commitdiff
|
tree
2015-10-23
Clifford Wolf
Also merge $equiv cells in equiv_struct
commit
|
commitdiff
|
tree
2015-10-23
Clifford Wolf
Improvements in equiv_struct
commit
|
commitdiff
|
tree
2015-10-22
Clifford Wolf
Added equiv_purge
commit
|
commitdiff
|
tree
2015-10-21
Clifford Wolf
Added equiv_struct command
commit
|
commitdiff
|
tree
2015-10-21
Clifford Wolf
Improved inout handling in equiv_make
commit
|
commitdiff
|
tree
2015-10-20
Clifford Wolf
Progress on cell help messages
commit
|
commitdiff
|
tree
2015-10-17
Clifford Wolf
Progress on cell help messages
commit
|
commitdiff
|
tree
2015-10-15
Clifford Wolf
Progress in yosys-smtbmc
commit
|
commitdiff
|
tree
2015-10-15
Clifford Wolf
Fixed bug in verilog parser
commit
|
commitdiff
|
tree
2015-10-15
Clifford Wolf
Improvements in yosys-smtbmc
commit
|
commitdiff
|
tree
2015-10-15
Clifford Wolf
Bugfixes in handling of "keep" attribute on wires
commit
|
commitdiff
|
tree
2015-10-14
Clifford Wolf
More "yosys-smtbmc -c" fixes
commit
|
commitdiff
|
tree
2015-10-14
Clifford Wolf
Fixed yosys-smtbmc -c
commit
|
commitdiff
|
tree
2015-10-14
Clifford Wolf
Added "prep" command
commit
|
commitdiff
|
tree
2015-10-14
Clifford Wolf
Added more cell descriptions
commit
|
commitdiff
|
tree
2015-10-14
Clifford Wolf
Added first help messages for cell types
commit
|
commitdiff
|
tree
2015-10-13
Clifford Wolf
Added yosys-smtbmc copyright
commit
|
commitdiff
|
tree
2015-10-13
Clifford Wolf
Improvements in yosys-smtbmc
commit
|
commitdiff
|
tree
2015-10-13
Clifford Wolf
Added yosys-smtbmc
commit
|
commitdiff
|
tree
2015-10-13
Clifford Wolf
Implemented smtbmc.py -i
commit
|
commitdiff
|
tree
2015-10-13
Clifford Wolf
Added smtbmc.py
commit
|
commitdiff
|
tree
2015-10-13
Clifford Wolf
Added write_smt2 -wires
commit
|
commitdiff
|
tree
2015-10-13
Clifford Wolf
Added examples/ top-level directory
commit
|
commitdiff
|
tree
2015-10-13
Clifford Wolf
SystemVerilog also has assume(), added implicit -D...
commit
|
commitdiff
|
tree
2015-10-13
Clifford Wolf
Merge branch 'master' of https://github.com/rubund...
commit
|
commitdiff
|
tree
2015-10-13
Clifford Wolf
Fixed "flatten" for unconnected inout ports
commit
|
commitdiff
|
tree
2015-10-10
Ruben Undheim
Use DESTDIR as defined in https://gnu.org/prep/standard...
commit
|
commitdiff
|
tree
2015-10-10
Ruben Undheim
Use LDFLAGS, CXXFLAGS and CPPFLAGS from the environment...
commit
|
commitdiff
|
tree
2015-10-07
Clifford Wolf
Added support for "parameter" and "localparam" in globa...
commit
|
commitdiff
|
tree
2015-10-01
Clifford Wolf
Fixed complexity of assigning to vectors in constant...
commit
|
commitdiff
|
tree
2015-09-30
Clifford Wolf
Fixed detection of unconditional $readmem[hb]
commit
|
commitdiff
|
tree
2015-09-27
Clifford Wolf
Added edgetypes command
commit
|
commitdiff
|
tree
2015-09-26
Clifford Wolf
Some cleanups in qwp
commit
|
commitdiff
|
tree
2015-09-25
Clifford Wolf
Added "test_cell -noeval"
commit
|
commitdiff
|
tree
2015-09-25
Clifford Wolf
Added wreduce $mul support and fixed signed $mul opt_co...
commit
|
commitdiff
|
tree
2015-09-25
Clifford Wolf
Bugfix in bram read-enable code
commit
|
commitdiff
|
tree
2015-09-25
Clifford Wolf
Bugfixes in $readmem[hb]
commit
|
commitdiff
|
tree
2015-09-25
Clifford Wolf
Bugfixes in writing of memories as Verilog
commit
|
commitdiff
|
tree
2015-09-25
Clifford Wolf
Fixed segfault in AstNode::asReal
commit
|
commitdiff
|
tree
2015-09-25
Clifford Wolf
Added read-enable to memory model
commit
|
commitdiff
|
tree
2015-09-24
Clifford Wolf
Added pivoting to qwp solver
commit
|
commitdiff
|
tree
2015-09-24
Clifford Wolf
Improved qwp performance
commit
|
commitdiff
|
tree
2015-09-24
Clifford Wolf
Added statistics summary to "qwp"
commit
|
commitdiff
|
tree
2015-09-24
Clifford Wolf
Fixed memory_bram for ROMs in BRAMs with write-enable...
commit
|
commitdiff
|
tree
2015-09-24
Clifford Wolf
Fixed AstNode::mkconst_bits() segfault on zero-sized...
commit
|
commitdiff
|
tree
2015-09-23
Clifford Wolf
Added read_verilog -nodpi
commit
|
commitdiff
|
tree
2015-09-23
Clifford Wolf
Bugfix in handling of multi-dimensional memories
commit
|
commitdiff
|
tree
2015-09-23
Clifford Wolf
Warning for $display/$write outside initial block
commit
|
commitdiff
|
tree
2015-09-23
Clifford Wolf
Fixed support for $write system task
commit
|
commitdiff
|
tree
2015-09-22
Clifford Wolf
Fixed detection of "task foo(bar);" syntax error
commit
|
commitdiff
|
tree
2015-09-22
Clifford Wolf
Fixed multi-level prefix resolving
commit
|
commitdiff
|
tree
2015-09-22
Clifford Wolf
Fixed segfault on invalid verilog constant 1'b_
commit
|
commitdiff
|
tree
2015-09-21
Clifford Wolf
Fixed emcc build
commit
|
commitdiff
|
tree
2015-09-21
Clifford Wolf
Do not detect fsm state registers with init attribute
commit
|
commitdiff
|
tree
2015-09-21
Clifford Wolf
Bugfix in "qwp" pass
commit
|
commitdiff
|
tree
2015-09-20
Clifford Wolf
Improvements and fixes in "qwp" pass
commit
|
commitdiff
|
tree
2015-09-20
Clifford Wolf
Added "qwp -dump"
commit
|
commitdiff
|
tree
2015-09-20
Clifford Wolf
Added "qwp" command
commit
|
commitdiff
|
tree
2015-09-19
Andrew Zonenberg
Improvements to $display system task
commit
|
commitdiff
|
tree
2015-09-18
Clifford Wolf
Added nlutmap
commit
|
commitdiff
|
tree
2015-09-18
Clifford Wolf
Added lut2mux pass
commit
|
commitdiff
|
tree
2015-09-18
Clifford Wolf
Cosmetic fix in Module::addLut()
commit
|
commitdiff
|
tree
next