├── .classpath ├── .gitignore ├── .project ├── .settings ├── org.eclipse.core.resources.prefs ├── org.eclipse.jdt.core.prefs └── org.eclipse.m2e.core.prefs ├── README.md ├── pom.xml ├── runnable ├── Pensieve.jar ├── PensieveDeluxe.jar └── PensieveLite.jar └── src └── main └── java ├── graphs ├── EmptyGraph.java ├── GitGraph.java ├── GraphChooser.java ├── ImageViewPane.java ├── Indentation.java ├── RunsGraph.java └── SourceLengthGraph.java ├── javaEval ├── CharSequenceJavaFileObject.java ├── ClassFileManager.java ├── DynaCompTest.java ├── JavaClassObject.java └── JavaSource.java ├── minions ├── KarelParser.java └── TokenScanner.java ├── stanford └── edu │ └── gitviewer │ ├── CodeEditor.java │ ├── FileHistory.java │ ├── GitViewer.java │ ├── GitViewerStudent.java │ ├── Intermediate.java │ ├── Parser.java │ ├── Util.java │ ├── css │ ├── codemirror.css │ ├── program.css │ └── web.css │ └── js │ ├── .lock │ ├── clike.js │ ├── clikemin.js │ ├── codemirror.js │ └── codemirrormin.js └── util ├── Edge.java ├── FileSystem.java ├── Histogram.java ├── IdCounter.java ├── Timeout.java └── Warnings.java /.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/.classpath -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/.gitignore -------------------------------------------------------------------------------- /.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/.project -------------------------------------------------------------------------------- /.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/.settings/org.eclipse.core.resources.prefs -------------------------------------------------------------------------------- /.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /.settings/org.eclipse.m2e.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/.settings/org.eclipse.m2e.core.prefs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/README.md -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/pom.xml -------------------------------------------------------------------------------- /runnable/Pensieve.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/runnable/Pensieve.jar -------------------------------------------------------------------------------- /runnable/PensieveDeluxe.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/runnable/PensieveDeluxe.jar -------------------------------------------------------------------------------- /runnable/PensieveLite.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/runnable/PensieveLite.jar -------------------------------------------------------------------------------- /src/main/java/graphs/EmptyGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/graphs/EmptyGraph.java -------------------------------------------------------------------------------- /src/main/java/graphs/GitGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/graphs/GitGraph.java -------------------------------------------------------------------------------- /src/main/java/graphs/GraphChooser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/graphs/GraphChooser.java -------------------------------------------------------------------------------- /src/main/java/graphs/ImageViewPane.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/graphs/ImageViewPane.java -------------------------------------------------------------------------------- /src/main/java/graphs/Indentation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/graphs/Indentation.java -------------------------------------------------------------------------------- /src/main/java/graphs/RunsGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/graphs/RunsGraph.java -------------------------------------------------------------------------------- /src/main/java/graphs/SourceLengthGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/graphs/SourceLengthGraph.java -------------------------------------------------------------------------------- /src/main/java/javaEval/CharSequenceJavaFileObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/javaEval/CharSequenceJavaFileObject.java -------------------------------------------------------------------------------- /src/main/java/javaEval/ClassFileManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/javaEval/ClassFileManager.java -------------------------------------------------------------------------------- /src/main/java/javaEval/DynaCompTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/javaEval/DynaCompTest.java -------------------------------------------------------------------------------- /src/main/java/javaEval/JavaClassObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/javaEval/JavaClassObject.java -------------------------------------------------------------------------------- /src/main/java/javaEval/JavaSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/javaEval/JavaSource.java -------------------------------------------------------------------------------- /src/main/java/minions/KarelParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/minions/KarelParser.java -------------------------------------------------------------------------------- /src/main/java/minions/TokenScanner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/minions/TokenScanner.java -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/CodeEditor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/CodeEditor.java -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/FileHistory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/FileHistory.java -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/GitViewer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/GitViewer.java -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/GitViewerStudent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/GitViewerStudent.java -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/Intermediate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/Intermediate.java -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/Parser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/Parser.java -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/Util.java -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/css/codemirror.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/css/codemirror.css -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/css/program.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/css/program.css -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/css/web.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/css/web.css -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/js/.lock: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/js/clike.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/js/clike.js -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/js/clikemin.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/js/clikemin.js -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/js/codemirror.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/js/codemirror.js -------------------------------------------------------------------------------- /src/main/java/stanford/edu/gitviewer/js/codemirrormin.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/stanford/edu/gitviewer/js/codemirrormin.js -------------------------------------------------------------------------------- /src/main/java/util/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/util/Edge.java -------------------------------------------------------------------------------- /src/main/java/util/FileSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/util/FileSystem.java -------------------------------------------------------------------------------- /src/main/java/util/Histogram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/util/Histogram.java -------------------------------------------------------------------------------- /src/main/java/util/IdCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/util/IdCounter.java -------------------------------------------------------------------------------- /src/main/java/util/Timeout.java: -------------------------------------------------------------------------------- 1 | package util; 2 | 3 | public class Timeout { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/main/java/util/Warnings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chrispiech/pensieve/HEAD/src/main/java/util/Warnings.java --------------------------------------------------------------------------------