Merge pull request #112 from GaloisInc/bump-reopt-vcg · GaloisInc/reopt@9256ea9

Commit

Merge pull request #112 from GaloisInc/bump-reopt-vcg

chore: bump reopt-vcg submodule

Andrew Kent authored Sep 20, 2021

2 parents 7d61e49 + 23d6e28 commit 9256ea9

+21 −4		app/Main.lean
+1 −1		deps/reopt_vcg/Makefile.include
+24 −4		deps/reopt_vcg/src/ReoptVCG/Annotations.lean
+1 −0		deps/reopt_vcg/src/ReoptVCG/ReoptVCG.lean
+97 −0		deps/reopt_vcg/src/ReoptVCG/SExpParser.lean
+36 −27		deps/reopt_vcg/src/ReoptVCG/Smt.lean
+196 −95		deps/reopt_vcg/src/ReoptVCG/SmtParser.lean
+129 −94		deps/reopt_vcg/src/ReoptVCG/Types.lean
+33 −8		deps/reopt_vcg/src/ReoptVCG/VCGBlock.lean
+2,348 −0		test-programs/nweb/manual-nweb23.ann