From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 4 Jan 2018 12:30:00 +0000 (+0100)
Subject: Merge pull request #480 from Fatsie/liberty_value_expression
X-Git-Tag: yosys-0.8~239
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fefb652d568749731b581185e6cb201f0fff479e;p=yosys.git

Merge pull request #480 from Fatsie/liberty_value_expression

Value of properties can be expression.
---

fefb652d568749731b581185e6cb201f0fff479e