Mark Wotton
|
c89e1693fc
|
update for LTS-20.4
|
2022-12-15 12:58:44 +07:00 |
|
Mark Wotton
|
c61d4868cc
|
hlint
|
2021-08-05 06:39:58 -05:00 |
|
Mark Wotton
|
5d71aaaae4
|
include PUT
|
2021-05-04 14:13:21 -04:00 |
|
Mark Wotton
|
ccf402b22d
|
PUT test + some servant orphans
|
2021-05-04 13:54:46 -04:00 |
|
Mark Wotton
|
39325693b7
|
tiny cleanup
|
2021-03-18 13:36:08 -04:00 |
|
Mark Wotton
|
601694a30e
|
queryparams
|
2021-03-18 12:44:43 -04:00 |
|
Mark Wotton
|
1728c99798
|
Apply suggestions from code review
thanks musedev.
Co-authored-by: muse-dev[bot] <37194012+muse-dev[bot]@users.noreply.github.com>
|
2021-03-16 15:48:09 -04:00 |
|
Mark Wotton
|
c41cee3296
|
make servant-client work
|
2021-03-16 15:20:09 -04:00 |
|
Mark Wotton
|
53ab47e4c1
|
extract servant code from fuzz machinery
|
2021-03-15 11:18:14 -04:00 |
|
Mark Wotton
|
4d4858effe
|
polishing interface for 1.0 release
|
2021-01-03 11:38:22 -05:00 |
|
Mark Wotton
|
a96a0ffa0e
|
some cleanup + a compilation speed fix from sam gelineau
|
2021-01-02 13:12:12 -05:00 |
|
Mark Wotton
|
75ec6d3b0b
|
WIP
|
2020-12-30 13:03:00 -05:00 |
|
Mark Wotton
|
4d0e2216ae
|
cleanup and example
|
2020-12-24 16:16:09 -05:00 |
|
Mark Wotton
|
b32a660df2
|
working generic breakdown
|
2020-12-22 10:20:51 -05:00 |
|
Mark Wotton
|
9a40123f36
|
working products
|
2020-12-21 15:40:26 -05:00 |
|
Mark Wotton
|
b61d91d1b4
|
working with generic BuildFrom
|
2020-12-21 13:35:35 -05:00 |
|
Mark Wotton
|
5b0cfe11c1
|
Apply muse-dev suggestions from code review
Co-authored-by: muse-dev[bot] <37194012+muse-dev[bot]@users.noreply.github.com>
|
2020-11-30 14:21:27 -05:00 |
|
Mark Wotton
|
8f542bc3ef
|
add servant-generic test
|
2020-11-28 10:54:31 -05:00 |
|
Mark Wotton
|
bada8f05de
|
add hash requirement to checker, for better state space exploration
|
2020-11-27 21:24:28 -05:00 |
|
Mark Wotton
|
6e0923194f
|
cleanup, change time to double
|
2020-11-27 18:26:18 -05:00 |
|
Mark Wotton
|
780fb790cf
|
Merge branch 'derivingvia' into morecoverage
|
2020-11-27 18:26:04 -05:00 |
|
Mark Wotton
|
a74abfd311
|
buildfrom with derivingvia
|
2020-11-27 16:16:24 -05:00 |
|
Mark Wotton
|
0b3434a9f7
|
shift to using deriving-via for atoms
|
2020-11-27 16:03:55 -05:00 |
|
Mark Wotton
|
bbba0558f8
|
broken wip
|
2020-11-26 14:48:34 -05:00 |
|
Mark Wotton
|
f686505db5
|
wip
|
2020-11-26 13:21:49 -05:00 |
|
Mark Wotton
|
67d88d2ef5
|
some renaming
|
2020-11-22 10:39:23 -05:00 |
|
Mark Wotton
|
2498df9cd0
|
switch to deriving-via rather than default
|
2020-11-22 10:01:39 -05:00 |
|
Mark Wotton
|
f75c09b556
|
inline shouldFail
|
2020-11-18 16:41:01 -05:00 |
|
Mark Wotton
|
7f36587ba3
|
new test, better diagnostic display
|
2020-11-18 13:04:18 -05:00 |
|
Mark Wotton
|
288f801b75
|
coverage
|
2020-11-17 17:18:04 -05:00 |
|
Mark Wotton
|
3aec8c1870
|
some coverage code
|
2020-11-17 15:23:51 -05:00 |
|
Mark Wotton
|
c9076d7cf5
|
cleanup
|
2020-11-16 16:53:48 -05:00 |
|
Mark Wotton
|
7d48419036
|
should not catch async exceptions
|
2020-11-16 15:40:38 -05:00 |
|
Mark Wotton
|
52cf009059
|
working with headers
|
2020-11-16 12:16:11 -05:00 |
|
Mark Wotton
|
94b0f2e79c
|
direct
|
2020-11-14 16:07:49 -05:00 |
|
Mark Wotton
|
0be3abceb2
|
working through details of chewable dynamics
|
2020-09-26 17:49:36 -04:00 |
|
Mark Wotton
|
9d70cccee0
|
dependency on seed working!
|
2020-09-26 16:25:25 -04:00 |
|
Mark Wotton
|
a811a98530
|
seeded example
|
2020-09-26 15:26:50 -04:00 |
|
Mark Wotton
|
1f7fe0807f
|
break up Types into modules
|
2020-09-26 15:26:15 -04:00 |
|
Mark Wotton
|
41584fcbf8
|
revamp tests, change interface
|
2020-09-23 22:48:59 -04:00 |
|
Mark Wotton
|
98c08a2f4c
|
headers not working yet
|
2020-09-21 16:10:50 -04:00 |
|
Mark Wotton
|
84e3e65fe8
|
add headers test
|
2020-09-14 12:07:17 -04:00 |
|
Samuel Schlesinger
|
73ebfe0094
|
Booped up the test count for the FooSpec
|
2020-09-14 11:57:26 -04:00 |
|
Mark Wotton
|
5f01d4116e
|
moar tests
|
2020-09-13 20:36:13 -04:00 |
|
Mark Wotton
|
9122907307
|
needs a few more tests to find the counterexample reliably
|
2020-09-13 20:29:51 -04:00 |
|
Mark Wotton
|
71bb7630c3
|
unused functions
|
2020-09-13 18:33:17 -04:00 |
|
Samuel Schlesinger
|
bdf4d4a6e6
|
Clarified client-facing interface
|
2020-09-13 15:41:52 -04:00 |
|
Mark Wotton
|
d59e218ff0
|
readme
|
2020-09-13 14:04:46 -04:00 |
|
Mark Wotton
|
0724d7aa74
|
add some examples, remove old code
|
2020-09-13 13:42:23 -04:00 |
|
Mark Wotton
|
77f565b993
|
wip number whatever
|
2020-08-24 17:30:25 -04:00 |
|