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
/
compiler.sig
Commit message (
Collapse
)
Author
Age
*
getHeader and setHeader
Adam Chlipala
2011-05-29
|
*
Add an extra Especialize pass before Rpcify
Adam Chlipala
2010-12-24
|
*
minHeap option in .urp files
Adam Chlipala
2010-12-11
|
*
Server-side 'onError'
Adam Chlipala
2010-09-07
|
*
Another run of Specialize, using ReduceLocal on datatype parameters
Adam Chlipala
2010-06-05
|
*
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
*
-moduleOf command-line option; compatibility fixes and better error messages ↵
Adam Chlipala
2010-05-27
|
|
|
|
for SQLite
*
Command-line use of Iflow
Adam Chlipala
2010-04-13
|
*
Generated basic dummy Iflow conditions
Adam Chlipala
2010-04-04
|
*
Remove unpoly1
Adam Chlipala
2010-03-16
|
*
safeGet
Adam Chlipala
2010-03-09
|
*
Got split1 working, but noticed a nasty type inference bug with transplanted ↵
Adam Chlipala
2010-03-06
|
|
|
|
unification variables
*
benignEffectful
Adam Chlipala
2010-02-27
|
*
Basic analysis of tag and CSS class usage
Adam Chlipala
2010-02-27
|
*
sigfile directive
Adam Chlipala
2010-02-11
|
*
Module roots
Adam Chlipala
2009-12-24
|
*
Convenience libifying; allow more NULLs with globals
Adam Chlipala
2009-12-24
|
*
Alternate job-parsing interface, to avoid merging library directives
Adam Chlipala
2009-12-22
|
*
Especialize uses a termination measure based on number of arguments introduced
Adam Chlipala
2009-12-15
|
*
Shake bug fix; pattern reduction in ReduceLocal
Adam Chlipala
2009-12-08
|
*
Refactor compile functions; allow empty tag contents
Adam Chlipala
2009-11-25
|
*
RPC uses VM support for call/cc
Adam Chlipala
2009-10-25
|
*
Inlining threshold for Mono_reduce
Adam Chlipala
2009-10-25
|
*
Grid changed to use Dlist.replace; filters stopped working
Adam Chlipala
2009-09-17
|
*
dragList almost kinda works
Adam Chlipala
2009-09-08
|
*
Working on Grid; have gone from one dynamic table bizareness to another
Adam Chlipala
2009-07-19
|
*
Demo working with MySQL
Adam Chlipala
2009-07-16
|
*
Start of multi-DBMS support
Adam Chlipala
2009-06-28
|
*
Improving/reordering Unpoly and Especialize; pathmaps
Adam Chlipala
2009-05-14
|
*
allow/deny working in Mono_opt
Adam Chlipala
2009-05-02
|
*
Path rewriting
Adam Chlipala
2009-05-02
|
*
More FFI compiler options
Adam Chlipala
2009-05-02
|
*
Successfully influenced effectful-ness status of FFI func
Adam Chlipala
2009-05-02
|
*
C FFI compiler options
Adam Chlipala
2009-04-30
|
*
Reading blobs from the database
Adam Chlipala
2009-04-26
|
*
Effectness analysis
Adam Chlipala
2009-04-16
|
*
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when ↵
Adam Chlipala
2009-04-04
|
|
|
|
no dyns are active
*
Marshalcheck
Adam Chlipala
2009-03-28
|
*
Variable timeouts and client keep-alive
Adam Chlipala
2009-03-24
|
*
Avoid any JavaScript when pages don't need it; update demo prose
Adam Chlipala
2009-03-10
|
*
Conversion of functions to CPS, to facilitate ServerCall
Adam Chlipala
2009-03-08
|
*
Start of RPCification
Adam Chlipala
2009-02-14
|
*
Initial experiments with nested <dyn>
Adam Chlipala
2009-01-13
|
*
Handling singnal bind
Adam Chlipala
2008-12-21
|
*
Start of JsComp
Adam Chlipala
2008-12-20
|
*
Stop using redundant Defunc pass
Adam Chlipala
2008-11-27
|
*
Fusing writes with recursive function calls
Adam Chlipala
2008-11-25
|
*
Profiling support
Adam Chlipala
2008-11-20
|
*
Get preliminary ThreadedBlog working
Adam Chlipala
2008-11-11
|
*
Defunctionalization gets CommentBlog working
Adam Chlipala
2008-11-09
|
[next]