params.json

{"name":"Daviddeharbe.github.io","tagline":"Web site","body":"### Welcome to my git hub\r\n\r\n## Sofware projects\r\n\r\n* veriT is a SMT solver hosted at [veriT-solver.org](http://www.verit-solver.org)\r\n* b2llvm is a LLVM code generator now hosted on bitbucket\r\n* nuCV is a forthcoming attempt at reviving the VHDL symbolic model checker CV.\r\n\r\n","google":"","note":"Don't delete this file! It's used internally to help with page regeneration."}