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
/
src
/
corify.sml
Commit message (
Expand
)
Author
Age
...
*
Converting string to int
Adam Chlipala
2008-09-07
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
*
Monoize transaction identifiers; improve disjointness prover on irreducible f...
Adam Chlipala
2008-08-31
*
Corify transaction wrappers
Adam Chlipala
2008-08-31
*
Corify tables
Adam Chlipala
2008-08-31
*
Explify tables
Adam Chlipala
2008-08-31
*
Corifying con-tuples
Adam Chlipala
2008-08-16
*
Explifying type classes
Adam Chlipala
2008-08-16
*
'Option' datatype encoding
Adam Chlipala
2008-08-09
*
A multi-parameter datatype all the way through
Adam Chlipala
2008-08-09
*
Specialization of single-parameter datatypes
Adam Chlipala
2008-08-08
*
Parametrized datatypes through corify
Adam Chlipala
2008-08-08
*
Parametrized datatypes through explify
Adam Chlipala
2008-08-08
*
Datatype representation optimization
Adam Chlipala
2008-08-03
*
bool in Basis
Adam Chlipala
2008-08-03
*
FFI datatypes
Adam Chlipala
2008-08-03
*
Compiled pattern matching to C
Adam Chlipala
2008-08-03
*
Case through corify
Adam Chlipala
2008-08-02
*
Case through explify
Adam Chlipala
2008-07-31
*
Datatypes through corify
Adam Chlipala
2008-07-29
*
Add datatype import constructor annotations; datatypes through explify
Adam Chlipala
2008-07-29
*
Record cut
Adam Chlipala
2008-07-24
*
Meta-programming forms
Adam Chlipala
2008-07-22
*
Fix opening and corifying of functors
Adam Chlipala
2008-07-22
*
Simple forms work
Adam Chlipala
2008-07-22
*
Form binding parameters threaded through
Adam Chlipala
2008-07-20
*
Compiled mutual 'val rec'
Adam Chlipala
2008-07-17
*
Corifying (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
*
Explifying (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
*
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
*
Writing HTML
Adam Chlipala
2008-07-10
*
page declaration, up through monoize
Adam Chlipala
2008-07-10
*
Push KUnit and CUnit through the phases
Adam Chlipala
2008-07-01
*
Corify efold
Adam Chlipala
2008-06-26
*
Explify efold
Adam Chlipala
2008-06-26
*
Corify cfold
Adam Chlipala
2008-06-26
*
Explify cfold
Adam Chlipala
2008-06-26
*
Better FFI function handling
Adam Chlipala
2008-06-22
*
Detecting FFI functions
Adam Chlipala
2008-06-22
*
Start of FFI
Adam Chlipala
2008-06-22
*
Corifying functors
Adam Chlipala
2008-06-19
*
Explifying functors
Adam Chlipala
2008-06-19
*
Corify removes modules
Adam Chlipala
2008-06-19
*
Elaborating module projection
Adam Chlipala
2008-06-17
*
Simple signature matching
Adam Chlipala
2008-06-12
*
Translation to Cjr
Adam Chlipala
2008-06-10
*
Closure conversion
Adam Chlipala
2008-06-10
*
Conversion to Core
Adam Chlipala
2008-06-08
[prev]