Parse command line and add helper methods for libclang interface

sikoba / isekai

Isekai verifiable computation project

MIT License

46 stars 8 forks source link

Parse command line and add helper methods for libclang interface #1

Closed Burgos closed 5 years ago

Burgos commented 5 years ago

This adds the Isekai main program class which reads the command line arguments and creates the CParser instance which will parse the input C file and output the arithmetic circuits. Additionally, this PR introduces helpers for abstracting some of the operations with libclang.

Burgos commented 5 years ago

Updated with tests, makefile and readme file.

Burgos commented 5 years ago

Thanks! I'll merge after we merge the license change.