index
:
iCE40/ghdl
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
vhdl
/
vhdl-tokens.ads
Commit message (
Expand
)
Author
Age
Files
Lines
*
vhdl and psl: parse sync_abort and async_abort. For #1654
Tristan Gingold
2021-08-30
1
-0
/
+2
*
Add support for PSL onehot/onehot0 functions (#1633)
T. Meissner
2021-02-09
1
-1
/
+3
*
update license headers
umarcor
2021-01-14
1
-11
/
+9
*
vhdl: rework formatter engine, add 'ghdl fmt' command
Tristan Gingold
2021-01-09
1
-19
/
+37
*
vhdl: add force and release tokens. For #1416
Tristan Gingold
2020-08-01
1
-0
/
+2
*
vhdl psl: add support for equivalence operator. Fix #1371
Tristan Gingold
2020-06-16
1
-0
/
+1
*
vhdl: parse PSL prev/stable/rose/fell builtin calls. For #662
Tristan Gingold
2020-06-02
1
-1
/
+6
*
vhdl psl: fully scan PSL keywords in scanner.
Tristan Gingold
2019-08-20
1
-5
/
+11
*
vhdl: recognize PSL units reserved words.
Tristan Gingold
2019-08-16
1
-0
/
+3
*
vhdl: add PSL keywords to vhdl08 reserved words.
Tristan Gingold
2019-08-14
1
-7
/
+7
*
Add support for PSL assumptions, used in formal verification (#880)
Pepijn de Vos
2019-08-07
1
-0
/
+1
*
vhdl: parse and analyze restrict directive.
Tristan Gingold
2019-07-04
1
-0
/
+2
*
vhdl: differenciate block and line comments.
Tristan Gingold
2019-05-30
1
-1
/
+2
*
vhdl-prints: handle PSL, add psl tokens for strong and inclusive variants.
Tristan Gingold
2019-05-30
1
-0
/
+6
*
vhdl: move tokens as vhdl child package.
Tristan Gingold
2019-05-04
1
-0
/
+303