| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | trans-chap9.adb: destroy types in PSL expressions. For #2157 | Tristan Gingold | 2022-08-04 | 1 | -3/+31 |
| * | trans-chap9.adb: handle async_abort, sync_abort. Fix #1654 | Tristan Gingold | 2021-08-30 | 1 | -35/+111 |
| * | Rework inertial associations. | Tristan Gingold | 2021-08-23 | 1 | -12/+49 |
| * | vhdl: introduce iir_kind_association_element_by_name | Tristan Gingold | 2021-08-06 | 1 | -2/+1 |
| * | trans-chap9: set line number for gcc. Fix #1817 | Tristan Gingold | 2021-07-19 | 1 | -2/+5 |
| * | vhdl-nodes: remove Identifier from Psl_Default_Clock | Tristan Gingold | 2021-06-30 | 1 | -3/+16 |
| * | trans-chap9: handle N_Imp_Bool for PSL. For #1721 | Tristan Gingold | 2021-04-13 | 1 | -0/+21 |
| * | trans-chap9.adb: fix out of scope reference. | Tristan Gingold | 2021-04-10 | 1 | -2/+3 |
| * | src: Fix PSL start count assignment for PSL endpoints. | Ondrej Ille | 2021-04-08 | 1 | -9/+9 |
| * | src: Introduce two separate PSL counters (Finish and Start). | Ondrej Ille | 2021-04-08 | 1 | -9/+33 |
| * | src: Define PSL type RTI with simplified assertion state. | Ondrej Ille | 2021-04-08 | 1 | -0/+26 |
| * | src: Move --psl-report-uncovered to run options, not analysis options. | Ondrej Ille | 2021-03-22 | 1 | -1/+1 |
| * | Revert "src: Add -Wpsl-uncovered option to optionally warn about uncovered PS... | Ondrej Ille | 2021-03-22 | 1 | -11/+9 |
| * | Revert "src: Fix build warning for redundant comparison." | Ondrej Ille | 2021-03-22 | 1 | -1/+1 |
| * | Revert "src: Fix notes on pull-request." | Ondrej Ille | 2021-03-22 | 1 | -1/+1 |
| * | src: Fix notes on pull-request. | Ondrej Ille | 2021-03-22 | 1 | -1/+1 |
| * | src: Fix build warning for redundant comparison. | Ondrej Ille | 2021-03-22 | 1 | -1/+1 |
| * | src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL sequen... | Ondrej Ille | 2021-03-22 | 1 | -9/+11 |
| * | update license headers | umarcor | 2021-01-14 | 1 | -11/+9 |
| * | vhdl: renaming in vhdl-canon. | Tristan Gingold | 2020-08-08 | 1 | -1/+1 |
| * | translate: minor changes. | Tristan Gingold | 2020-08-04 | 1 | -1/+1 |
| * | vhdl: parse and analyze force/release signal assignment statements. | Tristan Gingold | 2020-08-01 | 1 | -0/+1 |
| * | ortho: add unbounded records, rework array subtypes. | Tristan Gingold | 2020-07-25 | 1 | -3/+3 |
| * | vhdl/translate: rework object type elaboration. For #641 | Tristan Gingold | 2020-06-24 | 1 | -3/+3 |
| * | types: introduce Direction_Type, which replaces Iir_Direction. | Tristan Gingold | 2020-04-20 | 1 | -1/+1 |
| * | vhdl: add scalar_size. Size of scalar types is computed during analysis. | Tristan Gingold | 2020-04-06 | 1 | -0/+1 |
| * | psl: keep denoting names in the PSL ast. | Tristan Gingold | 2020-03-13 | 1 | -1/+2 |
| * | ignore restrict in simulation (#897) | Pepijn de Vos | 2019-08-20 | 1 | -15/+14 |
| * | vhdl: remove severity from cover, report and severity from assume. | Tristan Gingold | 2019-08-08 | 1 | -4/+14 |
| * | Add support for PSL assumptions, used in formal verification (#880) | Pepijn de Vos | 2019-08-07 | 1 | -8/+21 |
| * | vhdl/translate: reindent. | Tristan Gingold | 2019-07-04 | 1 | -1/+1 |
| * | vhdl: rename Cover_Statement to Cover_Directive. | Tristan Gingold | 2019-07-04 | 1 | -8/+8 |
| * | psl: add psl-types, psl-nodes_priv. | Tristan Gingold | 2019-05-10 | 1 | -0/+1 |
| * | vhdl: replace Iir_Int64 by Int64, and Iir_Fp64 by Fp64. | Tristan Gingold | 2019-05-10 | 1 | -2/+2 |
| * | Extract psl-errors from errorout. | Tristan Gingold | 2019-05-10 | 1 | -1/+1 |
| * | vhdl: extract vhdl.errors from errorout. | Tristan Gingold | 2019-05-08 | 1 | -0/+1 |
| * | vhdl: move iirs_utils to vhdl.utils | Tristan Gingold | 2019-05-06 | 1 | -1/+1 |
| * | vhdl: move nodes_meta package to vhdl child. | Tristan Gingold | 2019-05-06 | 1 | -2/+2 |
| * | vhdl: move ieee packages to vhdl children. | Tristan Gingold | 2019-05-05 | 1 | -2/+2 |
| * | vhdl: move std_standard package to vhdl child. | Tristan Gingold | 2019-05-05 | 1 | -1/+1 |
| * | vhdl: move canon to a vhdl child package. | Tristan Gingold | 2019-05-05 | 1 | -2/+2 |
| * | Remove unused is_ref for choices. Adjust. | Tristan Gingold | 2019-01-02 | 1 | -4/+0 |
| * | translate: renaming of Kind_Expr/Get_Ortho_Expr. | Tristan Gingold | 2018-12-11 | 1 | -6/+7 |
| * | translate: refactoring. | Tristan Gingold | 2018-11-20 | 1 | -1/+1 |
| * | vhdl/translate: improve support of unbounded arrays. | Tristan Gingold | 2018-11-09 | 1 | -2/+2 |
| * | trans-chap9: add a guard. | Tristan Gingold | 2018-10-24 | 1 | -0/+9 |
| * | trans: avoid translation of coverage report twice. | Tristan Gingold | 2018-10-23 | 1 | -6/+85 |
| * | Rework translation of unbounded and complex types. | Tristan Gingold | 2018-10-21 | 1 | -4/+3 |
| * | Add Maybe_Ref_Chain (WIP). | Tristan Gingold | 2018-09-20 | 1 | -0/+4 |
| * | Fix warning: use clause for package has no effect | Vicente Bergas | 2018-05-03 | 1 | -3/+0 |
