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
*
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
*
Patch from Vladimir Shabanov to support crypt under OS X
Adam Chlipala
2011-01-16
*
Use -debug flag properly when compiling in single-source mode
Adam Chlipala
2011-01-15
*
Allow subqueries to reference aggregate-only columns of free tables; treat no...
Adam Chlipala
2011-01-15
*
alwaysInline .urp setting
Adam Chlipala
2011-01-13
*
Detect missing 'database' directive; don't compile garbage C files
Adam Chlipala
2011-01-06
*
Switch from libmhash to OpenSSL
Adam Chlipala
2010-12-26
*
Add an extra Especialize pass before Rpcify
Adam Chlipala
2010-12-24
*
Enforce character constraints on source filenames
Adam Chlipala
2010-12-16
*
Allow use of path variables in strings with no slashes
Adam Chlipala
2010-12-14
*
Better treatment of relative paths in .urp files
Adam Chlipala
2010-12-14
*
Fix merging of prefix settings
Adam Chlipala
2010-12-12
*
-prefix command-line option
Adam Chlipala
2010-12-12
*
minHeap option in .urp files
Adam Chlipala
2010-12-11
*
Comments in .urp files
Adam Chlipala
2010-12-11
*
Karn Kallio's patch for static mhash linking
Adam Chlipala
2010-11-18
*
Interface for setting memory limits
Adam Chlipala
2010-10-14
*
Shortcut invocations for single .ur files
Adam Chlipala
2010-09-07
*
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 fixin...
Adam Chlipala
2010-06-03
*
-moduleOf command-line option; compatibility fixes and better error messages ...
Adam Chlipala
2010-05-27
[next]