5 Commits

Author	SHA1	Message	Date
Ashish Gehani	baadc4c94c	Added OCCAM license.	2017-08-25 16:34:03 -07:00
Ian A. Mason	2c8b14eb49	Keeping track of the GPA	2017-07-11 10:54:20 -07:00
Ian A. Mason	7629fa220a	Finished the sanity checker. Getting ready to revert to a uniform API with wllvm. Maybe via the issue mechanism.	2017-07-11 10:52:05 -07:00
Ian A. Mason	4ff5865d27	stylistic changes, plus still need to track down the SIGSEGV in the llvm-link.	2017-07-10 13:11:46 -07:00
Ian A. Mason	7f88d84b23	sanity checker ported too.	2017-07-10 13:01:21 -07:00