log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log lib/ur/list.urs
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
age
author
description
2009-12-31
Adam Chlipala
Eta-expand bodies of transaction functions in Monoization, to enable later optimization
2009-12-05
Adam Chlipala
Represent FFI function names as strings, to deal with cross-file recursion
2009-09-08
Adam Chlipala
dragList almost kinda works
2009-08-22
Adam Chlipala
Convert to requiring explicit 'rpc' marker
2009-06-16
Adam Chlipala
Fix a variable capture bug in nested JavaScript; some more list stuff
2009-06-09
Adam Chlipala
Some standard library reorgs and additions; handle mutual datatypes better in Specialize
2009-06-09
Adam Chlipala
Mark current as effectful; add List functions
2009-06-07
Adam Chlipala
Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
2009-06-07
Adam Chlipala
List.all; fix ANDALSO/ORELSE parsing precedence
2009-06-06
Adam Chlipala
Fix unbound name problem in Jscomp injectors; more List stuff
2009-06-06
Adam Chlipala
List library additions; fix another substructure unification bug
2009-05-30
Adam Chlipala
Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly
2009-05-28
Adam Chlipala
fn-pattern code in but not tested yet; hello compiles
2009-05-26
Adam Chlipala
Chars and more string operations
2009-05-14
Adam Chlipala
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
2009-05-14
Adam Chlipala
Fix a nasty binding bug in CoreUtil
2009-05-14
Adam Chlipala
Improving/reordering Unpoly and Especialize; pathmaps
less
more
|
(0)
tip