log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/shake.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-30
tip
age
author
description
2010-09-07
Adam Chlipala
Server-side 'onError'
2010-05-27
Adam Chlipala
Consider view declarations while shaking
2010-04-04
Adam Chlipala
Pushing policies through
2010-01-03
Adam Chlipala
Proper C-side deserialization; Shake.sliceDb
2009-12-31
Adam Chlipala
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
2009-12-20
Adam Chlipala
Another try at reasonable Especialize, this time with a custom traversal
2009-12-15
Adam Chlipala
Convert to task syntax
2009-12-13
Adam Chlipala
Initializers and setval
2009-12-08
Adam Chlipala
Shake bug fix; pattern reduction in ReduceLocal
2009-12-08
Adam Chlipala
Fix a Shake bug that led to missing some cons
2009-10-25
Adam Chlipala
RPC uses VM support for call/cc
2009-09-17
Adam Chlipala
Basic tail recursion introduction seems to be working
2009-08-22
Adam Chlipala
Convert to requiring explicit 'rpc' marker
2009-05-16
Adam Chlipala
Mutual datatypes through Effectize
2009-04-28
Adam Chlipala
A view query works
2009-04-12
Adam Chlipala
Stop tracking CSS classes in XML types
2009-04-12
Adam Chlipala
style declarations
2009-04-07
Adam Chlipala
PRIMARY KEY
2009-04-07
Adam Chlipala
Track uniqueness sets in table types
2009-04-07
Adam Chlipala
UNIQUE constraints
2009-02-15
Adam Chlipala
First gimpy RPC
2009-02-14
Adam Chlipala
Start of RPCification
2008-11-06
Adam Chlipala
Cookies through shake2
2008-11-02
Adam Chlipala
Almost have that nested save function compiling
2008-09-14
Adam Chlipala
SQL sequences
2008-09-02
Adam Chlipala
'database' declaration threaded through compiler
2008-08-31
Adam Chlipala
Fix shaking of tables
2008-08-31
Adam Chlipala
Corify tables
2008-08-08
Adam Chlipala
Parametrized datatypes through corify
2008-07-29
Adam Chlipala
Datatypes through corify
less
more
|
(0)
-30
tip