Sign modules, clean Makefile

Author: Alex Yu

Makefile

@@ -1,3 +1,5 @@
+# Author(s): Alex
+
 # Make sure ocamlbuild can find opam-managed packages: first run
 #
 # eval `opam config env`
@@ -27,42 +29,5 @@ clean :
 	rm -rf libneoc
 	rm -rf *.cmx *.cmi *.cmo *.cmx *.o *.s *.ll *.out *.exe *.err
 
-# More detailed: build using ocamlc/ocamlopt + ocamlfind to locate LLVM
-
-OBJS = ast.cmx sast.cmx codegen.cmx parser.cmx scanner.cmx semant.cmx str.cmxa neo.cmx
-
-neo : $(OBJS)
-	ocamlfind ocamlopt -linkpkg -package llvm -package llvm.analysis $(OBJS) -o neo
-
-scanner.ml : scanner.mll
-	ocamllex scanner.mll
-
-parser.ml parser.mli : parser.mly
-	ocamlyacc parser.mly
-
 libneoc.o :
 	$(CC) $(CFLAGS) -c libneoc.c
-
-%.cmo : %.ml
-	ocamlc -c $<
-
-%.cmi : %.mli
-	ocamlc -c $<
-
-%.cmx : %.ml
-	ocamlfind ocamlopt -c -package llvm $<
-
-### Generated by "ocamldep *.ml *.mli" after building scanner.ml and parser.ml
-ast.cmo :
-ast.cmx :
-codegen.cmo : ast.cmo str.cma
-codegen.cmx : ast.cmx str.cmxa
-neo.cmo : semant.cmo scanner.cmo parser.cmi codegen.cmo ast.cmo
-neo.cmx : semant.cmx scanner.cmx parser.cmx codegen.cmx ast.cmx
-parser.cmo : ast.cmo parser.cmi
-parser.cmx : ast.cmx parser.cmi
-scanner.cmo : parser.cmi
-scanner.cmx : parser.cmx
-semant.cmo : ast.cmo
-semant.cmx : ast.cmx
-parser.cmi : ast.cmo

ast.ml

@@ -1,3 +1,4 @@
+(* Author(s): the Neo team *)
 (* Abstract Syntax Tree and functions for printing it *)
 
 type op = Add | Sub | Mult | Div | Equal | Neq | Less | Leq | Greater | Geq

codegen.ml

@@ -1,3 +1,4 @@
+(* Author(s): Alex and Dominique *)
 (* Code generation: translate takes a semantically checked AST and
 produces LLVM IR
 

libneoc.c

@@ -1,3 +1,6 @@
+/* Author(s): Alex */
+/* Neo's internal C library */
+
 #include <ctype.h>
 #include <stdio.h>
 #include <stdlib.h>

libneoc.h

@@ -1,3 +1,6 @@
+/* Author(s): Alex */
+/* Neo's internal C library header */
+
 #include <stdbool.h>
 #include <stddef.h>
 

neo.ml

@@ -1,3 +1,4 @@
+(* Author(s): Alex *)
 (* Top-level of the Neo compiler: scan & parse the input,
  * check the resulting AST and generate an SAST from it, generate LLVM IR,
  * and dump the module *)

neoc

@@ -1,4 +1,5 @@
 #!/bin/bash
+# Author(s): Alex
 
 # Path to the LLVM compiler
 LLC="llc"

optimize.ml

@@ -1,3 +1,4 @@
+(* Author(s): Alex *)
 (* Optimization pass for the Neo compiler; forms a dependency graph
  * of the SAST and removes any functions that would not be executed
  * during the program; see the decription above prune_uses *)

parser.mly

@@ -1,3 +1,4 @@
+/* Author(s): the Neo team */
 /* Ocamlyacc parser for Neo */
 
 %{

sast.ml

@@ -1,3 +1,4 @@
+(* Author(s): Alex *)
 (* Semantically-checked Abstract Syntax Tree and functions for printing it *)
 
 open Ast

scanner.mll

@@ -1,3 +1,4 @@
+(* Author(s): the Neo team *)
 (* Ocamllex scanner for Neo *)
 
 {

semant.ml

@@ -1,3 +1,4 @@
+(* Author(s): Alex and Dominique *)
 (* Semantic checking for the Neo compiler *)
 
 open Ast

stdlib.neo

@@ -1,3 +1,6 @@
+/* Author(s): Alex, Dominique, and Andres */
+/* Neo's standard library */
+
 void check(bool cond, string err) {
     if (!cond) {
         die(err);

testall.sh

@@ -1,4 +1,5 @@
 #!/bin/bash
+# Author(s): Alex
 
 # Regression testing script for Neo
 # Step through a list of files