This codebook.txt file was generated on <20191110> by <Wanda Marsolek>

-------------------
GENERAL INFORMATION
-------------------

1. Title of Dataset: 
Silver-ableC: a Silver extension for writing ableC specifications


2. Author Information
  Principal Investigator Contact Information
        Name: Eric Van Wyk
           Institution: University of Minnesota
           Email: evw@umn.edu
	   ORCID:0000-0002-5611-8687

  Associate or Co-investigator Contact Information
	Name: Lucas Kramer
           Institution: University of Minnesota
           Email: krame505@umn.edu
        
2. Information about funding sources that supported the collection of the data:
National Science Foundation

--------------------------
SHARING/ACCESS INFORMATION
-------------------------- 
1. Licenses/restrictions placed on the data: GNU Lesser General Public License v3.0

2. Links to publications that cite or use the data:
https://www-users.cs.umn.edu/~evw/pubs/kramer19Agpce/kramer19Agpce.pdf

3. Links to other publicly accessible locations of the data: 
http://melt.cs.umn.edu

6. Recommended citation for the data: 
Kramer, Lucas; Van Wyk, Eric. (2019). Silver-ableC: a Silver extension for writing ableC specifications. Retrieved from the Data Repository for the University of Minnesota, https://doi.org/10.13020/hbr0-9z50.

---------------------
DATA & FILE OVERVIEW
---------------------

1. File List
   A. Filename: silver-ableC-0.1.0.tar.gz       
      Short description: The Silver source files for the Silver-ableC extension.      

   B. Filename: silver-ableC-0.1.0.zip      
      Short description: The Silver source files for the Silver-ableC extension.  

2. Relationship between files: Same content, different format       

-----------------------------------------
Data Tree: silver-ableC-0.1.0.zip
-----------------------------------------
\---silver-ableC-0.1.0
    |   .gitignore
    |   bootstrap-compile
    |   deep-clean
    |   fetch-jars
    |   GETTING_STARTED.md
    |   IMPLEMENTATION.md
    |   Jenkinsfile
    |   LICENSE
    |   make-ide
    |   mda-test
    |   README.md
    |   self-compile
    |   
    +---grammars
    |   \---edu.umn.cs.melt.exts.silver.ableC
    |       |   Project.sv
    |       |   
    |       +---abstractsyntax
    |       |       AbstractSyntax.sv
    |       |       Translation.sv
    |       |       
    |       +---composed
    |       |   +---ide_with_all
    |       |   |       Main.sv
    |       |   |       
    |       |   +---with_ableC
    |       |   |       Main.sv
    |       |   |       
    |       |   +---with_all
    |       |   |       Main.sv
    |       |   |       
    |       |   \---with_base
    |       |           Main.sv
    |       |           
    |       +---concretesyntax
    |       |       ConcreteSyntax.sv
    |       |       Terminals.sv
    |       |       
    |       \---mda_test
    |               MDA.sv
    |               
    \---support
        \---bin
                install-silver-bin
                silver-ableC