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 (
Expand
)
Author
Age
*
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 repla...
Adam Chlipala
2008-07-13
*
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
*
open
Adam Chlipala
2008-06-22
*
Subsignatures example
Adam Chlipala
2008-06-22
*
include
Adam Chlipala
2008-06-22
*
Separate compilation and automatic basis importation
Adam Chlipala
2008-06-22
*
Parsing signature files
Adam Chlipala
2008-06-22
*
Lexer/parser hacks to share code between regular and signature file parsers
Adam Chlipala
2008-06-22
*
Better FFI function handling
Adam Chlipala
2008-06-22
[next]