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
/
explify.sml
Commit message (
Collapse
)
Author
Age
*
Destructing local let, to the point where demo compiles
Adam Chlipala
2009-05-28
|
*
Mutual datatypes through Corify
Adam Chlipala
2009-05-16
|
*
Mutual datatypes through Elaborate
Adam Chlipala
2009-05-16
|
*
A view query works
Adam Chlipala
2009-04-28
|
*
Stop tracking CSS classes in XML types
Adam Chlipala
2009-04-12
|
*
style declarations
Adam Chlipala
2009-04-12
|
*
PRIMARY KEY
Adam Chlipala
2009-04-07
|
*
Track uniqueness sets in table types
Adam Chlipala
2009-04-07
|
*
UNIQUE constraints
Adam Chlipala
2009-04-07
|
*
Switch to TDisjoint from CDisjoint; still need to implement obligation ↵
Adam Chlipala
2009-02-24
|
|
|
|
generation at EDisjoint uses
*
Kind polymorphism through Explify
Adam Chlipala
2009-02-22
|
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ↵
Adam Chlipala
2009-02-22
|
|
|
|
updated Basis/Top
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
|
*
Initial conversion to arbitrary-kind classes
Adam Chlipala
2008-12-19
|
*
Add CutMulti
Adam Chlipala
2008-11-11
|
*
Cookies through explify
Adam Chlipala
2008-11-06
|
*
Explify 'let'
Adam Chlipala
2008-11-01
|
*
Replace 'with' with '++'
Adam Chlipala
2008-10-31
|
*
Merge CDisjoint and TDisjoint
Adam Chlipala
2008-10-04
|
*
Crud supports INSERT
Adam Chlipala
2008-09-14
|
*
SQL sequences
Adam Chlipala
2008-09-14
|
*
queryX
Adam Chlipala
2008-09-13
|
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
|
*
Explify tables
Adam Chlipala
2008-08-31
|
*
Resolving lingering type class constraints
Adam Chlipala
2008-08-21
|
*
Explifying type classes
Adam Chlipala
2008-08-16
|
*
Initial type class support
Adam Chlipala
2008-08-16
|
*
-timing option for command-line compiler
Adam Chlipala
2008-08-16
|
*
Parsing and elaborating 'table'
Adam Chlipala
2008-08-14
|
*
Parametrized datatypes through explify
Adam Chlipala
2008-08-08
|
*
Datatype representation optimization
Adam Chlipala
2008-08-03
|
*
Compiled pattern matching to C
Adam Chlipala
2008-08-03
|
*
Case through explify
Adam Chlipala
2008-07-31
|
*
Elaborating some basic pattern matching
Adam Chlipala
2008-07-31
|
*
Add datatype import constructor annotations; datatypes through explify
Adam Chlipala
2008-07-29
|
*
Start of datatype support
Adam Chlipala
2008-07-24
|
*
Record cut
Adam Chlipala
2008-07-24
|
*
Explifying (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Parsing and elaborating (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Remove closure conversion in favor of zany fun with modules, which also ↵
Adam Chlipala
2008-07-13
|
|
|
|
replaces 'page'
*
page declaration, up through monoize
Adam Chlipala
2008-07-10
|
*
Constraints in modules
Adam Chlipala
2008-07-01
|
*
Push KUnit and CUnit through the phases
Adam Chlipala
2008-07-01
|
*
Disjointness assumptions in expressions
Adam Chlipala
2008-07-01
|
*
Disjointness assumptions
Adam Chlipala
2008-07-01
|
*
Initial disjointness prover
Adam Chlipala
2008-07-01
|
*
Broaden unification context
Adam Chlipala
2008-06-29
|
*
Explify efold
Adam Chlipala
2008-06-26
|
*
Elaborate efold
Adam Chlipala
2008-06-26
|
*
Explify cfold
Adam Chlipala
2008-06-26
|
[next]