index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
Start of bidding implementation compiles
Adam Chlipala
2009-10-31
|
*
Use call/cc for recv and sleep
Adam Chlipala
2009-10-25
|
*
RPC uses VM support for call/cc
Adam Chlipala
2009-10-25
|
*
Always inline records
Adam Chlipala
2009-10-25
|
*
Extend Fuse to work on non-recursive functions
Adam Chlipala
2009-10-25
|
*
Inlining threshold for Mono_reduce
Adam Chlipala
2009-10-25
|
*
Inlining threshold for Reduce
Adam Chlipala
2009-10-25
|
*
Factor Dnat into separate module
Adam Chlipala
2009-10-25
|
*
Chars working with SQLite
Adam Chlipala
2009-10-22
|
*
Get char working with MySQL
Adam Chlipala
2009-10-22
|
*
Setting and updating your own review
Adam Chlipala
2009-10-22
|
*
Initial support for char in SQL
Adam Chlipala
2009-10-22
|
*
authorship table
Adam Chlipala
2009-10-22
|
*
Viewing papers
Adam Chlipala
2009-10-22
|
*
Move stuff from bulkEdit to meta
Adam Chlipala
2009-10-22
|
*
Title and abstract
Adam Chlipala
2009-10-22
|
*
Checking deadline; sign-in
Adam Chlipala
2009-10-22
|
*
Saving changes to user list
Adam Chlipala
2009-10-20
|
*
Start of user management
Adam Chlipala
2009-10-20
|
*
Registering for Conference1
Adam Chlipala
2009-10-20
|
*
Adapted existing demos to tuple pattern-matching
Adam Chlipala
2009-10-20
|
*
Add tuple pattern-matching at the constructor level
Adam Chlipala
2009-10-20
|
*
Better subSgn error locations
Adam Chlipala
2009-10-15
|
*
New release
Adam Chlipala
2009-10-12
|
*
Fix some MySQL hijinks
Adam Chlipala
2009-10-12
|
*
Put right date stamp in CHANGELOG
Adam Chlipala
2009-10-09
|
*
New release
Adam Chlipala
2009-10-09
|
*
Versioned1 demo working
Adam Chlipala
2009-10-06
|
*
Initial versioned1 demo working
Adam Chlipala
2009-10-06
|
*
SELECT DISTINCT; eta expansion during Cjrization
Adam Chlipala
2009-10-06
|
*
Finalized Orm1 demo
Adam Chlipala
2009-10-06
|
*
Initial Orm1 demo
Adam Chlipala
2009-10-06
|
*
Fix a de Bruijn index bug in map fusion
Adam Chlipala
2009-10-06
|
*
Orm searching
Adam Chlipala
2009-10-05
|
*
Basic CRUD operations in Orm
Adam Chlipala
2009-10-05
|
*
Better location calculation for record unification error messages; infer ↵
Adam Chlipala
2009-10-05
|
|
|
|
kind arguments to module-projected variables
*
Mangle local table names to avoid keyword clashes in SQL
Adam Chlipala
2009-10-05
|
*
New release
Adam Chlipala
2009-09-26
|
*
Whitelisting tags that may be self-closed
Adam Chlipala
2009-09-26
|
*
Add tail call optimization to interpretation
Adam Chlipala
2009-09-24
|
*
Grid1 seems to work in latest Firefox
Adam Chlipala
2009-09-24
|
*
Fix sel() generation bug
Adam Chlipala
2009-09-24
|
*
demo/more compiles; small problem left with foreign keys in Grid1
Adam Chlipala
2009-09-24
|
*
Main demo pieces all seem to work with interpretation
Adam Chlipala
2009-09-24
|
*
demo/increment works with interpretation
Adam Chlipala
2009-09-24
|
*
Might have fixed demo/listEdit
Adam Chlipala
2009-09-24
|
*
demo/react works with interpretation
Adam Chlipala
2009-09-22
|
*
Quoting JavaScript working
Adam Chlipala
2009-09-22
|
*
Compiled an 'option' pattern-match
Adam Chlipala
2009-09-22
|
*
More interpreter debugging
Adam Chlipala
2009-09-22
|
[next]