########## Supporting materials included for: ##########

Shilpi Goel, Warren Hunt and Matt Kaufmann
Abstract Stobjs and Their Application to ISA Modeling

Bernard van Gastel and Julien Schmaltz
A formalisation of xMAS

David Hardin and Samuel Hardin
ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable
All-Pairs Shortest Path Algorithm in ACL2

Sebastiaan Joosten, Bernard van Gastel and Julien Schmaltz
A Macro for Reusing Abstract Functions and Theorems

Freek Verbeek and Julien Schmaltz
Verification of Building Blocks for Asynchronous Circuits

Konrad Slind and David Greve
A Step-Indexing Approach to Partial Functions

########## Supporting materials provided for ACL2(r): ##########

Under the books, see:
nonstd/workshops/2013/helms-gamboa-quantum/support/

Lucas Helms and Ruben Gamboa
An Interpreter for Quantum Circuits

########## Supporting materials provided elsewhere: ##########

Jared Davis
Embedding ACL2 Models in End-User Applications
See centaur/bridge/.

Jared Davis and Sol Swords
Verified AIG Algorithms in ACL2
See davis-swords/README.

########## Not contributing supporting materials: ##########

Matt Kaufmann and J Moore
Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

(The following may change later, but at this point nothing is being
 contributed for the following.)
Caleb Eggensperger
Proof Pad: A Modern Development Environment for ACL2

##############################
