| Commit message (Expand) | Author | Age | Files | Lines |
* | PSL: optimize True for goto_repeat | Tristan Gingold | 2023-01-31 | 1 | -5/+17 |
* | psl-disp_nfas: add Dump_NFA | Tristan Gingold | 2023-01-31 | 2 | -0/+57 |
* | psl-build.adb: handle sync_abort. Fix #2266 | Tristan Gingold | 2022-12-07 | 1 | -1/+2 |
* | psl-rewrites: minor style change | Tristan Gingold | 2022-08-16 | 1 | -2/+1 |
* | vhdl-prints: improve handling of PSL. For #2178 | Tristan Gingold | 2022-08-15 | 5 | -58/+109 |
* | PSL: Add handling of N_HDL_Bool to Dump_Expr procedure (#2158) | T. Meissner | 2022-08-04 | 1 | -1/+2 |
* | psl-build.adb: disable incorrect optimization. Fix #2157 | Tristan Gingold | 2022-08-03 | 2 | -2/+5 |
* | psl-nodes: add comments | Tristan Gingold | 2022-07-30 | 1 | -0/+2 |
* | psl-rewrites.adb: fix inclusive before. Fix #2153 | Tristan Gingold | 2022-07-29 | 1 | -1/+3 |
* | synth: add support for sequence instance in vunit. Fix #1889 | Tristan Gingold | 2021-10-13 | 1 | -1/+2 |
* | vhdl,psl: abort is now identical to async_abort. For #1654 | Tristan Gingold | 2021-09-02 | 1 | -3/+2 |
* | trans-chap9.adb: handle async_abort, sync_abort. Fix #1654 | Tristan Gingold | 2021-08-30 | 2 | -0/+22 |
* | vhdl and psl: parse sync_abort and async_abort. For #1654 | Tristan Gingold | 2021-08-30 | 7 | -38/+82 |
* | PSL: handle inf in star repeat sequence. Fix #1832 | Tristan Gingold | 2021-08-26 | 7 | -7/+28 |
* | psl: suffix implication are properties (for simple subset). For #1721 | Tristan Gingold | 2021-04-13 | 3 | -6/+5 |
* | psl-subsets: fix fallout of #1708 | Tristan Gingold | 2021-04-03 | 1 | -2/+3 |
* | psl: prefix of goto/non-consecutive repetition is a bool. Fix #1708 | Tristan Gingold | 2021-04-03 | 3 | -20/+27 |
* | psl, vhdl: Extend semantic pass for PSL to allow "assert never <Sequence>" wi... | Ondrej Ille | 2021-03-28 | 1 | -0/+1 |
* | psl-subsets.adb: allow optionnal sequence to plus repeat. Fix #1698 | Tristan Gingold | 2021-03-27 | 1 | -3/+2 |
* | update license headers | umarcor | 2021-02-05 | 3 | -33/+27 |
* | update license headers | umarcor | 2021-01-14 | 35 | -385/+315 |
* | scripts: move 'pyGHDL/xtools' to 'scripts', update Makefiles and docs accordi... | umarcor | 2020-12-28 | 1 | -2/+9 |
* | vhdl-sem_psl: avoid a crash in synth on incorrect clock. | Tristan Gingold | 2020-06-30 | 1 | -0/+1 |
* | vhdl psl: add support for equivalence operator. Fix #1371 | Tristan Gingold | 2020-06-16 | 7 | -177/+237 |
* | psl-nodes: set a location on false/true/one/EOS nodes. Fix #1345 | Tristan Gingold | 2020-05-29 | 2 | -2/+11 |
* | psl: set locations in CSE. Fix #1272 | Tristan Gingold | 2020-04-29 | 2 | -14/+4 |
* | psl: keep locations. | Tristan Gingold | 2020-04-26 | 6 | -16/+46 |
* | 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 | 11 | -21/+91 |
* | psl-nfa-utils: move active state in merge_state. | Tristan Gingold | 2019-10-31 | 1 | -0/+5 |
* | psl: add active state. | Tristan Gingold | 2019-10-21 | 4 | -20/+71 |
* | psl-nfas-utils: reuse True_Node. | Tristan Gingold | 2019-10-21 | 1 | -4/+2 |
* | vhdl: Add the implicit [*] at start of PSL cover sequence. | Tristan Gingold | 2019-10-15 | 2 | -0/+30 |
* | fix: move src/xtools to python/xtools (#846) | 1138-4EB | 2019-06-17 | 1 | -1/+1 |
* | vhdl-prints: handle PSL, add psl tokens for strong and inclusive variants. | Tristan Gingold | 2019-05-30 | 1 | -0/+2 |
* | vhdl: renames disp_vhdl to prints | Tristan Gingold | 2019-05-30 | 2 | -0/+2 |
* | vhdl-disp_vhdl: fixes for psl. | Tristan Gingold | 2019-05-25 | 1 | -2/+16 |
* | psl: can keep parenthesis during parse. | Tristan Gingold | 2019-05-24 | 5 | -32/+74 |
* | errorout: add messages group instead of continuation. | Tristan Gingold | 2019-05-12 | 1 | -1/+1 |
* | vhdl: decouple errorouts a bit more. | Tristan Gingold | 2019-05-10 | 2 | -1/+14 |
* | psl: add psl-types, psl-nodes_priv. | Tristan Gingold | 2019-05-10 | 15 | -3/+72 |
* | Extract psl-errors from errorout. | Tristan Gingold | 2019-05-10 | 2 | -0/+64 |
* | psl-rewrites: handle and/or seq. | Tristan Gingold | 2018-11-30 | 1 | -1/+3 |
* | psl: adjust after pnodes.py changes and regenerate. | Tristan Gingold | 2017-10-28 | 2 | -12/+12 |
* | PSL: add clocked SERE, make endpoints visible from VHDL. | Tristan Gingold | 2016-03-22 | 6 | -20/+48 |
* | wip. | Tristan Gingold | 2016-03-20 | 1 | -2/+3 |
* | psl: cover directive works on a sequence, not on a property. | Tristan Gingold | 2016-02-14 | 4 | -8/+15 |
* | Improve mixed dump of PSL and VHDL nodes. | Tristan Gingold | 2016-02-09 | 2 | -18/+8 |
* | psl: use Tables instead of GNAT.Table, regenerate, add copyrights. | Tristan Gingold | 2016-01-27 | 31 | -59/+609 |
* | Add missing psl files. | Tristan Gingold | 2015-05-10 | 5 | -0/+2008 |