Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | translate: adjust null access check: add an explicit check. | Tristan Gingold | 2022-03-26 | 1 | -0/+6 |
| | |||||
* | Add explicit ?>= and ?> functions for translation. | Brian Padalino | 2021-09-22 | 1 | -0/+2 |
| | | | | | | Instead of swapping L/R arguments to try to create ?>= and ?>, create a function for each which performs the not operation of ?< and ?<= as defined by the LRM. | ||||
* | src: Introduce two separate PSL counters (Finish and Start). | Ondrej Ille | 2021-04-08 | 1 | -0/+1 |
| | | | | | | Finish counter corresponds to legacy count. Start counter corresponds to number of times start state is left (assertion is triggered). | ||||
* | update license headers | umarcor | 2021-01-14 | 1 | -11/+9 |
| | |||||
* | vhdl: handle force/release statements in translate and grt. For #1416 | Tristan Gingold | 2020-08-03 | 1 | -17/+62 |
| | |||||
* | ortho: add unbounded records, rework array subtypes. | Tristan Gingold | 2020-07-25 | 1 | -4/+6 |
| | |||||
* | vhdl: add ghdl_integer_index_check_failed. For #1257 | Tristan Gingold | 2020-06-17 | 1 | -0/+15 |
| | | | | Improve error message in case of (integer) index not in bounds. | ||||
* | vhdl: add scalar_size. Size of scalar types is computed during analysis. | Tristan Gingold | 2020-04-06 | 1 | -19/+13 |
| | |||||
* | vhdl: remove severity from cover, report and severity from assume. | Tristan Gingold | 2019-08-08 | 1 | -2/+12 |
| | |||||
* | Add support for PSL assumptions, used in formal verification (#880) | Pepijn de Vos | 2019-08-07 | 1 | -0/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | * 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: 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 std_standard package to vhdl child. | Tristan Gingold | 2019-05-05 | 1 | -1/+1 |
| | |||||
* | vhdl: move sem* packages to vhdl children. | Tristan Gingold | 2019-05-05 | 1 | -2/+2 |
| | |||||
* | vhdl: move canon to a vhdl child package. | Tristan Gingold | 2019-05-05 | 1 | -2/+2 |
| | |||||
* | vhdl: supports VHPIDIRECT in mcode backend. | Tristan Gingold | 2019-04-27 | 1 | -3/+2 |
| | | | | | src: add hash.ad[sb], interning.ad[sb] Automatically link with vhpidirect libraries. | ||||
* | translation: adjust scan of vhpidirect string. | Tristan Gingold | 2019-04-27 | 1 | -6/+5 |
| | |||||
* | translation: avoid crash after error in VHPIDIRECT extraction. | Tristan Gingold | 2018-12-12 | 1 | -0/+3 |
| | |||||
* | translate: renaming of Kind_Expr/Get_Ortho_Expr. | Tristan Gingold | 2018-12-11 | 1 | -2/+2 |
| | |||||
* | Add --max-stack-alloc option, check stack allocation of complex object. | Tristan Gingold | 2018-11-23 | 1 | -0/+15 |
| | | | | Fix #692 | ||||
* | Fix overflow detection for **, implement ** for i64. | Tristan Gingold | 2018-11-14 | 1 | -7/+16 |
| | | | | Fix #683 | ||||
* | Rework translation of unbounded and complex types. | Tristan Gingold | 2018-10-21 | 1 | -8/+27 |
| | |||||
* | Add support for --time-resolution (jit only). Fix #613 | Tristan Gingold | 2018-08-10 | 1 | -2/+1 |
| | |||||
* | Delay translation of default configuration. | Tristan Gingold | 2018-06-19 | 1 | -0/+1 |
| | | | | Fix #606 | ||||
* | Fix warning: use clause for package has no effect | Vicente Bergas | 2018-05-03 | 1 | -1/+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. | ||||
* | Use specific error message for direction mismatch. | Tristan Gingold | 2018-04-25 | 1 | -8/+15 |
| | | | | Fix #559 | ||||
* | translation: remove some use of Nam_Buffer. | Tristan Gingold | 2018-01-20 | 1 | -39/+45 |
| | |||||
* | files_map: get rid of global Nam_Buffer use. | Tristan Gingold | 2018-01-18 | 1 | -2/+1 |
| | |||||
* | WIP: define ghdl_sizes_type. | Tristan Gingold | 2018-01-02 | 1 | -0/+18 |
| | |||||
* | Use Flist for simple_aggregate. | Tristan Gingold | 2017-11-07 | 1 | -7/+3 |
| | |||||
* | Improved error reporting, Issue #26 | Brian Drummond | 2017-10-06 | 1 | -0/+4 |
| | |||||
* | translate: separate spec and body translation for implicit subprograms. | Tristan Gingold | 2017-05-17 | 1 | -3/+3 |
| | |||||
* | translation: renames Ortho_Func to Subprg_Node for consistency. | Tristan Gingold | 2017-05-12 | 1 | -1/+1 |
| | |||||
* | Create default value for ports. | Tristan Gingold | 2017-05-09 | 1 | -6/+20 |
| | | | | Fix #328 | ||||
* | Add 'Image and 'Value for i64. | Tristan Gingold | 2017-01-13 | 1 | -0/+5 |
| | | | | Fix #254 | ||||
* | translate: refactoring for ortho_info_type. | Tristan Gingold | 2016-12-30 | 1 | -1/+1 |
| | |||||
* | Handle top-level instantiation of macro-expansed packages. | Tristan Gingold | 2016-11-12 | 1 | -0/+6 |
| | | | | Fix #199 | ||||
* | Finish_Compilation: factorize code, move to libraries. | Tristan Gingold | 2016-10-15 | 1 | -0/+4 |
| | |||||
* | Comments and reformatting. | Tristan Gingold | 2016-09-14 | 1 | -40/+48 |
| | |||||
* | parse: improve some error messages. | Tristan Gingold | 2016-09-06 | 1 | -2/+2 |
| | |||||
* | Rewrite most of error and warning messages. | Tristan Gingold | 2016-08-02 | 1 | -4/+5 |
| | |||||
* | Rewrite error messages. | Tristan Gingold | 2016-08-02 | 1 | -5/+5 |
| | |||||
* | Initial support of direct recursive instantiation. | Tristan Gingold | 2016-07-03 | 1 | -2/+4 |
| | | | | Fix issue #2. | ||||
* | Reorder fields in signals for alignment. | Tristan Gingold | 2016-01-09 | 1 | -3/+4 |
| | |||||
* | Do not create signal type for scalar type. | Tristan Gingold | 2015-12-20 | 1 | -6/+7 |
| | | | | Use ghdl_signal_ptr instead. Fallout of sigptr. | ||||
* | Pass signal values to interfaces. 'sigptr' optimization. | Tristan Gingold | 2015-12-18 | 1 | -14/+24 |
| | | | | Improve simulation speed by about 20%. | ||||
* | Suppress stack switching; save process state in secondary stack. | Tristan Gingold | 2015-09-04 | 1 | -3/+10 |
| | |||||
* | Replace fat accesses by bounds accesses | Tristan Gingold | 2015-08-29 | 1 | -0/+2 |
| | | | | | translate: separate info for signals from object. Improve some error messages. | ||||
* | Handle to_string for i64 numbers. | Tristan Gingold | 2015-05-20 | 1 | -0/+2 |
| | | | | Fix ticket 76 | ||||
* | Fix translation for context declaration for gcc/llvm. | Tristan Gingold | 2015-05-12 | 1 | -0/+3 |
| | | | | Fix ticket 58. |