3 Commits (5cc2152dd02909084a632544e2aa70bb23d31704)

Author SHA1 Message Date
Gav Wood e2cb773dac Minor warning fix. 10 years ago
chriseth 4e0dbd1c7a Whitespace change. 10 years ago
Christian 31cb9bb310 Some (few) tests for the optimizer. 10 years ago