11 Commits

Author	SHA1	Message	Date
Andrew Kent	587aa7ea6b	Update crux/crucible code to use float mode reprs; bump submodules	2019-11-05 15:23:51 -08:00
Joe Hendrix	17c09c974f	Bump submodules; clarify stack offset abstract values	2019-07-01 16:35:47 -07:00
Joe Hendrix	41a75597a0	Submodule/stack updates.	2019-05-28 14:25:50 -07:00
Joe Hendrix	d0a1a156d4	Change stack files and travis to stop failing on Crucible warnings.	2019-05-14 18:59:09 -07:00
Joe Hendrix	9e86ffde60	Fix stack dependencies and update versions.	2019-05-14 18:24:01 -07:00
Joe Hendrix	74e8c6580e	Merge pull request #32 from GaloisInc/jhx/x86_tests ... Add tests for btc/btr/bts	2019-04-03 13:59:50 -05:00
Joe Hendrix	0965896189	Remove unused flag from stack	2019-04-03 08:25:28 -07:00
Joe Hendrix	a6149fa95f	Add x86-support to travis	2019-03-26 08:21:01 -07:00
Joe Hendrix	2bb7b2e535	Remove dismantle/semms from stack until we get warnings fixed.	2019-03-25 16:21:31 -07:00
Joe Hendrix	fbb3b300ce	Prep work to get building with warning as errors.	2019-03-25 14:39:33 -07:00
Joe Hendrix	edcf4faa18	Update travis	2019-03-22 22:34:22 -07:00