6 Commits

Author	SHA1	Message	Date
Michael Walker	a917c1d428	Use Travis build stages	2018-06-03 00:52:26 +01:00
Michael Walker	178e2d889e	Remove lts-6.0.yaml file	2018-06-03 00:49:12 +01:00
Michael Walker	4f4aa08fcb	Inline tasty-hedgehog dep into dejafu-tests	2018-03-24 23:14:04 +00:00
Michael Walker	8bff75a167	Add dependency function property tests ... The idea is that, if the dependency function is correct, then any permutation of independent actions should give the same result. In practice it's a little more complex, as the dependency function has some special cases which are only valid because of how it is used. So an "independence" function which we can use to shuffle any trace after-the-fact has to work around those cases.	2018-02-16 20:04:52 +00:00
Michael Walker	805d8058bf	Use LTS-x.0 for Travis builds	2018-02-10 03:55:55 +00:00
Michael Walker	888c371665	Add hlint and weeder to travis script	2017-10-20 15:19:35 +01:00