5 Commits

Author	SHA1	Message	Date
Joe Hendrix	250c41d40b	Progrsss on symbolic and fixes to x86-support.	2018-01-03 13:18:13 -08:00
Joe Hendrix	e0417a09a1	Merge branch 'master' of github.com:GaloisInc/macaw	2017-11-22 14:08:49 -08:00
Joe Hendrix	2bd710b49d	Move global function argument analysis to Macaw; Syscall changes ... We also moved the syscall interface to be X86 specific to be compat with earlier changes.	2017-11-22 14:07:55 -08:00
Joe Hendrix	4377e8c46e	Update for language-c >= 0.6 compat.	2017-11-21 09:59:30 -08:00
Joe Hendrix	4dcb26ebee	Add x86 specific code.	2017-09-27 15:54:43 -07:00