Mark Wotton
|
bada8f05de
|
add hash requirement to checker, for better state space exploration
|
2020-11-27 21:24:28 -05:00 |
|
Mark Wotton
|
ec36997bfc
|
Merge branch 'master' into morecoverage
|
2020-11-26 14:48:23 -05:00 |
|
Mark Wotton
|
1e54b220e8
|
Merge branch 'typesafe-servant' of https://github.com/mstksg/roboservant
|
2020-11-26 14:17:16 -05:00 |
|
Mark Wotton
|
f686505db5
|
wip
|
2020-11-26 13:21:49 -05:00 |
|
Justin Le
|
d54960dcec
|
type-safe servant interface
|
2020-11-17 14:14:09 -08: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
|
94b0f2e79c
|
direct
|
2020-11-14 16:07:49 -05:00 |
|
Mark Wotton
|
8e47f923de
|
checkpoint before i delete most of this
|
2020-11-14 14:25:07 -05:00 |
|
Mark Wotton
|
41584fcbf8
|
revamp tests, change interface
|
2020-09-23 22:48:59 -04:00 |
|
Mark Wotton
|
84e3e65fe8
|
add headers test
|
2020-09-14 12:07:17 -04:00 |
|
Mark Wotton
|
49d5d96db5
|
remove unused packages
|
2020-09-14 09:23:26 -04:00 |
|
Mark Wotton
|
41fa92933c
|
also fix package.yaml link
|
2020-09-13 18:38:39 -04:00 |
|
Mark Wotton
|
0724d7aa74
|
add some examples, remove old code
|
2020-09-13 13:42:23 -04:00 |
|
Samuel Schlesinger
|
56f705f9f5
|
rigged it up to work with the server
|
2020-09-12 18:12:17 -04:00 |
|
Mark Wotton
|
77f565b993
|
wip number whatever
|
2020-08-24 17:30:25 -04:00 |
|
Mark Wotton
|
022f3f6fd6
|
wip
|
2020-08-23 11:58:10 -04:00 |
|
Mark Wotton
|
a59a92a042
|
trying a typerep approach
|
2020-08-15 13:32:57 -04:00 |
|
Mark Wotton
|
54a83a6be9
|
Merge branch 'dev'
|
2020-08-15 10:07:03 -04:00 |
|
Mark Wotton
|
d1e88af6b9
|
stack stuff
|
2020-08-09 12:11:47 -04:00 |
|
Mark Wotton
|
bb7fdefc2a
|
README
|
2020-08-09 11:47:32 -04:00 |
|
Mark Wotton
|
ab9b72af87
|
tidying up
|
2020-06-06 10:24:56 -04:00 |
|
Mark Wotton
|
f5a8869a1b
|
autogenerated stuff
|
2020-06-05 12:01:44 -04:00 |
|