Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | synth: handle static calls to signed numeric_std + -. Fix #1313 | Tristan Gingold | 2020-05-16 | 3 | -3/+119 |
| | |||||
* | synth: handle functional call to numeric_std binary operators. For #1313 | Tristan Gingold | 2020-05-16 | 2 | -25/+35 |
| | |||||
* | synth: handle inout ports with default values. For #1312 | Tristan Gingold | 2020-05-16 | 2 | -2/+7 |
| | |||||
* | synth-static_oper: handle eq_sgn_int comparision. For #1310 | Tristan Gingold | 2020-05-15 | 1 | -0/+56 |
| | |||||
* | trans-chap3: factorize code. | Tristan Gingold | 2020-05-15 | 1 | -11/+1 |
| | |||||
* | synth: handle non-text file (add signatures). | Tristan Gingold | 2020-05-15 | 6 | -10/+90 |
| | |||||
* | vhdl-utils: factorize Get_File_Signature. | Tristan Gingold | 2020-05-15 | 4 | -134/+113 |
| | |||||
* | synth: handle initialized inout port. For #1312 | Tristan Gingold | 2020-05-15 | 5 | -39/+72 |
| | |||||
* | synth-flags: consider severity error as an error. | Tristan Gingold | 2020-05-15 | 1 | -1/+1 |
| | |||||
* | synth-static_oper: handle more comparisons. Fix #1310 | Tristan Gingold | 2020-05-15 | 1 | -0/+41 |
| | |||||
* | synth: handle null array comparison. Fix #1311 | Tristan Gingold | 2020-05-15 | 3 | -11/+45 |
| | |||||
* | synth-stmts: ignore choices with L/H/W/X/Z/-/U values. | Tristan Gingold | 2020-05-15 | 1 | -6/+86 |
| | |||||
* | synth-aggr: create constrained record type if needed. | Tristan Gingold | 2020-05-14 | 2 | -8/+28 |
| | |||||
* | synth-stmts: factorize code for assertion errors, use a level. | Tristan Gingold | 2020-05-14 | 2 | -33/+27 |
| | |||||
* | grt: move severity levels from errors to grt.severity. | Tristan Gingold | 2020-05-14 | 6 | -8/+40 |
| | |||||
* | synth-values: tentatively try to fix warnings. For #1308 | Tristan Gingold | 2020-05-13 | 1 | -8/+12 |
| | |||||
* | synth-objtypes: tentatively try to fix warnings. For #1308 | Tristan Gingold | 2020-05-13 | 1 | -32/+48 |
| | |||||
* | vhdl-configuration: handle overrides of slv. Fix #1298 | Tristan Gingold | 2020-05-13 | 1 | -1/+15 |
| | |||||
* | trans-chap7: add a comment. | Tristan Gingold | 2020-05-13 | 1 | -0/+3 |
| | |||||
* | synth-objtypes: use Address to avoid compiler warnings. For #1308. | Tristan Gingold | 2020-05-13 | 1 | -23/+22 |
| | | | | | Use intermediate type Address to convert between Memory_Ptr and scalar types, as Address has no alignment. | ||||
* | synth: handle any constant as edge value. Fix #1302 | Tristan Gingold | 2020-05-13 | 1 | -27/+37 |
| | |||||
* | trans-chap5: handle record subtypes in port association. | Tristan Gingold | 2020-05-13 | 1 | -13/+22 |
| | | | | Part of #1300 | ||||
* | trans-chap7: Translate_Equality: also convert to base type for records. | Tristan Gingold | 2020-05-13 | 3 | -26/+51 |
| | | | | For #1300 | ||||
* | vhdl: translate_record_subtype: inherit from parent type | Tristan Gingold | 2020-05-12 | 1 | -18/+24 |
| | | | | (instead of base type). For #1300 | ||||
* | Adding some comments to the RTI processing. (#1304) | Ben Reynwar | 2020-05-12 | 3 | -15/+73 |
| | |||||
* | Constants in vpi (#1297) | Ben Reynwar | 2020-05-10 | 4 | -13/+47 |
| | | | | | | | | | | | | | | | | | * Adding some very basic vpi tests. * Modify test so that's it's checking VPI access to constants. * Provide VPI to access constants. * Add vpi tests to testsuite. * Fix bug to allow getting values of generic/constant boolean and std_logic. * Fix stupid copying mistake in last commit. * Formatting and trying to get tests working on windows. * Fixing comment and removing redundant VhpiConstantDeclK | ||||
* | synth_stmts: handle ranges in case. Fix ghdl/ghdl-yosys-plugin#104 | Tristan Gingold | 2020-05-09 | 1 | -9/+53 |
| | |||||
* | synth-stmts: refactoring for synth_choice. | Tristan Gingold | 2020-05-09 | 1 | -85/+84 |
| | |||||
* | synth: correctly quote nets name in error messages. | Tristan Gingold | 2020-05-09 | 4 | -10/+23 |
| | |||||
* | synth-stmts: use pmux to implement case statements. | Tristan Gingold | 2020-05-09 | 2 | -130/+134 |
| | |||||
* | netlists-builders: add Build_Pmux. | Tristan Gingold | 2020-05-09 | 4 | -1/+67 |
| | |||||
* | vhdl-sem_psl: handle next_event_a and next_event_e. Fix #1292 | Tristan Gingold | 2020-05-09 | 1 | -0/+5 |
| | | | | From T. Meissner. | ||||
* | netlists-gates: reserve pmux and latch. | Tristan Gingold | 2020-05-09 | 2 | -93/+104 |
| | |||||
* | Add handling of N_Next_E in PSL semantic pass | tmeissner | 2020-05-08 | 1 | -1/+1 |
| | |||||
* | synth: handle vhdl-08 ports. Fix ghdl/ghdl-yosys-plugin#111 | Tristan Gingold | 2020-05-07 | 3 | -16/+36 |
| | |||||
* | synth-stmts: improve support of nested memories. | Tristan Gingold | 2020-05-07 | 1 | -4/+5 |
| | |||||
* | synth: handle Pos attribute for booleans. | Tristan Gingold | 2020-05-07 | 2 | -1/+2 |
| | |||||
* | synth: revert a previous commit: remove the En parameter. | Tristan Gingold | 2020-05-06 | 12 | -311/+226 |
| | |||||
* | synth-expr.adb: handle negative values. Fix ghdl/ghdl-yosys-plugin#115 | Tristan Gingold | 2020-05-06 | 1 | -2/+18 |
| | |||||
* | synth: add support for sequential assertions. Fix #1273 | Tristan Gingold | 2020-05-06 | 6 | -58/+312 |
| | |||||
* | netlists-folds: add Build2_And, remove default location. | Tristan Gingold | 2020-05-06 | 3 | -13/+29 |
| | |||||
* | synth: add Id_Enable gate (for sequential assertions). | Tristan Gingold | 2020-05-06 | 5 | -0/+25 |
| | |||||
* | vhdl-sem_expr: improve support of vhdl-08 aggregates. Fix #1282 | Tristan Gingold | 2020-05-05 | 1 | -24/+37 |
| | | | | An element of an aggregate may have an unconstrained length. | ||||
* | synth: revert part of sequential assertion support. Fix #1285 | Tristan Gingold | 2020-05-05 | 2 | -81/+20 |
| | | | | | The idea of adding conditions to the sequential flow is incorrect. Need to add wires. | ||||
* | synth: initial support of unbounded records. Fix #1283 | Tristan Gingold | 2020-05-05 | 7 | -11/+40 |
| | |||||
* | synth-aggre: propagate errors in record aggregate. Fix #1283 | Tristan Gingold | 2020-05-05 | 1 | -6/+14 |
| | |||||
* | vhdl-evaluation: handle record equality. For #1283 | Tristan Gingold | 2020-05-05 | 1 | -5/+127 |
| | |||||
* | synth: handle non-static vectors in target aggregates. Fix #1277 | Tristan Gingold | 2020-05-04 | 1 | -18/+71 |
| | |||||
* | synth: add comments. | Tristan Gingold | 2020-05-04 | 2 | -2/+3 |
| | |||||
* | ghdldrv: add support for --time-resolution for -e. For #1281 | Tristan Gingold | 2020-05-04 | 1 | -8/+4 |
| |