Added license in files of sub-folders of EzPC; modified codegen of ezpc to...

Added license in files of sub-folders of EzPC; modified codegen of ezpc to output a autogenerated comment for each compiled file; synced up the test-suite/precompiled_output folder with actual compiled output changes.

EzPC/Docker/Dockerfile

+# Authors: Mayank Rathee.
+
+# Copyright:
+# Copyright (c) 2018 Microsoft Research
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the "Software"), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
 #Download base image ubuntu
 FROM ubuntu
 

EzPC/Docker/compile_docker_example.sh

 #!/bin/sh
 
+# Authors: Mayank Rathee.
+
+# Copyright:
+# Copyright (c) 2018 Microsoft Research
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the "Software"), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
 # Switch ocaml version
 echo "================================================================"
 echo "ocaml version switching"

EzPC/Docker/run_docker_example_client.sh

 #!/bin/bash
 
+# Authors: Mayank Rathee.
+
+# Copyright:
+# Copyright (c) 2018 Microsoft Research
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the "Software"), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
 cd ../../ABY-latest/ABY/build/bin/
 rm -r client
 mkdir client

EzPC/Docker/run_docker_example_server.sh

 #!/bin/bash
 
+# Authors: Mayank Rathee.
+
+# Copyright:
+# Copyright (c) 2018 Microsoft Research
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the "Software"), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
 cd ../../ABY-latest/ABY/build/bin/
 rm -r server
 mkdir server

EzPC/EzPC/codegen.ml

@@ -676,6 +676,9 @@ let o_global (g0:gamma) (d:global) :comp * gamma =
 
 let prelude_string :string =
 "\
+/*\n\
+This is an autogenerated file, generated using the EzPC compiler.\n\
+*/\n\
 #include<vector>\n\
 #include<math.h>\n\
 #include<cstdlib>\n\

EzPC/EzPC/codegenoblivc.ml

@@ -404,6 +404,9 @@ let o_global (d:global) :comp =
 
 let c_prelude_string : string = 
 "\
+/*\n\
+This is an autogenerated file, generated using the EzPC compiler.\n\
+*/\n\
 #include <stdio.h>\n\
 #include <stdlib.h>\n\
 "

EzPC/EzPC/codegenporthos.ml

@@ -498,6 +498,9 @@ let o_global (g0:gamma) (d:global) :comp * gamma =
 
 let prelude_string :string =
 "\
+/*\n\
+This is an autogenerated file, generated using the EzPC compiler.\n\
+*/\n\
 #include \"globals.h\"\n\
 \n\
 #include<vector>\n\

EzPC/EzPC/docker_test/docker_arith_example.ezpc

+(*
+
+Authors: Mayank Rathee, Nishant Kumar, Aseem Rastogi.
+
+Copyright:
+Copyright (c) 2018 Microsoft Research
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
+
+*)
+
 def void main() {
 	uint32_al a = 5u;
 	uint32_al b = 10u;

EzPC/EzPC/docker_test/docker_bin_example.ezpc

+(*
+
+Authors: Mayank Rathee, Nishant Kumar, Aseem Rastogi.
+
+Copyright:
+Copyright (c) 2018 Microsoft Research
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
+
+*)
+
 def void main() {
 	bool_bl e = false;
 	bool_bl f = true;

EzPC/EzPC/test_suite/precompiled_output/binop0.cpp

+/*
+This is an autogenerated file, generated using the EzPC compiler.
+*/
 #include<vector>
 #include<math.h>
 #include<cstdlib>

EzPC/EzPC/test_suite/precompiled_output/decl0.cpp

+/*
+This is an autogenerated file, generated using the EzPC compiler.
+*/
 #include<vector>
 #include<math.h>
 #include<cstdlib>

EzPC/EzPC/test_suite/precompiled_output/dot_product0.cpp

+/*
+This is an autogenerated file, generated using the EzPC compiler.
+*/
 #include<vector>
 #include<math.h>
 #include<cstdlib>

EzPC/EzPC/test_suite/precompiled_output/for0.cpp

+/*
+This is an autogenerated file, generated using the EzPC compiler.
+*/
 #include<vector>
 #include<math.h>
 #include<cstdlib>

EzPC/EzPC/test_suite/precompiled_output/func0.cpp

+/*
+This is an autogenerated file, generated using the EzPC compiler.
+*/
 #include<vector>
 #include<math.h>
 #include<cstdlib>

EzPC/EzPC/test_suite/precompiled_output/if0.cpp

+/*
+This is an autogenerated file, generated using the EzPC compiler.
+*/
 #include<vector>
 #include<math.h>
 #include<cstdlib>

EzPC/EzPC/test_suite/precompiled_output/input0.cpp

+/*
+This is an autogenerated file, generated using the EzPC compiler.
+*/
 #include<vector>
 #include<math.h>
 #include<cstdlib>

EzPC/EzPC/test_suite/precompiled_output/output0.cpp

+/*
+This is an autogenerated file, generated using the EzPC compiler.
+*/
 #include<vector>
 #include<math.h>
 #include<cstdlib>

EzPC/EzPC/test_suite/precompiled_output/while0.cpp

+/*
+This is an autogenerated file, generated using the EzPC compiler.
+*/
 #include<vector>
 #include<math.h>
 #include<cstdlib>