projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #97 from zeldin/master
2015-11-08
Clifford Wolf
Merge pull request #97 from zeldin/master
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-07
Clifford Wolf
Added support for "parameter" and "localparam" in global...
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_const bug
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-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
2015-09-18
Clifford Wolf
Added buffer detection to "abc -lut"
commit
|
commitdiff
|
tree
2015-09-18
Clifford Wolf
Renamed GreenPAK4 cells, improved GP4 DFF mapping
commit
|
commitdiff
|
tree
2015-09-18
Clifford Wolf
Added support for "dfflibmap -liberty +/..."
commit
|
commitdiff
|
tree
2015-09-18
Clifford Wolf
Added detection of "mux inverter" chains in opt_const
commit
|
commitdiff
|
tree
2015-09-18
Clifford Wolf
Added $logic_not handling to fsm_detect
commit
|
commitdiff
|
tree
2015-09-18
Clifford Wolf
Added $finish and $display to README
commit
|
commitdiff
|
tree
2015-09-18
Clifford Wolf
Merge branch 'feat-finish-disp'
commit
|
commitdiff
|
tree
2015-09-18
Clifford Wolf
Added AST_INITIAL checks for $finish and $display
commit
|
commitdiff
|
tree
2015-09-16
Clifford Wolf
Fixed copy&paste typo in synth_greenpak4
commit
|
commitdiff
|
tree
2015-09-16
Clifford Wolf
Added GreenPAK4 skeleton
commit
|
commitdiff
|
tree
2015-09-12
Clifford Wolf
Fixed sharing of $memrd cells
commit
|
commitdiff
|
tree
2015-09-10
Clifford Wolf
Fixed ice40 handling of negclk RAM40
commit
|
commitdiff
|
tree
2015-09-01
Clifford Wolf
Fixed port ordering in "splitnets" cmd
commit
|
commitdiff
|
tree
2015-09-01
Clifford Wolf
gcc-4.6 build fixes
commit
|
commitdiff
|
tree
2015-08-31
Clifford Wolf
Fixed iopadmap help message
commit
|
commitdiff
|
tree
next