log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/mono_print.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-16
tip
age
author
description
2012-01-07
Adam Chlipala
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
2010-12-23
Adam Chlipala
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
2010-09-07
Adam Chlipala
Server-side 'onError'
2010-09-05
Adam Chlipala
tryDml
2010-07-27
Adam Chlipala
Roll back WHERE checking
2010-07-27
Adam Chlipala
equalAny policies
2010-07-27
Adam Chlipala
Initial version of equalKnown working for secret
2010-04-11
Adam Chlipala
sendOwnIds policies
2010-04-11
Adam Chlipala
Update policies
2010-04-11
Adam Chlipala
Delete policies
2010-04-11
Adam Chlipala
Insert policies
2010-04-08
Adam Chlipala
Change query_policy to sendClient; all arguments passed to SQL predicates are variables
2010-04-04
Adam Chlipala
Pushing policies through
2010-01-03
Adam Chlipala
Proper C-side deserialization; Shake.sliceDb
2009-12-31
Adam Chlipala
Eta-expand bodies of transaction functions in Monoization, to enable later optimization
2009-12-31
Adam Chlipala
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
less
more
|
(0)
-16
tip