Charterhouse · Jan 10, 2018
diff --git a/‎.gitignore
+1-2 b/‎.gitignore
+1-2
diff --git a/‎docs/Makefile
+3-1 b/‎docs/Makefile
+3-1
diff --git a/‎docs/PySNARK.pdf
321 KB b/‎docs/PySNARK.pdf
321 KB
diff --git a/‎docs/_build/latex/PySNARK.pdf
-153 KB b/‎docs/_build/latex/PySNARK.pdf
-153 KB
diff --git a/‎docs/pysnark.qaptools.rst
+1-1 b/‎docs/pysnark.qaptools.rst
+1-1
diff --git a/‎docs/pysnark.qaptools.runqapgen.rst
+1-1 b/‎docs/pysnark.qaptools.runqapgen.rst
+1-1
diff --git a/‎docs/pysnark.qaptools.runqapgenf.rst
+1-1 b/‎docs/pysnark.qaptools.runqapgenf.rst
+1-1
diff --git a/‎docs/pysnark.qaptools.runqapprove.rst
+1-1 b/‎docs/pysnark.qaptools.runqapprove.rst
+1-1
diff --git a/‎docs/pysnark.qaptools.runqapver.rst
+1-1 b/‎docs/pysnark.qaptools.runqapver.rst
+1-1
diff --git a/‎examples/ggh/hash.exe.l0
+1 b/‎examples/ggh/hash.exe.l0
+1
diff --git a/‎examples/ggh/hash.exe.l1
+1 b/‎examples/ggh/hash.exe.l1
+1
diff --git a/‎examples/ggh/hash.exe.l2
+1 b/‎examples/ggh/hash.exe.l2
+1
diff --git a/‎examples/ggh/hash.exe.l3
+1 b/‎examples/ggh/hash.exe.l3
+1
diff --git a/‎examples/ggh/hash.exe.l4
+1 b/‎examples/ggh/hash.exe.l4
+1
diff --git a/‎examples/ggh/hash.exe.l5
+1 b/‎examples/ggh/hash.exe.l5
+1
diff --git a/‎examples/ggh/hash.exe.l6
+1 b/‎examples/ggh/hash.exe.l6
+1
@@ -1,4 +1,3 @@
-
 docs/.DS_Store
 .DS_Store
 .idea/workspace.xml
@@ -7,4 +6,4 @@ examples/pysnark_*
 *.pyc
 pysnark/qaptools/*.exe
 qaptools/*.o
-
+docs/_build/*
@@ -23,4 +23,6 @@ help:
 	touch ../examples/ggh/__init__.py
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 	rm -f ../examples/__init__.py ../examples/ggh/__init__.py
-    
+    
+pdf: latexpdf
+	cp _build/latex/PySNARK.pdf .
@@ -1,5 +1,5 @@
 pysnark\.qaptools package
-====================
+=========================
 
 Submodules
 ----------
 
@@ -1,5 +1,5 @@
 pysnark\.qaptools\.runqapgen module
-=========================
+===================================
 
 .. automodule:: pysnark.qaptools.runqapgen
     :members:
 
@@ -1,5 +1,5 @@
 pysnark\.qaptools\.runqapgenf module
-=========================
+====================================
 
 .. automodule:: pysnark.qaptools.runqapgenf
     :members:
 
@@ -1,5 +1,5 @@
 pysnark\.qaptools\.runqapprove module
-=========================
+=====================================
 
 .. automodule:: pysnark.qaptools.runqapprove
     :members:
 
@@ -1,5 +1,5 @@
 pysnark\.qaptools\.runqapver module
-=========================
+===================================
 
 .. automodule:: pysnark.qaptools.runqapver
     :members:
 
@@ -0,0 +1 @@
+CCB72EDED9D3ABCD949CB8AAD9ACBD29C2617386272BE653B6CAE39010E8AE9B340FAFD6146877399117212E920912B0F6D48109EE0D10A62CFAE2E02E7ABADAE8CAC8058D8A6EA7E82459922D377DFDF582C2276FA09FD42DDFA517919B3B9AD5B37F5BB53DA71781995AAE7F9375190AA026EB0EE9529C8B671CB7926CBE12FE9E5FE505A598220F24C36C62E4E0ED17F1FB5BE0FB71DE68635897BDAA55E68C4FCA2246894088096199217523640B191FF2D7CBDFAEEA2F2674E6717124879D01846FC1339D8DB782A1C5489BCD72D82C8A99BC9B83FE07F49C199B2B95763566D63B230BE27489FA0FB58E854737B8BA9428F4CDE6B76498B5913538FDD1E3FE11D94196DFDC474694752D7FB5874F4A6C9B4522BD95BACB19279C3F3ABFF49155E90812819DD382E7C06BB90AA5269B4BCD26AC3D0FF0213DD54646B6D4D967FCB475303D870974D2B7428D4085322606677983557B9F197833CAD4AC808FEFF68E99E7E56DB2F6F175509DF9DD4DF783DC36F6BCDCD93A0A8447736BF9D53FD9035C940BEFD94D01359C67CC42536BF7E4F7F985D119C3C2A643DE235A473FD7D14E452453CA31C42AE645FAA6104BCBA55F05F5C536E1D2C665F9BA71504F51278E03806B164EB85FF7159AE9F059A41985FB87117BD0161624D09A98200CA4DB58038C095A2B108CE3DB985B74163A7C485AD070CE91E7A72DBF7C9BD3F5E813654B8F9F31CD2F130F78398EF96CFB5523C35255309BA7A77C5E3B35B4C4808315B3F67B9285E5EA54860F2B0C0282BBB2FB2F3B09D7B87C01511C0F2EE4449321D5AAE90CD75961683E2677580713AE4A9380345B03EC4390E4FA044C4F1AE33D02949FCBA396D95A0A3B0F1BC13A15F98506B3641E1A7EF08E074862F532F0596465616C3F4CBE861F34D65C1D2603576A02D83082B7606E270D34E5BDA53FA4C2E50A1C68E57002F174EBE16A150082004D714168FCC52697B6C20E25089208DDDE096C2BCCAD9FB87D8E588268D61C0F2BC33EFFB4A66EB8F563282A09C3229DC711EE712548CBC7EF7A16D4EAD754D72354111FE4BAF7A7CCA069F1ABAB3A3ED74E4D0AB2EAB6BF5BDC058E9F5EC4D921CC3BCC4EF78C777CDB0A8695998EBD8033F4B75A19DA0938ACAC828CAFB3F29D65146638EFA12522C8C7254301CF52CAAD95748B86427EE94991FD8F117EA0D814BD31A8DD18447FB5B283F3B007599F351D237CE2BF748AD586791DD395721214D9D813A265B03BA405BA595C39DC0492495CF9EC6733B20BA48444CED173E5ED4C03BBC0357F93E046D801C089A5EB33F28392360152BDF7276A3FB57E92D7E1A96E7CF6CBF84A6AA77E58C3F354C142C4407254E7E1C06ABE746BC6530EEB24F76B3B65310E1DAAE535761A61E2CEED1283328142F3B412087B59CC81CAA4DD3561D309D09CD82715F6F557235CBC33240669ECD5A39EDEC68CC62862484E27EA2991B6F2D55D09D155F6DAA5E89DBAD6A5680935A30C1B90F04B89A1AA7DA36C566EFC29251B4AC050A6FFD9DAF3F5D0218E106F827E697F0363FB3F0C1C8DCB980CDE2CD56813BDB2D9D6A1662B36EEAD1097B572CC1D86A1307B72C55BF134544B1D11F8F50A1109212CC8B6315BBAC2CDBEBA49872016836851F5A7B0A9061F3194CEC9EEDCA640D18522A33744BCD079C899095F982B749104729AB42F75055466CED11880EFCFBEACDD5D83A859BF037C95C903A99999F3515DDD96EB6AAFE263292A8BFED5FE08231433D98ADD2ADF1B0B4A8D20B2D527AA96AD430A7E285681630DD940842EC2ECF3ED38D3300283A3044042D84D04D37EBC8770393F6BAE304880BAAE97C97B9E7D431032EBD2FBBD061A26BC9F0D5E9342FFCABF616DEF0305207742346805C0DB4B7446E0B284A9316394A6B12B2E35C5BCAD1BAE314F0ABB48CC7927B769AB366015C9EA64BFB2F0858479D25E7E81B56E9D9473309C1092C59D53B5ED2DC12D3B9D9DCEF165A52AE71B9E3219EE175C653391F47D70014337E6E8DFE3FD7959C42EFABCB9C78A0952064CC083E9EE27DA4F4DC19399C4AF3875C60B12672FF1D5AD0A08BC05B2ABEC877342EDFFD6F211772B48B8ED3126E0FFA6742B58574C0FF04ECA9650EDC861256633610820F42E644F0DFB454A1EFFAC4A8DACD65D6B2318D6B5F853B978C873CAFF49B5A01EB193E9B402F0F554615C313628D21D0041A528C730C28E22EFC4FE943D7E3C0883655180A19DE4FDA78F705CC27F118153985A8D1252948ED529E3267B771A44219C677D45844ECDA99E1A04FFCE9351717FE7932C04377B40AC6DF3CB94CAFEAE78A92236F5767678BAE975B4A7A0538B08ACEDF60192B8FA574E8AACAE0928CE535259DFA17FC79E53E30CF0F7BDB35E8FD1070A7A31E06166DCA481A82C77DB5007CF5488B26B77D5D20232B6C76FAAD3784DB2C26705CAA9BCBB5699042C3F55926D8E28D41D256BB5188E8ED56C835C72D9ADDA9441641CA6F598430E3EB177CFB48D827EF96B491DC673260005CE75BDF8A215B9E5ECBF8E160B74453BAD44223C7BBC7D699C0A6209600123F9FE1AF3D3B4DC92AF7F117215B21EE2D7BF85DF7FEC9409B29D8B73E15197FAABA6223E53D1484717396EE9A49B7A0073FFC95390EB9AB96794C22B6F2F7BCA8E9B4CAB79289940180FA49774B3F528EFB3BCD5A8C316E5AD43412F83C48A247D10268DE06E6C8437866FDE9D2F43C84DB8BA1A880FC25815477C499084FE1B7D42C1ED23B0E89ED3CD1F112B26305E66A788E8
@@ -0,0 +1 @@
+2E2B848A3B7C7F96EA6190E499CCD62E1BC4A979AECB041645BD2654275DBCBADA1E1249614E52DD5E103FCF73C2E1D57BE2C9486A78A3C699C6AE2A7CA48B59B8558E2267AE6CF38D7D391C6D3C6EC15EABC9ABE6540977702CE592C2E47326151FB27CDB914BB8E0BBCF9122C62E429209AFB4E3BC1602020B269E83E854EE9B8F5302A93B793F14E4A9AA1C7C9E3C963DFF222FE585F53107FD6C092DE13BEE1B4508F75EC497901BE0FB4B01740E26F602400CB1C17835CB810A1EF332941C5B4888A73393C690702BCE8CF572820D3C8C8EC6D3C15CAAC5ADD62FBD44CF683E610BBF542CD58CF25F37397091D67FB9AB3E05DD1192BF162B622BFB9ADA3B51BC3624FE1738A9DFBA5F1A81B2702DF365B735107FDBD1850185772226334D3621C3CF53F9A9F28F39AC56C3BAB3A781EAFEA7F1505E15749B89C91372A92AA3786CF02943443C4B0EE3676A1792F6C51D7F6BA7033E56B66B2871656783C82EA9CE125B95F0377DBC6DE7BF549A32580DA670A72DE4A148C3799C7C7EA1A01E6A14191895ECDE61D9B849F199F48CE1A7455F73F4FEED503C4C6FC107328E4B38E8F7F4F18B74BAC5A1445285F206038D8A7C251C07B532E065138DB4BC299A61AAEC2D5C8D
@@ -0,0 +1 @@
+C460246D70D19C42064BDEB7100B850BA478D00FF302FBD8FC4E7FFA1F0C9F43FD3183EEFC89AF156FEF9423EE9B4A5AE6A34B4F286085723EDD62D6D378AB1037AA0E2FE83A025BCE7E0A3906E21FBD41FCB34329DC4DE017980045CC9164332D9F4E6B61AB06182A79BBD3552AC1DE1D60AB2958D633872E8197A34CCB7E477C9D451763E18F79132B413FDED8BBC0BA14D870503588C9
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	+CCB72EDED9D3ABCD949CB8AAD9ACBD29C2617386272BE653B6CAE39010E8AE9B340FAFD6146877399117212E920912B0F6D48109EE0D10A62CFAE2E02E7ABADAE8CAC8058D8A6EA7E82459922D377DFDF582C2276FA09FD42DDFA517919B3B9AD5B37F5BB53DA71781995AAE7F9375190AA026EB0EE9529C8B671CB7926CBE12FE9E5FE505A598220F24C36C62E4E0ED17F1FB5BE0FB71DE68635897BDAA55E68C4FCA2246894088096199217523640B191FF2D7CBDFAEEA2F2674E6717124879D01846FC1339D8DB782A1C5489BCD72D82C8A99BC9B83FE07F49C199B2B95763566D63B230BE27489FA0FB58E854737B8BA9428F4CDE6B76498B5913538FDD1E3FE11D94196DFDC474694752D7FB5874F4A6C9B4522BD95BACB19279C3F3ABFF49155E90812819DD382E7C06BB90AA5269B4BCD26AC3D0FF0213DD54646B6D4D967FCB475303D870974D2B7428D4085322606677983557B9F197833CAD4AC808FEFF68E99E7E56DB2F6F175509DF9DD4DF783DC36F6BCDCD93A0A8447736BF9D53FD9035C940BEFD94D01359C67CC42536BF7E4F7F985D119C3C2A643DE235A473FD7D14E452453CA31C42AE645FAA6104BCBA55F05F5C536E1D2C665F9BA71504F51278E03806B164EB85FF7159AE9F059A41985FB87117BD0161624D09A98200CA4DB58038C095A2B108CE3DB985B74163A7C485AD070CE91E7A72DBF7C9BD3F5E813654B8F9F31CD2F130F78398EF96CFB5523C35255309BA7A77C5E3B35B4C4808315B3F67B9285E5EA54860F2B0C0282BBB2FB2F3B09D7B87C01511C0F2EE4449321D5AAE90CD75961683E2677580713AE4A9380345B03EC4390E4FA044C4F1AE33D02949FCBA396D95A0A3B0F1BC13A15F98506B3641E1A7EF08E074862F532F0596465616C3F4CBE861F34D65C1D2603576A02D83082B7606E270D34E5BDA53FA4C2E50A1C68E57002F174EBE16A150082004D714168FCC52697B6C20E25089208DDDE096C2BCCAD9FB87D8E588268D61C0F2BC33EFFB4A66EB8F563282A09C3229DC711EE712548CBC7EF7A16D4EAD754D72354111FE4BAF7A7CCA069F1ABAB3A3ED74E4D0AB2EAB6BF5BDC058E9F5EC4D921CC3BCC4EF78C777CDB0A8695998EBD8033F4B75A19DA0938ACAC828CAFB3F29D65146638EFA12522C8C7254301CF52CAAD95748B86427EE94991FD8F117EA0D814BD31A8DD18447FB5B283F3B007599F351D237CE2BF748AD586791DD395721214D9D813A265B03BA405BA595C39DC0492495CF9EC6733B20BA48444CED173E5ED4C03BBC0357F93E046D801C089A5EB33F28392360152BDF7276A3FB57E92D7E1A96E7CF6CBF84A6AA77E58C3F354C142C4407254E7E1C06ABE746BC6530EEB24F76B3B65310E1DAAE535761A61E2CEED1283328142F3B412087B59CC81CAA4DD3561D309D09CD82715F6F557235CBC33240669ECD5A39EDEC68CC62862484E27EA2991B6F2D55D09D155F6DAA5E89DBAD6A5680935A30C1B90F04B89A1AA7DA36C566EFC29251B4AC050A6FFD9DAF3F5D0218E106F827E697F0363FB3F0C1C8DCB980CDE2CD56813BDB2D9D6A1662B36EEAD1097B572CC1D86A1307B72C55BF134544B1D11F8F50A1109212CC8B6315BBAC2CDBEBA49872016836851F5A7B0A9061F3194CEC9EEDCA640D18522A33744BCD079C899095F982B749104729AB42F75055466CED11880EFCFBEACDD5D83A859BF037C95C903A99999F3515DDD96EB6AAFE263292A8BFED5FE08231433D98ADD2ADF1B0B4A8D20B2D527AA96AD430A7E285681630DD940842EC2ECF3ED38D3300283A3044042D84D04D37EBC8770393F6BAE304880BAAE97C97B9E7D431032EBD2FBBD061A26BC9F0D5E9342FFCABF616DEF0305207742346805C0DB4B7446E0B284A9316394A6B12B2E35C5BCAD1BAE314F0ABB48CC7927B769AB366015C9EA64BFB2F0858479D25E7E81B56E9D9473309C1092C59D53B5ED2DC12D3B9D9DCEF165A52AE71B9E3219EE175C653391F47D70014337E6E8DFE3FD7959C42EFABCB9C78A0952064CC083E9EE27DA4F4DC19399C4AF3875C60B12672FF1D5AD0A08BC05B2ABEC877342EDFFD6F211772B48B8ED3126E0FFA6742B58574C0FF04ECA9650EDC861256633610820F42E644F0DFB454A1EFFAC4A8DACD65D6B2318D6B5F853B978C873CAFF49B5A01EB193E9B402F0F554615C313628D21D0041A528C730C28E22EFC4FE943D7E3C0883655180A19DE4FDA78F705CC27F118153985A8D1252948ED529E3267B771A44219C677D45844ECDA99E1A04FFCE9351717FE7932C04377B40AC6DF3CB94CAFEAE78A92236F5767678BAE975B4A7A0538B08ACEDF60192B8FA574E8AACAE0928CE535259DFA17FC79E53E30CF0F7BDB35E8FD1070A7A31E06166DCA481A82C77DB5007CF5488B26B77D5D20232B6C76FAAD3784DB2C26705CAA9BCBB5699042C3F55926D8E28D41D256BB5188E8ED56C835C72D9ADDA9441641CA6F598430E3EB177CFB48D827EF96B491DC673260005CE75BDF8A215B9E5ECBF8E160B74453BAD44223C7BBC7D699C0A6209600123F9FE1AF3D3B4DC92AF7F117215B21EE2D7BF85DF7FEC9409B29D8B73E15197FAABA6223E53D1484717396EE9A49B7A0073FFC95390EB9AB96794C22B6F2F7BCA8E9B4CAB79289940180FA49774B3F528EFB3BCD5A8C316E5AD43412F83C48A247D10268DE06E6C8437866FDE9D2F43C84DB8BA1A880FC25815477C499084FE1B7D42C1ED23B0E89ED3CD1F112B26305E66A788E8
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	+2E2B848A3B7C7F96EA6190E499CCD62E1BC4A979AECB041645BD2654275DBCBADA1E1249614E52DD5E103FCF73C2E1D57BE2C9486A78A3C699C6AE2A7CA48B59B8558E2267AE6CF38D7D391C6D3C6EC15EABC9ABE6540977702CE592C2E47326151FB27CDB914BB8E0BBCF9122C62E429209AFB4E3BC1602020B269E83E854EE9B8F5302A93B793F14E4A9AA1C7C9E3C963DFF222FE585F53107FD6C092DE13BEE1B4508F75EC497901BE0FB4B01740E26F602400CB1C17835CB810A1EF332941C5B4888A73393C690702BCE8CF572820D3C8C8EC6D3C15CAAC5ADD62FBD44CF683E610BBF542CD58CF25F37397091D67FB9AB3E05DD1192BF162B622BFB9ADA3B51BC3624FE1738A9DFBA5F1A81B2702DF365B735107FDBD1850185772226334D3621C3CF53F9A9F28F39AC56C3BAB3A781EAFEA7F1505E15749B89C91372A92AA3786CF02943443C4B0EE3676A1792F6C51D7F6BA7033E56B66B2871656783C82EA9CE125B95F0377DBC6DE7BF549A32580DA670A72DE4A148C3799C7C7EA1A01E6A14191895ECDE61D9B849F199F48CE1A7455F73F4FEED503C4C6FC107328E4B38E8F7F4F18B74BAC5A1445285F206038D8A7C251C07B532E065138DB4BC299A61AAEC2D5C8D
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+C460246D70D19C42064BDEB7100B850BA478D00FF302FBD8FC4E7FFA1F0C9F43FD3183EEFC89AF156FEF9423EE9B4A5AE6A34B4F286085723EDD62D6D378AB1037AA0E2FE83A025BCE7E0A3906E21FBD41FCB34329DC4DE017980045CC9164332D9F4E6B61AB06182A79BBD3552AC1DE1D60AB2958D633872E8197A34CCB7E477C9D451763E18F79132B413FDED8BBC0BA14D870503588C9`