aboutsummaryrefslogtreecommitdiffstats
path: root/src/ghdldrv/ghdlprint.adb
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Create sem_lib from libraries.Tristan Gingold2018-11-141-7/+8
|
* rework parse_expression to add parse_binary_expression.Tristan Gingold2018-08-041-13/+1
| | | | This is needed to complete PSL expression parsing.
* Fix warning: use clause for package has no effectVicente Bergas2018-05-031-4/+0
| | | | | | | With gcc 8.1 the following message appears: warning: use clause for package "*" has no effect gnatmake: "*.adb" compilation error This patch fixes it.
* ghdldrv: remove most usages of Nam_Buffer.Tristan Gingold2018-01-181-14/+7
|
* version.in: avoid to duplicate version string.Tristan Gingold2017-12-101-1/+3
|
* Add extended locations (elocations). Still WIPTristan Gingold2017-10-181-1/+3
|
* files_map: rename Load_Source_File to Read_Source_File.Tristan Gingold2017-10-051-5/+5
|
* Add Tab_Stop variable.Tristan Gingold2017-03-141-2/+2
| | | | For #314
* Add xref_keyword for PSL keywords that aren't reserved words.Tristan Gingold2017-01-151-1/+12
|
* ghdlprint: do not canon associations.Tristan Gingold2016-12-121-0/+1
|
* Disable most of canon for reprint.Tristan Gingold2016-10-171-0/+7
|
* Finish_Compilation: factorize code, move to libraries.Tristan Gingold2016-10-151-2/+1
|
* Add --file-to-xml to dump tree as XML.Tristan Gingold2016-10-141-1/+0
|
* vhdl08: parse parameter reserved word.Tristan Gingold2016-09-251-1/+2
|
* ghdlprint: remove useless duplicate call.Tristan Gingold2016-09-011-2/+0
|
* Display a nice message if std_logic_textio is not found.Tristan Gingold2016-08-271-1/+1
|
* Rewrite scan error messages: use formatting.Tristan Gingold2016-08-021-1/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-14 07:00:01 +0000