index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
/
cmds
/
chformal.cc
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge pull request #2995 from georgerennie/cover_precond
Jannis Harder
2023-02-14
1
-0
/
+19
|
\
|
*
chformal: Note about using -coverenable with the Verific frontend
Jannis Harder
2023-02-14
1
-0
/
+5
|
*
chformal: Rename -coverprecond to -coverenable
George Rennie
2022-06-18
1
-4
/
+4
|
*
chformal: Test -coverprecond and reuse the src attribute
Jannis Harder
2022-06-18
1
-2
/
+2
|
*
chformal: Add -coverprecond option
George Rennie
2022-06-18
1
-0
/
+14
*
|
Fitting help messages to 80 character width
KrystalDelusion
2022-08-24
1
-2
/
+2
|
/
*
Fixing old e-mail addresses and deadnames
Claire Xenia Wolf
2021-06-08
1
-1
/
+1
*
Use C++11 final/override keywords.
whitequark
2020-06-18
1
-2
/
+2
*
kernel: big fat patch to use more ID::*, otherwise ID(*)
Eddie Hung
2020-04-02
1
-37
/
+37
*
kernel: use more ID::*
Eddie Hung
2020-04-02
1
-4
/
+4
*
Fix typographical and grammatical errors and inconsistencies.
whitequark
2019-01-02
1
-2
/
+2
*
Consistent use of 'override' for virtual methods in derived classes.
Henner Zeller
2018-07-20
1
-2
/
+2
*
Fix gcc compiler warning
Clifford Wolf
2017-04-05
1
-1
/
+1
*
Add "chformal -assert2assume" and friends
Clifford Wolf
2017-02-28
1
-0
/
+44
*
Add "chformal" pass
Clifford Wolf
2017-02-27
1
-0
/
+238