Ben Greenman
|
a8c4fd4fcf
|
** turn off logging
|
2016-07-26 13:56:53 -04:00 |
|
Ben Greenman
|
5881bd94e0
|
[test] new regexp test
|
2016-07-07 13:38:24 -04:00 |
|
Ben Greenman
|
c27e1b2efa
|
** stop building on 6.4
|
2016-06-27 19:02:04 -04:00 |
|
Ben Greenman
|
8550b9aa83
|
flag about the bad state of things
|
2016-06-27 16:02:54 -04:00 |
|
Ben Greenman
|
3703cee372
|
[checkpoint]
|
2016-06-27 16:00:02 -04:00 |
|
Ben Greenman
|
e70e0d3867
|
[regexp] stop using cast
|
2016-06-27 16:00:02 -04:00 |
|
Ben Greenman
|
d2a4b87d4d
|
[private] rx: add annotation, to avoid prevent contract errors
|
2016-06-27 16:00:02 -04:00 |
|
Ben Greenman
|
f99ef2ffa1
|
[private] rx: stop using unsafe-ref
|
2016-06-27 16:00:02 -04:00 |
|
Ben Greenman
|
f18c207d11
|
[private] rx: allow \ between [...]
|
2016-06-27 16:00:02 -04:00 |
|
Ben Greenman
|
6f2089c29d
|
[private] map: allow compound/constructor types
|
2016-06-27 16:00:02 -04:00 |
|
Ben Greenman
|
945938aee9
|
[private] rx: handle []] and [^]] patterns
|
2016-06-27 16:00:02 -04:00 |
|
Ben Greenman
|
4bcdc32fec
|
[private] rx: always order clusters by left-paren position
|
2016-06-27 16:00:02 -04:00 |
|
Ben Greenman
|
87f4796adb
|
[private] track misses and hits in optimization
|
2016-06-27 16:00:02 -04:00 |
|
Ben Greenman
|
fb22461c75
|
[private] much better regexp for pipes
|
2016-06-27 16:00:02 -04:00 |
|
Ben Greenman
|
5d04125c55
|
[private] fix stop-list bug for define
|
2016-06-27 16:00:01 -04:00 |
|
Ben Greenman
|
4ef1c7a10b
|
[regexp] only check balanced parans in presence of pipes
|
2016-06-27 16:00:01 -04:00 |
|
Ben Greenman
|
e2d6d365f6
|
[function] add fall-through case for map
|
2016-06-27 16:00:01 -04:00 |
|
Ben Greenman
|
7cd78a842b
|
[regexp] add src lines to group error message
|
2016-06-27 16:00:01 -04:00 |
|
Ben Greenman
|
c7b99a2396
|
[untyped] copy of typed library
|
2016-06-27 16:00:01 -04:00 |
|
Ben Greenman
|
fa88868254
|
[private] rename command-line.rkt
to avoid auto-complete conflicts with `common.rkt`
|
2016-06-27 16:00:01 -04:00 |
|
Ben Greenman
|
1592cb08f1
|
[private] add s-exp printer output
|
2016-06-27 16:00:01 -04:00 |
|
Ben Greenman
|
ff9c7053db
|
[math] add quotient
|
2016-06-27 16:00:01 -04:00 |
|
Ben Greenman
|
e5e622b79b
|
[private] add command-line LOG output summarizer
|
2016-06-27 16:00:01 -04:00 |
|
Ben Greenman
|
066d89d993
|
** add/expose parameter for logging 'hits'
|
2016-06-27 16:00:01 -04:00 |
|
Ben Greenman
|
dc0c4bcad8
|
[popl-2017] checkpoint, time to run evaluation
|
2016-06-27 16:00:01 -04:00 |
|
Ben Greenman
|
5699412c00
|
** fix typo in license
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
1e75b0ad37
|
[popl-2017] outlined
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
b541eede94
|
[popl] some Rust code
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
86634e83e2
|
[popl-2017] checkpoint: getting organized
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
911d376361
|
[math] better expt: when only exponent is known
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
d43d918486
|
[popl-2017] on your marks
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
b42a1af316
|
[rebuttal] add markdown syntax
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
8c74839e0c
|
[rebuttal] final, but maybe has typos
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
316eaa9001
|
[icfp] micro implementation of vector/length
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
17ca97b697
|
[rebuttal] final version?
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
203fcf2fbf
|
[rebuttal] add todays matthias comments
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
992412f525
|
[rebuttal] typo + redo detailed comments
|
2016-06-27 16:00:00 -04:00 |
|
Ben Greenman
|
ddf5a59948
|
[rebuttal] matthias edits
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
053c44aa78
|
[rebuttal] post-meething
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
7e601b0ad8
|
[rebuttal] 2nd draft
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
522b407b53
|
[rebuttal] propAgate
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
7a933236b5
|
[rebuttal] remove last of ~a
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
4e1a975238
|
[rebuttal] 1st draft of response
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
befb2f4be4
|
[rebuttal] fix footnote typo
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
f880e95528
|
[rebuttal] typo: meant to use ~s
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
25be781ef5
|
[rebuttal] remove unused 'DSL' abbrev
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
e4cc578b5e
|
[rebuttal] printf in other languages
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
5cd1971004
|
[rebuttal] clarify technique / library
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
c1c0f157fe
|
[rebuttal] fix evaluator typo
|
2016-06-27 15:59:59 -04:00 |
|
Ben Greenman
|
272d1ad1ff
|
[rebuttal] fix inconsistent capitalization
|
2016-06-27 15:59:58 -04:00 |
|