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
/
core_print.sml
Commit message (
Collapse
)
Author
Age
*
Some serious bug-fix work to get HTML example to compile; this includes ↵
Adam Chlipala
2010-06-03
|
|
|
|
fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
*
Pushing policies through
Adam Chlipala
2010-04-04
|
*
Basis.serialize; separate file for mhash; run transactional finishers in ↵
Adam Chlipala
2009-12-31
|
|
|
|
reverse order; set needs_sig properly
*
Convert to task syntax
Adam Chlipala
2009-12-15
|
*
Initializers and setval
Adam Chlipala
2009-12-13
|
*
RPC uses VM support for call/cc
Adam Chlipala
2009-10-25
|
*
Basic tail recursion introduction seems to be working
Adam Chlipala
2009-09-17
|
*
grid1 compiles but gets stuck in JS
Adam Chlipala
2009-08-25
|
*
Convert to requiring explicit 'rpc' marker
Adam Chlipala
2009-08-22
|
*
Mutual datatypes through Effectize
Adam Chlipala
2009-05-16
|
*
Fix a Core_untangle bug that missed closure variable references; XHTMLize
Adam Chlipala
2009-05-16
|
*
Fix a nasty binding bug in CoreUtil
Adam Chlipala
2009-05-14
|
*
Basis.list
Adam Chlipala
2009-04-30
|
*
A view query works
Adam Chlipala
2009-04-28
|
*
Effectness analysis
Adam Chlipala
2009-04-16
|
*
Label exported symbols by effect-ness; factor out some common datatypes
Adam Chlipala
2009-04-16
|
*
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
|
*
demo/hello compiles with kind polymorphism
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
|
*
First gimpy RPC
Adam Chlipala
2009-02-15
|
*
Export RPC functions and push RPC calls through to Mono
Adam Chlipala
2009-02-15
|
*
Start of RPCification
Adam Chlipala
2009-02-14
|
*
Add CutMulti
Adam Chlipala
2008-11-11
|
*
Get threadedBlog to work
Adam Chlipala
2008-11-11
|
*
Especialize working reasonably well; need to add new closure representation pass
Adam Chlipala
2008-11-09
|
*
Especialize handles records better
Adam Chlipala
2008-11-08
|
*
Cookies through shake2
Adam Chlipala
2008-11-06
|
*
Wrapping works in Blog
Adam Chlipala
2008-11-01
|
*
Replace 'with' with '++'
Adam Chlipala
2008-10-31
|
*
Crud supports INSERT
Adam Chlipala
2008-09-14
|
*
SQL sequences
Adam Chlipala
2008-09-14
|
*
Converting string to int
Adam Chlipala
2008-09-07
|
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
|
*
Corify tables
Adam Chlipala
2008-08-31
|
*
Laconic -> Ur
Adam Chlipala
2008-08-31
|
*
Corifying con-tuples
Adam Chlipala
2008-08-16
|
*
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
|
*
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
|
*
Datatypes through corify
Adam Chlipala
2008-07-29
|
[next]