aboutsummaryrefslogtreecommitdiffstats
path: root/src/ghdldrv/ghdlrun.adb
Commit message (Collapse)AuthorAgeFilesLines
* ghdlrun: report unreferenced nodes with --check-astTristan Gingold2023-03-281-0/+5
|
* ghdlrun: extract trans_foreignTristan Gingold2023-01-271-108/+6
|
* ghdldrv: extract trans_link from ghdlrunTristan Gingold2023-01-211-459/+4
|
* vhdl: refactoring - remove trans_be, mainly added to vhdl-back_endTristan Gingold2023-01-161-5/+5
|
* grt: add modules in ghdl_main instead of grt-mainTristan Gingold2023-01-051-0/+2
|
* translate, grt: add lib function for div and rem.Tristan Gingold2022-10-021-0/+8
| | | | | Do not rely on hardware exceptions to catch division by 0, they are caught in windows by the c handler and not propagated
* Makefile.in: allow build of ghdl_mcode with sundials enabledTristan Gingold2022-07-211-0/+25
|
* ghdlcomp(common_compile_elab): add allow_undef_generic parameterTristan Gingold2022-05-161-1/+1
|
* translate: adjust null access check: add an explicit check.Tristan Gingold2022-03-261-0/+2
|
* grt: extract grt-vhdl_types from grt-typesTristan Gingold2022-03-221-1/+2
|
* Add explicit ?>= and ?> functions for translation.Brian Padalino2021-09-221-0/+4
| | | | | | 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.
* update license headersumarcor2021-01-141-11/+9
|
* ghdlrun: factorize code for finalizationTristan Gingold2020-12-301-10/+2
|
* Rework initialization and finalization.Tristan Gingold2020-12-301-4/+6
| | | | libghdl can now be re-initialized.
* ghdldrv: adjust style and some error messages.Tristan Gingold2020-09-201-4/+3
|
* cli: rework syntax, add commands without '-' or '--'umarcor2020-09-201-2/+6
|
* vhdl: handle force/release statements in translate and grt. For #1416Tristan Gingold2020-08-031-0/+29
|
* vhdl: add ghdl_integer_index_check_failed. For #1257Tristan Gingold2020-06-171-0/+3
| | | | Improve error message in case of (integer) index not in bounds.
* ghdldrv: Make Perform_Action cmd parameter in out.Tristan Gingold2020-04-101-2/+2
| | | | So that it can change the flags written by decode_option.
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-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
* ghdldrv: refactoring - share more code, isolate ghdlsynth from ghdlsimul.Tristan Gingold2019-06-291-38/+15
|
* Add simple_IO - to be used instead of Text_IO.Tristan Gingold2019-05-191-23/+16
|
* Make lists a generic package, add vhdl-lists.Tristan Gingold2019-05-091-2/+2
|
* vhdl: extract vhdl.errors from errorout.Tristan Gingold2019-05-081-0/+1
|
* vhdl: rename iirs to vhdl.nodesTristan Gingold2019-05-051-2/+2
|
* vhdl: move nodes to vhdl.nodes_priv.Tristan Gingold2019-05-051-2/+1
|
* vhdl: move ieee packages to vhdl children.Tristan Gingold2019-05-051-3/+3
|
* vhdl: move std_standard package to vhdl child.Tristan Gingold2019-05-051-4/+4
|
* vhdl: move configuration package as a vhdl child.Tristan Gingold2019-05-051-2/+2
|
* vhdl: move canon to a vhdl child package.Tristan Gingold2019-05-051-6/+6
|
* vhdl: supports VHPIDIRECT in mcode backend.Tristan Gingold2019-04-271-6/+69
| | | | | src: add hash.ad[sb], interning.ad[sb] Automatically link with vhpidirect libraries.
* ghdldrv: Cmd argument of Perform_Action is now in.Tristan Gingold2018-12-161-2/+2
|
* Add --max-stack-alloc option, check stack allocation of complex object.Tristan Gingold2018-11-231-0/+2
| | | | Fix #692
* Fix overflow detection for **, implement ** for i64.Tristan Gingold2018-11-141-2/+4
| | | | Fix #683
* Pass time-resolution to grt.Tristan Gingold2018-10-211-6/+7
| | | | | | | | | Use time-resolution for Put_Time. Use time-resolution for --stop-time (Parse_Time). Use time-resolution as VpiTimePrecision and for vcd. TODO: ghw (but needs to update ghwlib and gtkwave) Fix #672
* Add support for --time-resolution (jit only). Fix #613Tristan Gingold2018-08-101-11/+57
|
* Remove redundant use-clauses for gcc 8.1 compatibilityTruls Asheim2018-05-301-3/+0
|
* Use specific error message for direction mismatch.Tristan Gingold2018-04-251-2/+4
| | | | Fix #559
* translation: remove some use of Nam_Buffer.Tristan Gingold2018-01-201-4/+3
|
* Drivers: add --pre-elab (as a stub).Tristan Gingold2017-11-161-2/+27
|
* Create default value for ports.Tristan Gingold2017-05-091-0/+12
| | | | Fix #328
* textio: use grt.fcvt to write reals.Tristan Gingold2017-04-191-0/+2
|
* textio: use grt.fcvt to read real numbers.Tristan Gingold2017-04-191-0/+2
|
* Add 'Image and 'Value for i64.Tristan Gingold2017-01-131-0/+4
| | | | Fix #254
* name_table: auto-initialize.Tristan Gingold2016-11-011-1/+1
|
* Rewrite error messages.Tristan Gingold2016-08-021-4/+4
|
* backtrace: add support for windows and for llvm (via libbacktrace).Tristan Gingold2015-11-221-1/+2
|
* Add symbolizer (for mcode).Tristan Gingold2015-11-191-0/+2
| | | | Display a backtrace in case of failed check or assert failure.
* Suppress stack switching; save process state in secondary stack.Tristan Gingold2015-09-041-0/+2
|
* Rework exit handling to correctly report exit status.Tristan Gingold2015-05-211-1/+4
| | | | Fix ticket 77.
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-27 17:37:30 +0000