index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
frontends
/
verific
Commit message (
Collapse
)
Author
Age
*
Using log_assert() instead of assert()
Clifford Wolf
2014-07-28
|
*
Fixed verific bindings for new RTLIL api
Clifford Wolf
2014-07-27
|
*
Updated verific build/test instructions
Clifford Wolf
2014-07-25
|
*
Various fixes in Verific frontend for new RTLIL API
Clifford Wolf
2014-07-23
|
*
Fixed mapping of Verific WIDE_DFFRS operator
Clifford Wolf
2014-03-20
|
*
Fixed mapping of Verific FADD primitive with unconnected outputs
Clifford Wolf
2014-03-20
|
*
Progress in Verific bindings
Clifford Wolf
2014-03-17
|
*
Progress in Verific bindings
Clifford Wolf
2014-03-17
|
*
Progress in Verific bindings
Clifford Wolf
2014-03-17
|
*
Added support for memories to verific bindings
Clifford Wolf
2014-03-16
|
*
Use Verific Net::{IsGnd,IsPwr} API in Verific bindings
Clifford Wolf
2014-03-16
|
*
Progress in Verific bindings
Clifford Wolf
2014-03-15
|
*
Progress in Verific bindings
Clifford Wolf
2014-03-15
|
*
Progress in Verific bindings
Clifford Wolf
2014-03-15
|
*
Progress in Verific bindings
Clifford Wolf
2014-03-14
|
*
Progress in Verific bindings
Clifford Wolf
2014-03-14
|
*
Progress in Verific bindings
Clifford Wolf
2014-03-13
|
*
Copy Verific vdbs files to Yosys "share" data directory
Clifford Wolf
2014-03-13
|
*
Added test_navre.ys for verific frontend
Clifford Wolf
2014-03-13
|
*
Improved verific command (added support for some operators)
Clifford Wolf
2014-03-10
|
*
Improvements in verific command
Clifford Wolf
2014-03-10
|
*
Added "verific" command
Clifford Wolf
2014-03-09