aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-values.adb
Commit message (Collapse)AuthorAgeFilesLines
* synth: add value_const.Tristan Gingold2019-10-201-0/+25
|
* synth: remove unused wlen field of bound_type.Tristan Gingold2019-10-031-1/+0
|
* synth: improve support of arrays or arrays. Fix #955Tristan Gingold2019-10-011-1/+3
|
* synth: check matching bounds for array equality. Fix #947Tristan Gingold2019-09-301-0/+48
|
* synth: handle alias for is_const. Fix #948Tristan Gingold2019-09-301-2/+3
|
* synth: handle conversion from slice to unbounded vector.Tristan Gingold2019-09-301-0/+2
|
* synth: special handling of 'const' functions.Tristan Gingold2019-09-301-0/+53
|
* synth: refactoring of alias (allow alias of anything).Tristan Gingold2019-09-301-2/+2
|
* synth: introduce type_logicTristan Gingold2019-09-291-1/+10
|
* synth: handle array equality (for constances).Tristan Gingold2019-09-251-0/+10
|
* synth: introduce type_unbounded_vector.Tristan Gingold2019-09-221-9/+29
|
* synth: remove value_mux2.Tristan Gingold2019-09-181-18/+1
|
* synth: fold addition on constant nets.Tristan Gingold2019-09-171-6/+32
|
* synth: extract synth-oper from synth-exprTristan Gingold2019-09-121-0/+26
|
* synth: improve support of return statement.Tristan Gingold2019-09-111-0/+16
|
* synth: introduce slice type.Tristan Gingold2019-09-111-0/+10
|
* synth: Add width field in type_type record.Tristan Gingold2019-09-111-27/+54
|
* synth: handle alias (WIP, read only).Tristan Gingold2019-09-111-0/+13
|
* synth: handle const record aggregates.Tristan Gingold2019-09-051-8/+17
|
* synth: add value_const_array.Tristan Gingold2019-09-051-5/+28
|
* synth: add support for record types.Tristan Gingold2019-08-291-0/+59
| | | | (WIP: need to fix regression of stmt01).
* synth: add asserts in synth-valuesTristan Gingold2019-08-051-0/+5
|
* synth: add support for memories.Tristan Gingold2019-07-291-2/+16
|
* synth: remove extract_bound (trivial).Tristan Gingold2019-07-281-5/+0
|
* synth: unconstrained arrays.Tristan Gingold2019-07-281-3/+32
|
* synth: preliminary support of dynamic indexing.Tristan Gingold2019-07-281-136/+148
|
* synth: preliminary support of integer subtypes.Tristan Gingold2019-07-261-0/+9
|
* synth: support index of a constant.Tristan Gingold2019-07-201-0/+4
|
* synth: handle instantiation (WIP)Tristan Gingold2019-07-101-0/+9
|
* synth: handle slice assignment.Tristan Gingold2019-06-251-0/+12
|
* synth: remove unused Value_Logic.Tristan Gingold2019-06-231-10/+0
|
* synth: handle more predefined functions.Tristan Gingold2019-06-231-8/+19
|
* synth: get rid of execution and elaboration.Tristan Gingold2019-06-191-53/+179
|
* synth: support conditional signal assignments.Tristan Gingold2019-06-081-0/+11
|
* Add netlist generation infrastructure.Tristan Gingold2017-01-311-0/+144