projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Improvements in equiv_struct
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-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
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-18
Andrew Zonenberg
Initial implementation of $display()
commit
|
commitdiff
|
tree
2015-09-18
Andrew Zonenberg
Initial implementation of $finish()
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-09-01
Andrei Errapart
Removed unnecessary cast.
commit
|
commitdiff
|
tree
2015-09-01
Andrei Errapart
Microsoft Visual C++ fixes in hashlib; template specializati...
commit
|
commitdiff
|
tree
2015-09-01
Andrei Errapart
Microsoft Visual C++ fix for log.h.
commit
|
commitdiff
|
tree
2015-08-31
Clifford Wolf
Fixed iopadmap help message
commit
|
commitdiff
|
tree
2015-08-31
Clifford Wolf
Added SigMap::allbits()
commit
|
commitdiff
|
tree
2015-08-31
Clifford Wolf
Using dict<> and pool<> in alumacc pass
commit
|
commitdiff
|
tree
2015-08-31
Clifford Wolf
Added "yosys-smt2-wire" tag support to smt2 back-end
commit
|
commitdiff
|
tree
2015-08-22
Clifford Wolf
Fixed handling of memory read without address
commit
|
commitdiff
|
tree
2015-08-22
Clifford Wolf
Switched to Python 3
commit
|
commitdiff
|
tree
2015-08-18
Clifford Wolf
Added sat -show-regs, -show-public, -show-all
commit
|
commitdiff
|
tree
2015-08-18
Clifford Wolf
Bugfix in fsm_detect for complex muxtrees
commit
|
commitdiff
|
tree
2015-08-18
Clifford Wolf
Properly clean up unused "init" attributes
commit
|
commitdiff
|
tree
2015-08-17
Clifford Wolf
Small corrections to const2ast warning messages
commit
|
commitdiff
|
tree
2015-08-17
Clifford Wolf
Merge pull request #72 from cseed/master
commit
|
commitdiff
|
tree
2015-08-16
Clifford Wolf
Another bugfix for ice40 and xilinx brams_init make...
commit
|
commitdiff
|
tree
2015-08-16
Clifford Wolf
Fixed Makefile rules for generated share files
commit
|
commitdiff
|
tree
2015-08-16
Clifford Wolf
Added $tribuf and $_TBUF_ sim models
commit
|
commitdiff
|
tree
2015-08-16
Clifford Wolf
Added tribuf command
commit
|
commitdiff
|
tree
2015-08-16
Clifford Wolf
Added $tribuf and $_TBUF_ cell types
commit
|
commitdiff
|
tree
2015-08-16
Clifford Wolf
Fixed opt_clean handling of inout ports
commit
|
commitdiff
|
tree
2015-08-15
Clifford Wolf
Fixed generation of smt2 concat statements
commit
|
commitdiff
|
tree
2015-08-14
Larry Doolittle
Fix version strings for out-of-tree builds
commit
|
commitdiff
|
tree
2015-08-14
Larry Doolittle
Another block of spelling fixes
commit
|
commitdiff
|
tree
2015-08-14
Larry Doolittle
Keep gcc from complaining about uninitialized variables
commit
|
commitdiff
|
tree
2015-08-14
Clifford Wolf
Re-created command-reference-manual.tex, copied some...
commit
|
commitdiff
|
tree
next