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 (
Expand
)
Author
Age
...
*
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
*
Nested save compiles
Adam Chlipala
2008-11-01
*
First Unnest tests working
Adam Chlipala
2008-11-01
*
Especialize
Adam Chlipala
2008-10-30
*
Avoid using libpq when unneeded
Adam Chlipala
2008-10-26
*
Support for URL prefixes that works with local demo
Adam Chlipala
2008-10-19
*
Proper generation of relation names; checking that sequences exist
Adam Chlipala
2008-10-19
*
Small clean-ups in crud; Compiler.check
Adam Chlipala
2008-10-04
*
Unpoly non-recursive function
Adam Chlipala
2008-09-11
*
Termination checking
Adam Chlipala
2008-09-09
*
Ran a prepared statement with one string parameter
Adam Chlipala
2008-09-07
*
Generating SQL files
Adam Chlipala
2008-09-02
*
Parsing jobs
Adam Chlipala
2008-09-02
*
Monoize ASC/DESC
Adam Chlipala
2008-08-31
*
Avoid unnecessary WHERE clause
Adam Chlipala
2008-08-31
*
Laconic -> Ur
Adam Chlipala
2008-08-31
*
Finish moving all phases to the new interface
Adam Chlipala
2008-08-12
*
Consolidating compiler phase interface and adding timing
Adam Chlipala
2008-08-12
*
Specialization of single-parameter datatypes
Adam Chlipala
2008-08-08
*
Optimizing 'case' in Mono_reduce
Adam Chlipala
2008-08-03
*
MonoShake
Adam Chlipala
2008-07-17
*
MonoReduce
Adam Chlipala
2008-07-17
*
Proper topological sorting in untangle
Adam Chlipala
2008-07-17
*
Untangle
Adam Chlipala
2008-07-17
*
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
*
Mono optimizations (start with string concat and space eating)
Adam Chlipala
2008-07-03
*
Separate compilation and automatic basis importation
Adam Chlipala
2008-06-22
*
Parsing signature files
Adam Chlipala
2008-06-22
*
Corify removes modules
Adam Chlipala
2008-06-19
*
Explify
Adam Chlipala
2008-06-19
*
Simple signature matching
Adam Chlipala
2008-06-12
*
Translation to Cjr
Adam Chlipala
2008-06-10
*
Closure conversion
Adam Chlipala
2008-06-10
*
Monoize
Adam Chlipala
2008-06-10
*
Tree-shaking
Adam Chlipala
2008-06-08
*
Some con reducing
Adam Chlipala
2008-06-08
*
Conversion to Core
Adam Chlipala
2008-06-08
*
Elaborating files
Adam Chlipala
2008-01-26
*
Rename Laconic* modules to Source*
Adam Chlipala
2008-01-26
*
Initial parsing and pretty-printing
Adam Chlipala
2008-01-26
[prev]