41 Commits

Author	SHA1	Message	Date
Joe Hendrix	62d27d629d	Update to latest elf-edit; bump other submodules.	2019-04-08 16:21:08 -07:00
Joe Hendrix	b3913695e1	Update llvm-pretty-bc-parser version.	2019-03-25 14:43:56 -07:00
Joe Hendrix	95c59eaf52	Update travis script and dependencies.	2019-03-25 13:20:51 -07:00
Joe Hendrix	fd397a80d8	Update dependencies	2019-03-22 09:41:29 -07:00
Aaron Tomb	cd87c12f28	Update crucible submodule	2019-03-06 11:52:22 -08:00
Joe Hendrix	e204724358	Merge pull request #27 from GaloisInc/jhx/vec ... Add vector type and operations.	2019-02-27 08:57:50 -08:00
Joe Hendrix	89ffdf088a	Fix macaw-x86-symbolic and update crucible.	2019-02-27 01:43:53 -08:00
Kevin Quick	11a2481135	Add llvm-pretty-bc-parser dependency.	2019-02-21 22:21:51 -08:00
Joe Hendrix	35af2a5c3a	Rename VectorTypeRepr to VecTypeRepr	2019-02-19 10:18:12 -08:00
Kevin Quick	b80ab8fb67	[symbolic] update to latest crucible.	2019-02-19 08:24:45 -08:00
Tristan Ravitch	c527a91521	Merge branch 'master' of github.com:GaloisInc/macaw	2019-02-15 08:31:41 -08:00
Joe Hendrix	3b7e12de16	Update to fix build process.	2019-02-15 00:28:35 -08:00
Tristan Ravitch	934784aed2	Update submodules ... The code has been updated, but the crucible submodule was out of date (w.r.t. some what4 changes in the natrepr)	2019-02-14 21:20:59 -08:00
Langston Barrett	274808a8ae	update parameterized-utils submodule	2019-02-11 11:47:19 -08:00
Joe Hendrix	8bf0d00e66	Fix warnings; crucible changes.	2019-01-22 10:25:45 -05:00
Joe Hendrix	0eac4d6b49	Remove blockAddr; update dependencies	2019-01-22 05:07:52 -05:00
Tristan Ravitch	379f89ee78	Update to the latest crucible version ... The llvm memory model was extended with better diagnostics and configurable handling of undefined behavior. macaw-symbolic uses no undefined behavior checking, as those operations are only undefined in C.	2019-01-11 23:01:07 -08:00
Luke Maurer	46cdd8be82	Adapt to Nonce-based registerized CFGs	2019-01-03 12:10:24 -08:00
Brian Huffman	a8ad3121ef	Bump crucible submodule.	2018-12-20 14:02:52 -08:00
Brian Huffman	00c08376e5	Bump crucible version; adapt to crucible-llvm changes.	2018-12-18 17:47:50 -08:00
Brian Huffman	7e6582fa07	Bump submodules, adapt to changes in crucible-llvm api.	2018-12-18 13:47:51 -08:00
Joe Hendrix	a0a89083e8	Support X86 Relative; other minor changes.	2018-12-03 20:52:44 -08:00
Joe Hendrix	1547712176	Bump parameterized-util version.	2018-11-17 16:03:34 -08:00
Joe Hendrix	127e7fbe34	Bump submodules.	2018-11-17 15:52:14 -08:00
Joe Hendrix	a2b2a0b0cc	Bump submodules	2018-09-17 15:41:34 -07:00
Joe Hendrix	0193c28325	Update submodules.	2018-09-10 15:56:45 -07:00
Joe Hendrix	64d71737af	Bump submodules	2018-08-15 00:17:03 -07:00
Joe Hendrix	230b318dcf	Updates to discovery	2018-08-14 23:29:02 -07:00
Kevin Quick	9876c2aff8	Submodule update for crucible.	2018-08-10 15:08:34 -07:00
Joe Hendrix	59bd994191	Bump parameterized-utils submodule	2018-07-23 14:57:41 -07:00
Joe Hendrix	dc4a4f0f5f	Merge remote-tracking branch 'public/stable' into jhx-x86-improvements	2018-07-20 20:32:09 -07:00
Rob Dockins	75e4728464	Update to refactor crucible simulator	2018-07-20 18:53:53 -07:00
Joe Hendrix	f096cb81c4	Update flexdis	2018-07-20 11:06:49 -07:00
Joe Hendrix	4ea55924b8	Update submodules	2018-07-20 10:46:09 -07:00
Joe Hendrix	0fc925f989	Update for elf-edit compat	2018-06-15 08:24:52 -07:00
Joe Hendrix	494f6c176d	Updates to Macaw.	2018-06-06 11:48:45 -07:00
Rob Dockins	f74d999896	Bump crucible submodule again	2018-05-17 14:06:24 -07:00
Rob Dockins	c382b59bed	Bump crucible submodule to pull in crucible/what4 split refactor, ... and update macaw-symbolic and macax-x86-symbolic.	2018-05-15 15:58:14 -07:00
Rob Dockins	c3fb0069e9	Bump crucible submodule	2018-05-04 15:43:20 -07:00
Joe Hendrix	72b667a49c	Add crucible so we can build macaw-symbolic on travis.	2018-04-25 00:16:53 -07:00
Joe Hendrix	000c2f900e	Move macaw stack.yaml to root for similiarity with other Galois packages.	2018-04-24 09:05:36 -07:00