From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 01:23:29 +0000 (-0700)
Subject: remove unused benchmarks
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=819715e1278ec7efecc81cf1d62c298eb396c730;hp=819715e1278ec7efecc81cf1d62c298eb396c730;p=model-checker-benchmarks.git

remove unused benchmarks

These benchmakrs are hard to support, and at least one of them isn't
even supported by my g++ draft C++0x compiler (it tries to use structs
with bitfields in an atomic<> template).
---