aboutsummaryrefslogtreecommitdiffstats
path: root/src/ghdldrv/ghdlprint.adb
Commit message (Collapse)AuthorAgeFilesLines
* vhdl/trans: support suspend statesTristan Gingold2023-01-281-0/+1
|
* vhdl-prints: add an option to display commentsTristan Gingold2022-11-201-1/+16
|
* vhdl-canon: remove unused canon_flag_inertial_associationsTristan Gingold2022-05-201-1/+0
|
* vhdl and psl: parse sync_abort and async_abort. For #1654Tristan Gingold2021-08-301-0/+2
|
* Add support for PSL onehot/onehot0 functions (#1633)T. Meissner2021-02-091-1/+3
| | | | | | | | | | | | | | | * vhdl: parse PSL onehot/onehot0 builtin calls. For #662 * update pyGHDL bindings * Synthesis of PSL built-in onehot/onehot0 function. * testsuite/synth: add tests of PSL built-in functions onehot()/onehot0() for #662 * doc: add info about PSL built-in functions onehot()/onehot0() for #662 * synth: refactor synthesis of onehot/onehot0 functions Co-authored-by: eine <eine@users.noreply.github.com>
* update license headersumarcor2021-01-141-11/+9
|
* vhdl-formatters: add realignmentTristan Gingold2021-01-111-0/+5
|
* vhdl: rework formatter engine, add 'ghdl fmt' commandTristan Gingold2021-01-091-23/+104
|
* libraries: Load_Std_Library: now return a status.Tristan Gingold2020-12-261-4/+13
| | | | | | Propagate this change to libghdl and python binding to avoid abort. For #1551
* ghdldrv: adjust style and some error messages.Tristan Gingold2020-09-201-22/+15
|
* cli: rework syntax, add commands without '-' or '--'umarcor2020-09-201-14/+42
|
* ghdlprint: enable missing xrefs warningTristan Gingold2020-07-181-0/+1
|
* vhdl: parse PSL prev/stable/rose/fell builtin calls. For #662Tristan Gingold2020-06-021-29/+33
|
* find_top_entity: add location to report errors. Fix #1254Tristan Gingold2020-04-221-1/+1
|
* ghdldrv: Make Perform_Action cmd parameter in out.Tristan Gingold2020-04-101-14/+14
| | | | So that it can change the flags written by decode_option.
* ghdlprint: add --force flag.Tristan Gingold2020-03-061-4/+10
|
* synth: simplify support of inertial associations.Tristan Gingold2020-01-091-0/+1
|
* vhdl psl: fully scan PSL keywords in scanner.Tristan Gingold2019-08-201-1/+7
|
* vhdl: recognize PSL units reserved words.Tristan Gingold2019-08-161-1/+1
|
* vhdl: add PSL keywords to vhdl08 reserved words.Tristan Gingold2019-08-141-9/+2
|
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | * vhdl: make the parser understand PSL assume * assume does not actually have report according to the spec. Just a property. * add SPL assume to semantic analysis * canonicalise PSL assume * add assume to annotations * add PSL assume to simulation code * statement -> directive * add assume to translation files * update ticked24 testcase * correctly parse assume * add assume testcase * refactor chunk of duplicated code
* vhdl: parse and analyze restrict directive.Tristan Gingold2019-07-041-0/+2
|
* Error_Msg_Option: do not raise exception.Tristan Gingold2019-06-251-7/+7
|
* vhdl-formatters: add range for indent.Tristan Gingold2019-06-031-2/+29
|
* vhdl-formatters: add indent.Tristan Gingold2019-06-011-1/+9
|
* vhdl: add code formatter (WIP)Tristan Gingold2019-05-301-1/+12
|
* vhdl: differenciate block and line comments.Tristan Gingold2019-05-301-1/+2
|
* vhdl-prints: handle PSL, add psl tokens for strong and inclusive variants.Tristan Gingold2019-05-301-0/+6
|
* vhdl: renames disp_vhdl to printsTristan Gingold2019-05-301-3/+9
|
* ghdlprint: exit in case of error.Tristan Gingold2019-05-231-2/+4
|
* ghdlprint: add --no-sem to --reprintTristan Gingold2019-05-221-9/+33
|
* vhdl: decouple errorouts a bit more.Tristan Gingold2019-05-101-1/+1
|
* vhdl: extract vhdl.errors from errorout.Tristan Gingold2019-05-081-0/+1
|
* vhdl: move iirs_utils to vhdl.utilsTristan Gingold2019-05-061-1/+1
|
* vhdl: move xrefs to vhdl child package.Tristan Gingold2019-05-061-11/+11
|
* vhdl: move elocations* packages to vhdl children.Tristan Gingold2019-05-051-2/+2
|
* vhdl: move sem* packages to vhdl children.Tristan Gingold2019-05-051-3/+3
|
* vhdl: move canon to a vhdl child package.Tristan Gingold2019-05-051-5/+5
|
* vhdl: move disp_tree and disp_vhdl as vhdl child.Tristan Gingold2019-05-041-2/+2
|
* vhdl: move parse package as vhdl child.Tristan Gingold2019-05-041-2/+2
|
* vhdl: move tokens as vhdl child package.Tristan Gingold2019-05-041-4/+4
|
* vhdl: move scanner under vhdl hierarchy.Tristan Gingold2019-05-041-6/+6
|
* files_map: rename Get_Source_File_Directory to Get_Directory_Name.Tristan Gingold2018-12-181-1/+1
|
* ghdldrv: Cmd argument of Perform_Action is now in.Tristan Gingold2018-12-161-29/+32
|
* Finish_Compilation: do not raise Compilation_Error.Tristan Gingold2018-12-161-0/+3
|
* files_map: renaming for consistency.Tristan Gingold2018-12-141-1/+1
|
* Rename overloaded Load_File and export it to python.Tristan Gingold2018-12-131-2/+2
|
* Move Error_Msg_Parse from errorout to parse.Tristan Gingold2018-12-051-1/+2
|
* Keep source file entry in design file to avoid searching the file.Tristan Gingold2018-11-261-2/+4
|
* ghdlprint: pass a location.Tristan Gingold2018-11-171-1/+1
|