index
:
iCE40/ghdl
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
psl
/
psl-rewrites.adb
Commit message (
Collapse
)
Author
Age
Files
Lines
*
vhdl and psl: parse sync_abort and async_abort. For #1654
Tristan Gingold
2021-08-30
1
-1
/
+3
|
*
PSL: handle inf in star repeat sequence. Fix #1832
Tristan Gingold
2021-08-26
1
-4
/
+10
|
*
psl: prefix of goto/non-consecutive repetition is a bool. Fix #1708
Tristan Gingold
2021-04-03
1
-11
/
+11
|
*
psl, vhdl: Extend semantic pass for PSL to allow "assert never <Sequence>" ↵
Ondrej Ille
2021-03-28
1
-0
/
+1
|
|
|
|
with suffixed repetition operator without surrounding sequence braces.
*
vhdl psl: add support for equivalence operator. Fix #1371
Tristan Gingold
2020-06-16
1
-2
/
+3
|
*
psl-rewrites: handle N_Paren_Prop (simply discard).
Tristan Gingold
2020-03-13
1
-0
/
+3
|
*
psl: keep denoting names in the PSL ast.
Tristan Gingold
2020-03-13
1
-0
/
+2
|
*
psl: add psl-types, psl-nodes_priv.
Tristan Gingold
2019-05-10
1
-0
/
+1
|
*
psl-rewrites: handle and/or seq.
Tristan Gingold
2018-11-30
1
-1
/
+3
|
*
PSL: add clocked SERE, make endpoints visible from VHDL.
Tristan Gingold
2016-03-22
1
-0
/
+4
|
*
wip.
Tristan Gingold
2016-03-20
1
-2
/
+3
|
*
Move sources to src/ subdirectory.
Tristan Gingold
2014-11-04
1
-0
/
+604