Base repository files

.gitignore

@@ -0,0 +1,32 @@
+.Rproj.user
+.Rhistory
+.RData
+.Ruserdata
+.DS_Store
+*/.DS_Store
+
+# ignore Python cache
+__pycache__
+.ipynb_checkpoints
+
+# ignore Notes
+Code/Notes/*
+
+# ignore files in Data subdirectories
+Data/*/*
+
+# unignore README files with .md extensions
+!Data/*/README.md
+
+# ignore files in Results subdirectories
+Results/*/*
+
+# unignore README files with .md extensions
+!Results/*/README.md
+
+# ignore lightning logs
+**/lightning_logs/
+
+# ignore virtual environment
+# to activate, run source synthetic_env/bin/activate
+cs252r_env/

Code/synthesizer.py

@@ -0,0 +1,15 @@
+'''
+BOTTOM UP ENUMERATIVE SYNTHESIS
+Ayush Noori
+CS252R, Fall 2020
+'''
+
+# load libraries
+import numpy as np
+import os
+
+# import project config file
+import sys
+sys.path.append('..')
+import project_config
+

README.md

@@ -1,2 +1,5 @@
-# cs252r
-CS252R: Program Synthesis at Harvard College, Fall 2023.
+# CS252R: Program Synthesis
+
+
+## PSET 1: Bottom-Up Enumerative Synthesis
+

project_config.py

@@ -0,0 +1,25 @@
+'''
+PROJECT CONFIGURATION FILE
+This file contains the configuration variables for the project. The variables are used 
+in the other scripts to define the paths to the data and results directories. The variables 
+are also used to set the random seed for reproducibility.
+'''
+
+# import libraries
+import os
+from pathlib import Path
+
+# check if on O2 or not
+home_variable = os.getenv('HOME')
+on_remote = (home_variable == "/home/an252")
+
+# define base project directory based on whether on O2 or not
+if on_remote:
+    PROJECT_DIR = Path('')
+else:
+    PROJECT_DIR = Path('/Users/an583/Library/CloudStorage/OneDrive-Personal/Academic/College/Junior Year/Fall Term/COMPSCI 252R/cs252r')
+
+# define project configuration variables
+DATA_DIR = PROJECT_DIR / 'Data'
+RESULTS_DIR = PROJECT_DIR / 'Results'
+SEED = 42

setup.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+conda deactivate
+source synthesis_env/bin/activate

setup_jupyter.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+conda deactivate
+source synthesis_env/bin/activate
+jupyter notebook --port=54321 --browser='none'