42 Commits

Author	SHA1	Message	Date
Daniel Matichuk	5970878919	add yices to travis dependency	2020-02-26 23:49:27 -08:00
Daniel Matichuk	4f97f5afad	add testing script	2020-02-26 23:43:09 -08:00
Daniel Matichuk	cab27e1bd0	add simple travis build for macaw-asl	2020-02-26 23:22:54 -08:00
Joe Hendrix	2ca07b49e1	Stop building haddock	2019-06-13 13:03:40 -07:00
Joe Hendrix	e9b9379234	Add haddock to .travis so we catch errors in documentation strings.	2019-06-12 15:53:38 -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	3331a19571	Drop support for branches within blocks.	2019-04-28 13:19:20 -07:00
Joe Hendrix	888c1abab6	Update travis to build crucible without -Werror.	2019-04-26 10:42:45 -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	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	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	edcf4faa18	Update travis	2019-03-22 22:34:22 -07:00
Joe Hendrix	37c0aca3a5	Cleanup travis.yml further.	2019-02-20 16:24:18 -08:00
Joe Hendrix	5b1548c36c	Try fixing travis build	2019-02-20 16:16:34 -08:00
Joe Hendrix	a2611303ff	Add GHC 8.6.3 stack and switch travis to use it.	2019-02-15 00:42:53 -08:00
Joe Hendrix	6ce5a95b83	Fix travis builds.	2018-11-12 09:58:10 -05:00
Joe Hendrix	000c2f900e	Move macaw stack.yaml to root for similiarity with other Galois packages.	2018-04-24 09:05:36 -07:00
Joe Hendrix	9047cb41fb	Fix warnings in macaw-base; Fix errors in macaw-symbolic. ... This also makes some changes to eliminate a couple redundent type-class constraints in CrucGen.hs which propagated to other changes.	2018-04-24 01:17:03 -07:00
Joe Hendrix	4c290c2a33	Update to build with ghc 8.2.1	2018-04-23 11:56:01 -07:00
Ben Selfridge	b73e2258ee	Believe I am done with travis	2017-11-09 17:19:58 -08:00
Ben Selfridge	a8f989efa4	removed some buggy stuff from .travis.yml	2017-11-09 15:03:59 -08:00
Ben Selfridge	d5cfd4da9c	still fixing travis	2017-11-09 14:19:18 -08:00
Ben Selfridge	4a69850230	still fixing travis	2017-11-09 14:08:27 -08:00
Ben Selfridge	c6c1556da2	still fixing travis	2017-11-09 14:00:13 -08:00
Ben Selfridge	f05f94ecf2	stillfixingtravis	2017-11-09 13:51:55 -08:00
Ben Selfridge	51eb17604c	s t i l l f i x i n g t r a v i s	2017-11-09 13:38:53 -08:00
Ben Selfridge	d2453521da	sTiLl FiXiNg TrAvIs	2017-11-09 13:29:55 -08:00
Ben Selfridge	b2a23dc958	still fixing travissssss	2017-11-09 13:23:02 -08:00
Ben Selfridge	2f71dcffaa	still fixing travis	2017-11-09 12:59:59 -08:00
Ben Selfridge	5180555701	still fixing travis	2017-11-09 12:35:46 -08:00
Ben Selfridge	39bc901e35	still fixing travis	2017-11-09 12:19:23 -08:00
Ben Selfridge	c39ac71631	still fixing travis	2017-11-09 10:59:47 -08:00
Ben Selfridge	9980986069	still fixing travis	2017-11-08 16:31:23 -08:00
Ben Selfridge	9fffce06e8	still fixing travis	2017-11-08 16:19:37 -08:00
Ben Selfridge	c9c911ca7e	Still trying to get travis ci working	2017-11-08 16:10:55 -08:00
Ben Selfridge	2b3547fd18	trying to fix travis-ci	2017-11-08 14:34:15 -08:00
Ben Selfridge	4467a29728	Moved .travis.yml up to macaw root, testing travis-ci again	2017-11-08 14:26:22 -08:00