aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-oper.adb
Commit message (Expand)AuthorAgeFilesLines
* synth: handle subtypes in components. Fix #970Tristan Gingold2019-10-061-1/+1
* synth: handle /= with non-matching length. For #968Tristan Gingold2019-10-061-6/+10
* synth: handle neg for integers.Tristan Gingold2019-10-061-0/+13
* synth: add support for comp. equal of two numeric signed (#966)T. Meissner2019-10-051-0/+4
* synth-oper: convert type of unary operation operand.Tristan Gingold2019-10-031-2/+10
* synth: remove unused wlen field of bound_type.Tristan Gingold2019-10-031-2/+0
* synth-oper: handle non-constant integer divisions.Tristan Gingold2019-10-031-2/+1
* synth: add support for integer rem.Tristan Gingold2019-10-011-2/+1
* synth: improve support of arrays or arrays. Fix #955Tristan Gingold2019-10-011-3/+5
* synth: improve support of * and /. Fix #953Tristan Gingold2019-09-301-0/+36
* synth-oper: implement >= and <= for uns/nat. Fix #952Tristan Gingold2019-09-301-0/+6
* synth: check matching bounds for array equality. Fix #947Tristan Gingold2019-09-301-4/+6
* synth: introduce type_logicTristan Gingold2019-09-291-1/+1
* synth: add support for mod operator.Tristan Gingold2019-09-281-2/+1
* synth: do subtype conversion for expression at calls.Tristan Gingold2019-09-261-11/+8
* synth: handle array equality (for constances).Tristan Gingold2019-09-251-0/+4
* synth-oper: handle not for boolean and bit. Fix #937Tristan Gingold2019-09-251-1/+3
* synth: rework type for expression.Tristan Gingold2019-09-251-2/+4
* synth: add more operations.Tristan Gingold2019-09-221-2/+13
* synth: preliminary work for subtype conversions on interfaces.Tristan Gingold2019-09-221-2/+2
* synth: handle rotate.Tristan Gingold2019-09-221-5/+19
* synth: fix to_unsigned (nat, nat)Tristan Gingold2019-09-211-1/+2
* synth-context: get rid off Set_Block_Scope.Tristan Gingold2019-09-201-2/+1
* synth: make synth_instance_type private.Tristan Gingold2019-09-191-15/+24
* synth: fold addition on constant nets.Tristan Gingold2019-09-171-4/+4
* synth-oper: add support of std_matchTristan Gingold2019-09-151-0/+94
* synth: remove get_width from synth-exprTristan Gingold2019-09-121-2/+2
* synth: extract synth-oper from synth-exprTristan Gingold2019-09-121-0/+938