| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 | ||||
| * | ghdldrv: refactoring - share more code, isolate ghdlsynth from ghdlsimul. | Tristan Gingold | 2019-06-29 | 1 | -38/+15 |
| | | |||||
| * | Add simple_IO - to be used instead of Text_IO. | Tristan Gingold | 2019-05-19 | 1 | -23/+16 |
| | | |||||
| * | Make lists a generic package, add vhdl-lists. | Tristan Gingold | 2019-05-09 | 1 | -2/+2 |
| | | |||||
| * | vhdl: extract vhdl.errors from errorout. | Tristan Gingold | 2019-05-08 | 1 | -0/+1 |
| | | |||||
| * | vhdl: rename iirs to vhdl.nodes | Tristan Gingold | 2019-05-05 | 1 | -2/+2 |
| | | |||||
| * | vhdl: move nodes to vhdl.nodes_priv. | Tristan Gingold | 2019-05-05 | 1 | -2/+1 |
| | | |||||
| * | vhdl: move ieee packages to vhdl children. | Tristan Gingold | 2019-05-05 | 1 | -3/+3 |
| | | |||||
| * | vhdl: move std_standard package to vhdl child. | Tristan Gingold | 2019-05-05 | 1 | -4/+4 |
| | | |||||
| * | vhdl: move configuration package as a vhdl child. | Tristan Gingold | 2019-05-05 | 1 | -2/+2 |
| | | |||||
| * | vhdl: move canon to a vhdl child package. | Tristan Gingold | 2019-05-05 | 1 | -6/+6 |
| | | |||||
| * | vhdl: supports VHPIDIRECT in mcode backend. | Tristan Gingold | 2019-04-27 | 1 | -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 Gingold | 2018-12-16 | 1 | -2/+2 |
| | | |||||
| * | Add --max-stack-alloc option, check stack allocation of complex object. | Tristan Gingold | 2018-11-23 | 1 | -0/+2 |
| | | | | | Fix #692 | ||||
| * | Fix overflow detection for **, implement ** for i64. | Tristan Gingold | 2018-11-14 | 1 | -2/+4 |
| | | | | | Fix #683 | ||||
| * | Pass time-resolution to grt. | Tristan Gingold | 2018-10-21 | 1 | -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 #613 | Tristan Gingold | 2018-08-10 | 1 | -11/+57 |
| | | |||||
| * | Remove redundant use-clauses for gcc 8.1 compatibility | Truls Asheim | 2018-05-30 | 1 | -3/+0 |
| | | |||||
| * | Use specific error message for direction mismatch. | Tristan Gingold | 2018-04-25 | 1 | -2/+4 |
| | | | | | Fix #559 | ||||
| * | translation: remove some use of Nam_Buffer. | Tristan Gingold | 2018-01-20 | 1 | -4/+3 |
| | | |||||
| * | Drivers: add --pre-elab (as a stub). | Tristan Gingold | 2017-11-16 | 1 | -2/+27 |
| | | |||||
| * | Create default value for ports. | Tristan Gingold | 2017-05-09 | 1 | -0/+12 |
| | | | | | Fix #328 | ||||
| * | textio: use grt.fcvt to write reals. | Tristan Gingold | 2017-04-19 | 1 | -0/+2 |
| | | |||||
| * | textio: use grt.fcvt to read real numbers. | Tristan Gingold | 2017-04-19 | 1 | -0/+2 |
| | | |||||
| * | Add 'Image and 'Value for i64. | Tristan Gingold | 2017-01-13 | 1 | -0/+4 |
| | | | | | Fix #254 | ||||
| * | name_table: auto-initialize. | Tristan Gingold | 2016-11-01 | 1 | -1/+1 |
| | | |||||
| * | Rewrite error messages. | Tristan Gingold | 2016-08-02 | 1 | -4/+4 |
| | | |||||
| * | backtrace: add support for windows and for llvm (via libbacktrace). | Tristan Gingold | 2015-11-22 | 1 | -1/+2 |
| | | |||||
| * | Add symbolizer (for mcode). | Tristan Gingold | 2015-11-19 | 1 | -0/+2 |
| | | | | | Display a backtrace in case of failed check or assert failure. | ||||
| * | Suppress stack switching; save process state in secondary stack. | Tristan Gingold | 2015-09-04 | 1 | -0/+2 |
| | | |||||
| * | Rework exit handling to correctly report exit status. | Tristan Gingold | 2015-05-21 | 1 | -1/+4 |
| | | | | | Fix ticket 77. | ||||
| * | Handle to_string for i64 numbers. | Tristan Gingold | 2015-05-20 | 1 | -0/+2 |
| | | | | | Fix ticket 76 | ||||
| * | Elaborate generics in two steps. Fix -c/-e for llvm builds. | Tristan Gingold | 2015-03-01 | 1 | -0/+3 |
| | | |||||
| * | Rename name_table.name_buffer and name_length to avoid clash. | Tristan Gingold | 2014-12-31 | 1 | -2/+2 |
| | | |||||
| * | Split translation into child packages. | Tristan Gingold | 2014-11-09 | 1 | -1/+1 |
| | | |||||
| * | Move files and dirs from translate/ | Tristan Gingold | 2014-11-05 | 1 | -0/+661 |
 |
index : iCE40/ghdl | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |