1352 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Joe Hendrix	b68a092edf	Merge remote-tracking branch 'public/master' into jhx/fix-dynamic	2019-04-08 16:22:19 -07:00
Joe Hendrix	62d27d629d	Update to latest elf-edit; bump other submodules.	2019-04-08 16:21:08 -07:00
Joe Hendrix	19e9ffa5c8	Merge pull request #33 from GaloisInc/jhx/test_ret ... Add tests for pop and ret instructions	2019-04-04 10:28:35 -07:00
Joe Hendrix	ef6951458a	Add pop tests.	2019-04-04 09:42:11 -07:00
Joe Hendrix	092cbc2e26	Minor fixes to tests	2019-04-03 16:44:00 -07:00
Joe Hendrix	3e763cc7a1	Add ret test	2019-04-03 16:43:42 -07:00
Joe Hendrix	809e6e8ce2	Bump submodules.	2019-04-03 16:42:03 -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	036944d42e	Add btc/btr/bts tests	2019-04-03 08:24:57 -07:00
Joe Hendrix	8fe3bd79d1	Merge pull request #31 from GaloisInc/jhx/x86-support ... Add x86-support to travis	2019-03-26 09:33:39 -07:00
Joe Hendrix	a6149fa95f	Add x86-support to travis	2019-03-26 08:21:01 -07:00
Joe Hendrix	d01a25e92d	Merge pull request #30 from GaloisInc/jhx/no-warn ... Add Wall Werror to travis build	2019-03-25 21:09:10 -07:00
Joe Hendrix	4267dca987	Get x86_symbolic test cases in runable state.	2019-03-25 20:29:35 -07:00
Joe Hendrix	6810d1eaf0	Drop semmc-ppc compile step.	2019-03-25 19:49:49 -07:00
Joe Hendrix	66bee7afbd	Remove extra line.	2019-03-25 19:32:13 -07:00
Joe Hendrix	4d17150f8b	Retrict to local test suites.	2019-03-25 19:31:04 -07:00
Joe Hendrix	82b96fb62a	Fix warnings; improve PLTStub comment.	2019-03-25 19:27:46 -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	b3913695e1	Update llvm-pretty-bc-parser version.	2019-03-25 14:43:56 -07:00
Joe Hendrix	fbb3b300ce	Prep work to get building with warning as errors.	2019-03-25 14:39:33 -07:00
Joe Hendrix	813c9ae88d	Update 8.4 dependencies.	2019-03-25 13:35:41 -07:00
Joe Hendrix	95c59eaf52	Update travis script and dependencies.	2019-03-25 13:20:51 -07:00
Joe Hendrix	72f2ccf970	Update versions	2019-03-25 12:59:53 -07:00
Joe Hendrix	a6ae296f8c	Merge pull request #29 from GaloisInc/jhx/update-deps ... Jhx/update deps	2019-03-25 12:56:25 -07:00
Joe Hendrix	edcf4faa18	Update travis	2019-03-22 22:34:22 -07:00
Joe Hendrix	f1f16b7509	Remove warnings	2019-03-22 14:40:14 -07:00
Joe Hendrix	fd397a80d8	Update dependencies	2019-03-22 09:41:29 -07:00
Joe Hendrix	e730e846a0	Merge branch 'master' of github.com:GaloisInc/macaw	2019-03-14 10:41:35 -07:00
Joe Hendrix	51333f4612	Deprecate outdated disassemble block functions.	2019-03-14 10:41:11 -07:00
Aaron Tomb	cd87c12f28	Update crucible submodule	2019-03-06 11:52:22 -08:00
Aaron Tomb	70981ba8ea	Initial attempt at adapting to structured errors	2019-03-06 10:26:41 -08:00
Daniel Wagner	b6778a80c1	comparisons with max or min values are easy	2019-03-04 14:38:31 -05:00
Iavor Diatchki	65ca5447ea	Merge branch 'master' of github.com:GaloisInc/macaw	2019-02-27 16:20:55 -08:00
Iavor Diatchki	1471740282	Only skip assignment if we are assigned to our own initial value.	2019-02-27 15:45:12 -08:00
Kevin Quick	45f5c5e7af	Update cabal version for fields used.	2019-02-27 11:52:18 -08:00
Kevin Quick	f8fce2175e	Sorting of pragma declarations in CrucGen.	2019-02-27 11:51:53 -08:00
Kevin Quick	b53b79471c	Add NondecreasingIndentation pragma to match code formatting.	2019-02-27 11:51:16 -08:00
Kevin Quick	60a3d39e98	More haddock updates for function argument information.	2019-02-27 11:35:20 -08:00
Kevin Quick	fcff1b7c3d	Update all source files for NoStarIsType pragma.	2019-02-27 11:35:09 -08:00
Kevin Quick	8ea677f7ed	[symbolic] Haddock fixes.	2019-02-27 09:30:55 -08:00
Kevin Quick	a1e6f1b841	Update NoStarIsType spec for backward compatibility.	2019-02-27 09:30:26 -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
Joe Hendrix	e8d2efcaae	Implement bitcast changes to macaw-symbolic	2019-02-26 17:53:34 -08:00
Kevin Quick	898e7bdb95	[refinement] Added newline to end of expected output file.	2019-02-26 14:51:49 -08:00
Kevin Quick	70657ee811	[x86_symbolic] Use stable value for generating x86 register name. ... Relying on the underlying Show instance representation for the register name is more brittle, especially if the Show becomes a structural representation (e.g. "X86_GP 14") that introduces spaces and other elements that can cause problems. Generate the register name in a more reliable manner for the symbolic variable use case here.	2019-02-23 21:52:36 -08:00
Kevin Quick	3fe6fdf949	Sort refinement results for test stability and visual convenience.	2019-02-23 21:33:40 -08:00
Kevin Quick	91f871dced	Added llvm-pretty-bc-parser submodule to stack.ghc-8.6.3.yaml.	2019-02-21 22:23:43 -08:00
Kevin Quick	9662651b09	Added llvm-pretty-bc-parser submodule to cabal.project.dist.	2019-02-21 22:23:05 -08:00