1362 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Joe Hendrix	2d12aea63b	Merge branch 'jhx/bump-submodules' into jhx/cond-write	2019-04-26 10:38:50 -07:00
Joe Hendrix	b05d7cc1b5	Update versions.	2019-04-26 10:37:04 -07:00
Joe Hendrix	15676a2e45	Bump versions; Update macaw-symbol for conditional write.	2019-04-17 21:36:49 -07:00
Joe Hendrix	89f89e9ce6	This adds a conditional memory write to macaw.	2019-04-17 11:15:12 -07:00
Joe Hendrix	39b9d368f6	Merge pull request #38 from GaloisInc/jhx/comments ... Minor fixes/clasification.	2019-04-12 12:42:49 -07:00
Joe Hendrix	ec15debe20	Minor updates	2019-04-12 11:24:37 -07:00
Joe Hendrix	de45056006	Merge pull request #35 from GaloisInc/jhx/fix-dynamic ... Update elf loader comments.	2019-04-08 23:35:45 -07:00
Joe Hendrix	e864d9f24e	Merge remote-tracking branch 'public/master' into jhx/fix-dynamic	2019-04-08 17:05:38 -07:00
Joe Hendrix	cc7feec39e	Merge pull request #34 from GaloisInc/jhx/fix-dynamic ... Update to latest elf-edit; bump other submodules.	2019-04-08 17:04:37 -07:00
Joe Hendrix	4513a92848	Update comments.	2019-04-08 16:31:28 -07:00
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