index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
Commit message (
Collapse
)
Author
Age
*
A simpler context encoding
Adam Chlipala
2008-07-20
|
*
Form binding parameters threaded through
Adam Chlipala
2008-07-20
|
*
Dynamic arena allocation
Adam Chlipala
2008-07-17
|
*
Proper escaping of cdata
Adam Chlipala
2008-07-17
|
*
MonoShake
Adam Chlipala
2008-07-17
|
*
Untangle
Adam Chlipala
2008-07-17
|
*
Compiled mutual 'val rec'
Adam Chlipala
2008-07-17
|
*
Parsing and elaborating (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Three-argument web function test
Adam Chlipala
2008-07-13
|
*
Multiple arguments to web functions
Adam Chlipala
2008-07-13
|
*
Passing an argument to a web function
Adam Chlipala
2008-07-13
|
*
Proper handling of non-function-call links
Adam Chlipala
2008-07-13
|
*
Closure code generation almost there
Adam Chlipala
2008-07-13
|
*
Starting with closure links
Adam Chlipala
2008-07-13
|
*
Remove closure conversion in favor of zany fun with modules, which also ↵
Adam Chlipala
2008-07-13
|
|
|
|
replaces 'page'
*
More with attributes and efficient serialization
Adam Chlipala
2008-07-10
|
*
Stringifying attributes
Adam Chlipala
2008-07-10
|
*
Initial HTML attributes support
Adam Chlipala
2008-07-10
|
*
page declaration, up through monoize
Adam Chlipala
2008-07-10
|
*
Fill in more types during closure conversion
Adam Chlipala
2008-07-10
|
*
Simplify HTML examples, until the dispatching is ready
Adam Chlipala
2008-07-03
|
*
Monoizing joins and tags
Adam Chlipala
2008-07-03
|
*
Monoizing cdata
Adam Chlipala
2008-07-03
|
*
More fun with HTML
Adam Chlipala
2008-07-03
|
*
XML tags with contents
Adam Chlipala
2008-07-03
|
*
Basic XML stuff
Adam Chlipala
2008-07-03
|
*
Fancier head normalization pushed inside of Disjoint
Adam Chlipala
2008-07-03
|
*
Tested constraints through functors
Adam Chlipala
2008-07-01
|
*
Constraints in modules
Adam Chlipala
2008-07-01
|
*
Push KUnit and CUnit through the phases
Adam Chlipala
2008-07-01
|
*
More with disjointness assumptions
Adam Chlipala
2008-07-01
|
*
Disjointness assumptions in expressions
Adam Chlipala
2008-07-01
|
*
Disjointness assumptions
Adam Chlipala
2008-07-01
|
*
Threading disjointness conditions through Elaborate
Adam Chlipala
2008-07-01
|
*
Initial disjointness prover
Adam Chlipala
2008-07-01
|
*
More hardcore unification
Adam Chlipala
2008-06-29
|
*
Implicit structure members
Adam Chlipala
2008-06-29
|
*
Another test of broad unification
Adam Chlipala
2008-06-29
|
*
Broaden unification context
Adam Chlipala
2008-06-29
|
*
Folding through a functor
Adam Chlipala
2008-06-26
|
*
Reduce efold
Adam Chlipala
2008-06-26
|
*
Corify efold
Adam Chlipala
2008-06-26
|
*
Elaborate efold
Adam Chlipala
2008-06-26
|
*
Cjrize cfold
Adam Chlipala
2008-06-26
|
*
Elaborating cfold
Adam Chlipala
2008-06-26
|
*
Proper subsignaturing for sub-structures
Adam Chlipala
2008-06-26
|
*
Proper subsignaturing for sub-signatures
Adam Chlipala
2008-06-26
|
*
Proper hiding of shadowed bindings in principal signatures
Adam Chlipala
2008-06-26
|
*
Signature duplicate entry checking for principal signatures
Adam Chlipala
2008-06-22
|
*
Signature duplicate entry checking
Adam Chlipala
2008-06-22
|
[next]