[TG-634] Logical expression building utility#1424

Closed

LAJW wants to merge 2 commits intodiffblue:developfrom

LAJW:axt

Commits on Nov 16, 2017

Axt: exprt wrapper for logical operations

Lukasz A.J. Wrona
authored and
romainbrenguier
committed
Use axt in concat implementation

Lukasz A.J. Wrona
authored and
romainbrenguier
committed