Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add support for PSL onehot/onehot0 functions (#1633) | T. Meissner | 2021-02-09 | 1 | -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 headers | umarcor | 2021-01-14 | 1 | -11/+9 |
| | |||||
* | vhdl-formatters: add realignment | Tristan Gingold | 2021-01-11 | 1 | -0/+5 |
| | |||||
* | vhdl: rework formatter engine, add 'ghdl fmt' command | Tristan Gingold | 2021-01-09 | 1 | -23/+104 |
| | |||||
* | libraries: Load_Std_Library: now return a status. | Tristan Gingold | 2020-12-26 | 1 | -4/+13 |
| | | | | | | Propagate this change to libghdl and python binding to avoid abort. For #1551 | ||||
* | ghdldrv: adjust style and some error messages. | Tristan Gingold | 2020-09-20 | 1 | -22/+15 |
| | |||||
* | cli: rework syntax, add commands without '-' or '--' | umarcor | 2020-09-20 | 1 | -14/+42 |
| | |||||
* | ghdlprint: enable missing xrefs warning | Tristan Gingold | 2020-07-18 | 1 | -0/+1 |
| | |||||
* | vhdl: parse PSL prev/stable/rose/fell builtin calls. For #662 | Tristan Gingold | 2020-06-02 | 1 | -29/+33 |
| | |||||
* | find_top_entity: add location to report errors. Fix #1254 | Tristan Gingold | 2020-04-22 | 1 | -1/+1 |
| | |||||
* | ghdldrv: Make Perform_Action cmd parameter in out. | Tristan Gingold | 2020-04-10 | 1 | -14/+14 |
| | | | | So that it can change the flags written by decode_option. | ||||
* | ghdlprint: add --force flag. | Tristan Gingold | 2020-03-06 | 1 | -4/+10 |
| | |||||
* | synth: simplify support of inertial associations. | Tristan Gingold | 2020-01-09 | 1 | -0/+1 |
| | |||||
* | vhdl psl: fully scan PSL keywords in scanner. | Tristan Gingold | 2019-08-20 | 1 | -1/+7 |
| | |||||
* | vhdl: recognize PSL units reserved words. | Tristan Gingold | 2019-08-16 | 1 | -1/+1 |
| | |||||
* | vhdl: add PSL keywords to vhdl08 reserved words. | Tristan Gingold | 2019-08-14 | 1 | -9/+2 |
| | |||||
* | Add support for PSL assumptions, used in formal verification (#880) | Pepijn de Vos | 2019-08-07 | 1 | -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 Gingold | 2019-07-04 | 1 | -0/+2 |
| | |||||
* | Error_Msg_Option: do not raise exception. | Tristan Gingold | 2019-06-25 | 1 | -7/+7 |
| | |||||
* | vhdl-formatters: add range for indent. | Tristan Gingold | 2019-06-03 | 1 | -2/+29 |
| | |||||
* | vhdl-formatters: add indent. | Tristan Gingold | 2019-06-01 | 1 | -1/+9 |
| | |||||
* | vhdl: add code formatter (WIP) | Tristan Gingold | 2019-05-30 | 1 | -1/+12 |
| | |||||
* | 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: renames disp_vhdl to prints | Tristan Gingold | 2019-05-30 | 1 | -3/+9 |
| | |||||
* | ghdlprint: exit in case of error. | Tristan Gingold | 2019-05-23 | 1 | -2/+4 |
| | |||||
* | ghdlprint: add --no-sem to --reprint | Tristan Gingold | 2019-05-22 | 1 | -9/+33 |
| | |||||
* | vhdl: decouple errorouts a bit more. | 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 xrefs to vhdl child package. | Tristan Gingold | 2019-05-06 | 1 | -11/+11 |
| | |||||
* | vhdl: move elocations* packages to vhdl children. | Tristan Gingold | 2019-05-05 | 1 | -2/+2 |
| | |||||
* | vhdl: move sem* packages to vhdl children. | Tristan Gingold | 2019-05-05 | 1 | -3/+3 |
| | |||||
* | vhdl: move canon to a vhdl child package. | Tristan Gingold | 2019-05-05 | 1 | -5/+5 |
| | |||||
* | vhdl: move disp_tree and disp_vhdl as vhdl child. | Tristan Gingold | 2019-05-04 | 1 | -2/+2 |
| | |||||
* | vhdl: move parse package as vhdl child. | Tristan Gingold | 2019-05-04 | 1 | -2/+2 |
| | |||||
* | vhdl: move tokens as vhdl child package. | Tristan Gingold | 2019-05-04 | 1 | -4/+4 |
| | |||||
* | vhdl: move scanner under vhdl hierarchy. | Tristan Gingold | 2019-05-04 | 1 | -6/+6 |
| | |||||
* | files_map: rename Get_Source_File_Directory to Get_Directory_Name. | Tristan Gingold | 2018-12-18 | 1 | -1/+1 |
| | |||||
* | ghdldrv: Cmd argument of Perform_Action is now in. | Tristan Gingold | 2018-12-16 | 1 | -29/+32 |
| | |||||
* | Finish_Compilation: do not raise Compilation_Error. | Tristan Gingold | 2018-12-16 | 1 | -0/+3 |
| | |||||
* | files_map: renaming for consistency. | Tristan Gingold | 2018-12-14 | 1 | -1/+1 |
| | |||||
* | Rename overloaded Load_File and export it to python. | Tristan Gingold | 2018-12-13 | 1 | -2/+2 |
| | |||||
* | Move Error_Msg_Parse from errorout to parse. | Tristan Gingold | 2018-12-05 | 1 | -1/+2 |
| | |||||
* | Keep source file entry in design file to avoid searching the file. | Tristan Gingold | 2018-11-26 | 1 | -2/+4 |
| | |||||
* | ghdlprint: pass a location. | Tristan Gingold | 2018-11-17 | 1 | -1/+1 |
| | |||||
* | Create sem_lib from libraries. | Tristan Gingold | 2018-11-14 | 1 | -7/+8 |
| | |||||
* | rework parse_expression to add parse_binary_expression. | Tristan Gingold | 2018-08-04 | 1 | -13/+1 |
| | | | | This is needed to complete PSL expression parsing. | ||||
* | Fix warning: use clause for package has no effect | Vicente Bergas | 2018-05-03 | 1 | -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 Gingold | 2018-01-18 | 1 | -14/+7 |
| |