Merge pull request #144 from azonenberg/master
authorClifford Wolf <clifford@clifford.at>
Sat, 2 Apr 2016 08:19:36 +0000 (10:19 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 2 Apr 2016 08:19:36 +0000 (10:19 +0200)
commit27e0d29863bcf80520993574415f79b32312c5fb
treedf74207d7a45a72ff155dbc5010978788cfd872d
parent7a4dd27b1b36e4e4667f31ee7b3c6e6bc3896f60
parent34667ded53ca50d612dc71302544fdde744d853d
Merge pull request #144 from azonenberg/master

Added COUNT_EXTRACT constraint to greenpak4_counters pass. Added support for inferring level-resettable counters. Fixed use-after-free.