suzanne.soy/trivial
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 6103097fe5 Quick hack to support heterogeneous let forms. heterogeneous-let Georges Dupéron 2016-09-11 13:55:45 +0200
  • a8c4fd4fcf ** turn off logging master Ben Greenman 2016-07-26 13:56:53 -0400
  • 5881bd94e0 [test] new regexp test Ben Greenman 2016-07-07 13:38:24 -0400
  • c27e1b2efa ** stop building on 6.4 Ben Greenman 2016-06-27 19:02:04 -0400
  • 8550b9aa83 flag about the bad state of things Ben Greenman 2016-06-27 16:02:54 -0400
  • 3703cee372 [checkpoint] popl-2017 Ben Greenman 2016-06-27 15:57:06 -0400
  • e70e0d3867 [regexp] stop using cast Ben Greenman 2016-06-27 01:14:23 -0400
  • d2a4b87d4d [private] rx: add annotation, to avoid prevent contract errors Ben Greenman 2016-06-13 20:42:20 -0400
  • f99ef2ffa1 [private] rx: stop using unsafe-ref Ben Greenman 2016-06-13 19:31:44 -0400
  • f18c207d11 [private] rx: allow \ between [...] Ben Greenman 2016-06-12 15:17:15 -0400
  • 6f2089c29d [private] map: allow compound/constructor types Ben Greenman 2016-06-12 15:06:49 -0400
  • 945938aee9 [private] rx: handle []] and [^]] patterns Ben Greenman 2016-06-12 15:05:19 -0400
  • 4bcdc32fec [private] rx: always order clusters by left-paren position Ben Greenman 2016-06-11 22:52:47 -0400
  • 87f4796adb [private] track misses and hits in optimization Ben Greenman 2016-06-10 15:57:33 -0400
  • fb22461c75 [private] much better regexp for pipes Ben Greenman 2016-06-10 05:09:29 -0400
  • 5d04125c55 [private] fix stop-list bug for define Ben Greenman 2016-06-09 22:33:52 -0400
  • 4ef1c7a10b [regexp] only check balanced parans in presence of pipes Ben Greenman 2016-06-09 02:24:59 -0400
  • e2d6d365f6 [function] add fall-through case for map Ben Greenman 2016-06-09 02:03:49 -0400
  • 7cd78a842b [regexp] add src lines to group error message Ben Greenman 2016-06-09 01:34:09 -0400
  • c7b99a2396 [untyped] copy of typed library Ben Greenman 2016-06-08 22:49:57 -0400
  • fa88868254 [private] rename command-line.rkt Ben Greenman 2016-06-08 21:30:17 -0400
  • 1592cb08f1 [private] add s-exp printer output Ben Greenman 2016-06-08 15:04:08 -0400
  • ff9c7053db [math] add quotient Ben Greenman 2016-06-06 21:45:17 -0400
  • e5e622b79b [private] add command-line LOG output summarizer Ben Greenman 2016-06-06 18:54:39 -0400
  • 066d89d993 ** add/expose parameter for logging 'hits' Ben Greenman 2016-06-06 17:38:01 -0400
  • dc0c4bcad8 [popl-2017] checkpoint, time to run evaluation Ben Greenman 2016-06-06 16:59:16 -0400
  • 5699412c00 ** fix typo in license Ben Greenman 2016-05-28 12:30:22 -0400
  • 1e75b0ad37 [popl-2017] outlined Ben Greenman 2016-05-25 18:31:05 -0400
  • b541eede94 [popl] some Rust code Ben Greenman 2016-05-25 18:30:53 -0400
  • 86634e83e2 [popl-2017] checkpoint: getting organized Ben Greenman 2016-05-23 23:50:14 -0400
  • 911d376361 [math] better expt: when only exponent is known Ben Greenman 2016-05-22 19:15:12 -0400
  • d43d918486 [popl-2017] on your marks Ben Greenman 2016-05-22 17:59:14 -0400
  • b42a1af316 [rebuttal] add markdown syntax Ben Greenman 2016-05-04 22:15:56 -0400
  • 8c74839e0c [rebuttal] final, but maybe has typos Ben Greenman 2016-05-04 21:46:55 -0400
  • 316eaa9001 [icfp] micro implementation of vector/length Ben Greenman 2016-05-04 21:36:57 -0400
  • 17ca97b697 [rebuttal] final version? Ben Greenman 2016-05-04 19:21:19 -0400
  • 203fcf2fbf [rebuttal] add todays matthias comments Ben Greenman 2016-05-04 17:38:08 -0400
  • 992412f525 [rebuttal] typo + redo detailed comments Ben Greenman 2016-05-03 23:16:39 -0400
  • ddf5a59948 [rebuttal] matthias edits Ben Greenman 2016-05-03 22:31:54 -0400
  • 053c44aa78 [rebuttal] post-meething Ben Greenman 2016-05-03 18:37:50 -0400
  • 7e601b0ad8 [rebuttal] 2nd draft Ben Greenman 2016-05-03 15:10:11 -0400
  • 522b407b53 [rebuttal] propAgate Ben Greenman 2016-05-03 05:57:35 -0400
  • 7a933236b5 [rebuttal] remove last of ~a Ben Greenman 2016-05-03 05:56:49 -0400
  • 4e1a975238 [rebuttal] 1st draft of response Ben Greenman 2016-05-03 05:50:11 -0400
  • befb2f4be4 [rebuttal] fix footnote typo Ben Greenman 2016-05-03 05:49:55 -0400
  • f880e95528 [rebuttal] typo: meant to use ~s Ben Greenman 2016-05-03 03:44:28 -0400
  • 25be781ef5 [rebuttal] remove unused 'DSL' abbrev Ben Greenman 2016-05-03 02:23:26 -0400
  • e4cc578b5e [rebuttal] printf in other languages Ben Greenman 2016-05-03 02:22:48 -0400
  • 5cd1971004 [rebuttal] clarify technique / library Ben Greenman 2016-05-03 01:36:00 -0400
  • c1c0f157fe [rebuttal] fix evaluator typo Ben Greenman 2016-05-03 01:31:57 -0400
  • 272d1ad1ff [rebuttal] fix inconsistent capitalization Ben Greenman 2016-05-03 01:30:20 -0400
  • 8264cab37b [rebuttal] add reviews Ben Greenman 2016-05-02 22:51:04 -0400
  • 8ec7a50bae Merge pull request #30 from btlachance/fix-readme-path Benjamin Greenman 2016-06-20 10:26:14 -0400
  • a30f05400a Give correct path for installing from git clone Brian Lachance 2016-06-19 21:39:19 -0400
  • 31ee1c8941 ** nb: hard to do type-directed elaborations Ben Greenman 2016-05-22 18:52:53 -0400
  • 4ab5ce5c95 [list] typo in list lib Ben Greenman 2016-05-18 17:22:22 -0400
  • 50c98645ca [list] docs, and hide map: for now Ben Greenman 2016-05-02 22:40:44 -0400
  • f2c6c1e1c0 [list] some tests Ben Greenman 2016-05-02 22:13:37 -0400
  • 316ab9cf32 [list] implemented some functions, need tests Ben Greenman 2016-05-01 21:01:20 -0400
  • d2dd015415 ** link docs in README Ben Greenman 2016-04-24 15:43:15 -0400
  • 04835b5339 [6.4] move package to toplevel 6.4 ben 2016-04-09 09:39:30 -0400
  • 7ef8e90a41 [scrbl] use deftogether ben 2016-04-04 13:59:44 -0400
  • 309767c12f [scrbl] use deftogether ben 2016-04-04 13:59:44 -0400
  • a9a7298ec2 [icfp] remove some quoting, prettier but now text is inconsistent ben 2016-04-01 06:21:03 -0400
  • 5a1cba842c [icfp] remove some quoting, prettier but now text is inconsistent ben 2016-04-01 06:21:03 -0400
  • 458f434099 [icfp] fix query examples formatting v1.0 ben 2016-03-24 15:08:32 -0400
  • 3983c2e630 [icfp] rename 'paper' to 'pearl' ben 2016-03-24 15:08:20 -0400
  • 2ea7220f8c ** lol, don't need the special info ben 2016-03-23 14:06:06 -0400
  • de518d458b ** info.rkt ignoring extra dirs ben 2016-03-23 13:30:17 -0400
  • f54232c25c ** try adding toplevel info.rkt ben 2016-03-23 11:59:26 -0400
  • ec30184808 [icfp] purge readme ben 2016-03-20 15:27:14 -0400
  • 9d617044ec ** bump version number ben 2016-03-20 15:25:46 -0400
  • 5787e27d60 [regexp] follow spec for starred groups and alternates ben 2016-03-20 15:19:04 -0400
  • 4faad17905 [regexp] follow return type spec a little better ben 2016-03-20 13:00:38 -0400
  • cd4fb63945 ** subfolder readmes ben 2016-03-20 11:53:09 -0400
  • 34176f6dcf [scribblings] update with new applications ben 2016-03-20 11:36:37 -0400
  • 407376a6fa [icfp] typos, redundancy ben 2016-03-20 10:59:48 -0400
  • 688a3c16c3 ** update README ben 2016-03-20 00:30:59 -0400
  • 011ca1771c [format] add define form ben 2016-03-20 00:26:47 -0400
  • f7dff260bc [icfp] updated benchmark data ben 2016-03-20 00:08:15 -0400
  • 7e0064d7ba [icfp] some example code ben 2016-03-20 00:06:07 -0400
  • 51260412e3 ** travis: specify tests ben 2016-03-19 23:50:45 -0400
  • d82c256cf7 [function] really working ben 2016-03-19 23:44:00 -0400
  • 23d776fd7c [test] more function/curry tests ben 2016-03-19 23:43:50 -0400
  • 5cdcba0a5c [test] redirect function=fail output, to hide it ben 2016-03-19 23:38:07 -0400
  • 82cee4b93a ** move package to submodule ben 2016-03-19 22:52:28 -0400
  • 518516cbf7 [function] following the protocol now ben 2016-03-19 09:18:21 -0400
  • a508db7a73 [function] fixedd curry ben 2016-03-19 08:47:49 -0400
  • a5f44b69d1 [icfp] other nice things ben 2016-03-16 10:58:58 -0400
  • 2d6b11486b [icfp] add subject to a little phrase ben 2016-03-16 10:34:52 -0400
  • 764bb66365 [icfp] p? -> f, because ?functions always return #t or #f ben 2016-03-16 10:27:24 -0400
  • c32c1a3be9 [icfp] remove old elabbo names ben 2016-03-16 10:26:32 -0400
  • 1e8e800f25 [icfp] typo: double-period ben 2016-03-16 10:26:14 -0400
  • d8ce72111f [icfp] commented note on code ben 2016-03-16 08:35:39 -0400
  • bc4753c502 [icfp] clean up SQL/sql ben 2016-03-16 08:31:40 -0400
  • f14387469a [icfp] all prettier ben 2016-03-16 08:22:17 -0400
  • a425fa840f [icfp] a pretty section 2 ben 2016-03-16 06:15:20 -0400
  • 0a84ae4c62 [icfp] a pretty first page ben 2016-03-16 05:45:47 -0400
  • d19a307665 [icfp] re-add herman/meunier ben 2016-03-16 05:27:36 -0400
  • a3ece184bc [icfp] a happy ending ben 2016-03-16 05:08:55 -0400