Commit Graph

15 Commits

Author SHA1 Message Date
Tony Garnock-Jones 38f6351d43 Cosmetic (sort-lines) [2/2] 2020-01-17 14:15:20 +01:00
Tony Garnock-Jones cd98c3048d Cosmetic [1/2] 2020-01-17 14:14:55 +01:00
Tony Garnock-Jones d1fbe26bc1 Fix Racket package deps 2020-01-17 14:14:35 +01:00
Sam Caldwell a3380ea403 fixups for package installation 2019-08-26 11:08:30 -04:00
Sam Caldwell 3957f031c1 declare turnstile deps 2019-08-23 10:05:11 -04:00
Sam Tobin-Hochstadt 87495bdc37 Fix missing dependency. 2017-11-12 14:04:36 +00:00
Sam Caldwell 27cb9ba983 Add a way of sepcifying and checking upside-down traces 2017-02-22 17:44:07 -05:00
Tony Garnock-Jones 038ea39b30 Fix deps 2016-12-19 10:15:15 +13:00
Tony Garnock-Jones 171a51d68c Fix package deps 2016-10-14 16:33:30 -04:00
Tony Garnock-Jones d1c858a7ae Fix deps 2016-09-27 18:18:09 -04:00
Tony Garnock-Jones 02c66c4bab Fix deps 2016-08-04 13:05:54 -04:00
Tony Garnock-Jones 819ff13835 Expanders for events and assertion-patterns.
Introduced expanders for events (define-event-expander) and for
assertion-patterns (define-assertion-expander).

Introduced convenience syntax and utilities in web.rkt for working
with web requests.

Support nested bindings in assertion-patterns for message events
(only).
2016-07-23 14:57:26 -04:00
Tony Garnock-Jones b6e863fa79 Support for using struct-defaults in web.rkt, plus a simple default 2016-07-23 11:28:46 -04:00
Tony Garnock-Jones b2e0916350 Merge info.rkts 2016-04-01 19:20:21 -04:00
Tony Garnock-Jones 1830d4da6c Move contents to subfolder in prep for merge 2016-04-01 19:05:47 -04:00
Renamed from info.rkt (Browse further)