aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-values.adb
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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