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.sml
Commit message (
Expand
)
Author
Age
*
Finishes initial prototype, caching parameterless pages with table-match-base...
Ziv Scully
2014-05-27
*
ML half of initial prototype. (Doesn't compile because there's no C yet.)
Ziv Scully
2014-03-25
*
Identifies tables read or touched by queries.
Ziv Scully
2014-03-08
*
neverInline
Adam Chlipala
2014-02-09
*
New compiler option: -stop
Adam Chlipala
2014-01-19
*
Add 'html5' .urp directive
Adam Chlipala
2014-01-09
*
noMangleSql .urp directive
Adam Chlipala
2014-01-04
*
compileC: Link libraries in the right order
Anders Kaseorg
2013-11-21
*
Add -ccompiler command line argument
Sergey Mironov
2013-08-20
*
Get -root working properly again
Adam Chlipala
2013-09-26
*
Add Sigcheck phase to avoid issues with signatures in global initializers
Adam Chlipala
2013-06-15
*
Attempt to get more static linking for OpenSSL
Adam Chlipala
2013-03-19
*
Make Scriptcheck catch more script/message-passing uses, and move the phase e...
Adam Chlipala
2013-03-15
*
Switch linker order
Adam Chlipala
2012-10-20
*
Edward Z. Yang's patch to avoid repeating linker arguments
Adam Chlipala
2012-09-19
*
Added 'coreInline' and 'monoInline' .urp options
Vladimir Shabanov
2012-09-04
*
New NameJs phase, still needing some debugging
Adam Chlipala
2012-08-02
*
Basis.getenv
Adam Chlipala
2012-08-02
*
Flush elaboration cache when switching between .urp files
Adam Chlipala
2012-06-23
*
Proper error messages for missing source files
Adam Chlipala
2012-05-26
*
New optional suffice for 'rewrite' in .urp files: [-]
Adam Chlipala
2012-05-06
*
Report which files lead to duplicate module names
Adam Chlipala
2012-05-04
*
Add support for -boot flag, which allows in-tree execution of Ur/Web
Edward Z. Yang
2012-05-02
*
Catch duplicate top-level module names; fix dropping of constraints during in...
Adam Chlipala
2012-05-03
*
'urweb daemon start' and 'urweb daemon stop'
Adam Chlipala
2012-04-29
*
Initial support for reusing elaboration results
Adam Chlipala
2012-04-29
*
'linker' .urp directive
Adam Chlipala
2012-04-22
*
Delete C temporary directories, even if other files wind up there
Adam Chlipala
2012-03-13
*
-dumpSource flag; Especialize tweak: may specialize any argument sequence end...
Adam Chlipala
2012-01-12
*
Change linking argument order, based on reported problems in Ubuntu 11.10
Adam Chlipala
2012-01-05
*
Allow .urp libraries to set prefix
Adam Chlipala
2011-12-17
*
timeFormat .urp directive
Adam Chlipala
2011-12-04
*
Yet another fix to previous change
Adam Chlipala
2011-11-20
*
Fix bug in previous change
Adam Chlipala
2011-11-20
*
Don't treat comment-only lines as blank, in determining split point of .urp f...
Adam Chlipala
2011-11-20
*
Better error messages about server-side use of client-side functions
Adam Chlipala
2011-11-14
*
Disable C optimization in debug mode
Adam Chlipala
2011-09-11
*
Compiler frees as much memory as possible before passing control to C compiler
Adam Chlipala
2011-08-15
*
Configure correct C compiler options for Pthreads
Adam Chlipala
2011-08-04
*
Remove some GCC-specific identifier choice and documentation
Adam Chlipala
2011-08-02
*
A few more tweaks to support Clang (including ending use of nested functions)
Adam Chlipala
2011-07-23
*
Stop using -fno-inline by default
Adam Chlipala
2011-07-23
*
For non-debug builds, leave out source location info in what is shown to user
Adam Chlipala
2011-07-03
*
'noXsrfProtection' .urp directive
Adam Chlipala
2011-06-24
*
Fixes to work nicely with OS X and Clang (thanks to Austin Seipp)
Adam Chlipala
2011-06-17
*
Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)
Adam Chlipala
2011-06-15
*
getHeader and setHeader
Adam Chlipala
2011-05-29
*
Change order of linking database libraries to satisfy Cygwin
Adam Chlipala
2011-03-12
*
Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat c...
Adam Chlipala
2011-03-10
*
Use sigFile again; do redirects in a way that is compatible with FastCGI
Adam Chlipala
2011-01-20
[next]