; Mechanically Certified Loop Pipelining Algorithm
; Copyright (C) 2014
; Written by Disha Puri
; Certification in Progress: Refer README for details
; License: A 3-clause BSD license.  See the LICENSE file distributed with ACL2.
