index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
frontends
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
|
|
Add "verific -work" help message
Clifford Wolf
2018-08-22
1
-0
/
+7
*
|
|
Add Verific -work parameter
Clifford Wolf
2018-08-22
1
-8
/
+18
*
|
|
Add "verific -set-<severity> <msg_id>.."
Clifford Wolf
2018-08-16
1
-14
/
+52
*
|
|
Verific workaround for VIPER ticket 13851
Clifford Wolf
2018-08-16
1
-0
/
+3
|
/
/
*
|
Merge pull request #591 from hzeller/virtual-override
Clifford Wolf
2018-08-15
7
-23
/
+23
|
\
\
|
*
|
Consistent use of 'override' for virtual methods in derived classes.
Henner Zeller
2018-07-20
7
-23
/
+23
*
|
|
Merge pull request #590 from hzeller/remaining-file-error
Clifford Wolf
2018-08-15
1
-15
/
+15
|
\
\
\
|
*
|
|
Fix remaining log_file_error(); emit dependent file references in new line.
Henner Zeller
2018-07-20
1
-15
/
+15
|
|
/
/
*
|
|
Merge pull request #513 from udif/pr_reg_wire_error
Clifford Wolf
2018-08-15
5
-4
/
+57
|
\
\
\
|
|
|
/
|
|
/
|
|
*
|
Modified errors into warnings
Udi Finkelstein
2018-06-05
4
-7
/
+41
|
*
|
This PR should be the base for discussion, do not merge it yet!
Udi Finkelstein
2018-03-11
5
-4
/
+23
*
|
|
Merge pull request #562 from udif/pr_fix_illegal_port_decl
Clifford Wolf
2018-08-15
1
-3
/
+6
|
\
\
\
|
*
|
|
Detect illegal port declaration, e.g input/output/inout keyword must be the f...
Udi Finkelstein
2018-06-06
1
-3
/
+6
*
|
|
|
Fixed use of char array for string in blifparse error handling
Clifford Wolf
2018-08-08
1
-5
/
+5
*
|
|
|
Report error reason on same line as syntax error.
litghost
2018-08-08
1
-6
/
+9
*
|
|
|
Use log_warning which does not immediately terminate.
litghost
2018-08-03
1
-3
/
+3
*
|
|
|
Add BLIF parsing support for .conn and .cname
litghost
2018-08-02
1
-3
/
+30
*
|
|
|
Verific: Produce errors for instantiating unknown module
Clifford Wolf
2018-07-22
1
-0
/
+3
|
|
_
|
/
|
/
|
|
*
|
|
Convert more log_error() to log_file_error() where possible.
Henner Zeller
2018-07-20
4
-137
/
+131
*
|
|
Use log_file_warning(), log_file_error() functions.
Henner Zeller
2018-07-20
3
-82
/
+79
*
|
|
Provide source-location logging.
Henner Zeller
2018-07-19
1
-3
/
+2
*
|
|
Fix handling of eventually properties in verific importer
Clifford Wolf
2018-07-17
1
-2
/
+4
*
|
|
Fix verific -vlog-incdir and -vlog-libdir handling
Clifford Wolf
2018-07-16
1
-2
/
+13
*
|
|
Fix "read -incdir"
Clifford Wolf
2018-07-16
1
-1
/
+1
*
|
|
Add "read -incdir"
Clifford Wolf
2018-07-16
1
-0
/
+19
*
|
|
Fix verific eventually handling
Clifford Wolf
2018-06-29
1
-6
/
+5
*
|
|
Add verific support for eventually properties
Clifford Wolf
2018-06-29
1
-5
/
+105
*
|
|
Add "verific -formal" and "read -formal"
Clifford Wolf
2018-06-29
1
-7
/
+15
*
|
|
Add "read -sv -D" support
Clifford Wolf
2018-06-28
1
-2
/
+25
*
|
|
Add "read -undef"
Clifford Wolf
2018-06-28
1
-0
/
+32
*
|
|
Fix handling of signed memories
Clifford Wolf
2018-06-28
1
-0
/
+3
*
|
|
Add YOSYS_NOVERIFIC env variable for temporarily disabling verific
Clifford Wolf
2018-06-22
1
-22
/
+40
*
|
|
Add simplified "read" command, enable extnets in implicit Verific import
Clifford Wolf
2018-06-21
1
-0
/
+84
*
|
|
Add automatic verific import in hierarchy command
Clifford Wolf
2018-06-20
2
-0
/
+56
*
|
|
Bugfix in liberty parser (as suggested by aiju in #569)
Clifford Wolf
2018-06-15
1
-1
/
+1
|
/
/
*
|
Add (* gclk *) attribute support
Clifford Wolf
2018-06-01
3
-0
/
+20
*
|
Add comment to VIPER #13453 work-around
Clifford Wolf
2018-05-28
1
-0
/
+1
*
|
Fix Verific handling of single-bit anyseq/anyconst wires
Clifford Wolf
2018-05-25
1
-2
/
+4
*
|
Fix VerificClocking for cases where Verific generates chains of PRIM_SVA_POSEDGE
Clifford Wolf
2018-05-24
1
-1
/
+1
*
|
Fix verific handling of anyconst/anyseq attributes
Clifford Wolf
2018-05-24
2
-16
/
+28
*
|
Support SystemVerilog `` extension for macros
Jim Paris
2018-05-17
1
-1
/
+5
*
|
Skip spaces around macro arguments
Jim Paris
2018-05-17
1
-0
/
+1
*
|
Fix handling of anyconst/anyseq attrs in VHDL code via Verific
Clifford Wolf
2018-05-15
1
-6
/
+6
*
|
Also interpret '&' in liberty functions
Sergiusz Bazanski
2018-05-12
1
-1
/
+1
*
|
Further improve handling of zero-length SVA consecutive repetition
Clifford Wolf
2018-05-05
1
-69
/
+108
*
|
Fix handling of zero-length SVA consecutive repetition
Clifford Wolf
2018-05-05
1
-26
/
+46
*
|
Replace -ignore_redef with -[no]overwrite
Clifford Wolf
2018-05-03
4
-19
/
+56
*
|
Support more character literals
Dan Gisselquist
2018-05-03
1
-1
/
+9
*
|
Add statement labels for immediate assertions
Clifford Wolf
2018-04-13
1
-18
/
+21
*
|
Allow "property" in immediate assertions
Clifford Wolf
2018-04-12
1
-17
/
+20
[prev]
[next]