aboutsummaryrefslogtreecommitdiffstats
path: root/src/flags.ads
Commit message (Collapse)AuthorAgeFilesLines
* src: Set fcaret-diagnostics to be on by default. Clean unused Warn_Undriven.Ondrej Ille2021-04-051-4/+1
|
* Revert "src: Add -Wpsl-uncovered option to optionally warn about uncovered ↵Ondrej Ille2021-03-221-4/+0
| | | | | | PSL sequences at the end of simulation." This reverts commit e20d4477f9b55f897d4f9008d6c94db8d8c3a54f.
* Revert "src: Fix notes on pull-request."Ondrej Ille2021-03-221-1/+1
| | | | This reverts commit c7a6eda4640ae235c944168ca6c536434808ece8.
* src: Fix notes on pull-request.Ondrej Ille2021-03-221-1/+1
|
* src: Add -Wpsl-uncovered option to optionally warn about uncovered PSL ↵Ondrej Ille2021-03-221-0/+4
| | | | sequences at the end of simulation.
* update license headersumarcor2021-01-141-11/+9
|
* vhdl: --std93c is now an alias for --std=93 -frelaxedTristan Gingold2020-06-131-3/+6
| | | | This simplifies the definition of --std=93c
* vhdl: merge synopsys into the ieee libraries. For #980Tristan Gingold2020-03-041-0/+3
|
* synth: set flag_elaborate.Tristan Gingold2019-07-111-1/+1
|
* options: support -Werror=WARN to transform one warning into an error.Tristan Gingold2019-05-131-4/+0
|
* Sem: tolerates more parse errors.Tristan Gingold2018-12-191-0/+5
|
* Pass time-resolution to grt.Tristan Gingold2018-10-211-0/+2
| | | | | | | | | 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-12/+0
|
* Add extended locations (elocations). Still WIPTristan Gingold2017-10-181-0/+6
|
* Add color diagnostics, show diagnostic option.Tristan Gingold2017-02-061-0/+14
|
* disp_vhdl: add -do flag to display evaluated expressions.Tristan Gingold2016-12-171-0/+3
|
* nodes_gc: move checks in libraries (WIP)Tristan Gingold2016-10-171-0/+4
|
* Rework warnings to have a uniq tag per warning.Tristan Gingold2016-08-011-41/+0
|
* Move sources to src/ subdirectory.Tristan Gingold2014-11-041-0/+190