Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | The 2nd half of proper CSRF protection related to environment variables | Adam Chlipala | 2015-02-12 |
| | |||
* | New phase: Dbmodecheck | Adam Chlipala | 2014-08-17 |
| | |||
* | Differentiate between HTML and normal string literals | Adam Chlipala | 2014-08-01 |
| | |||
* | New .urp directive: file | Adam Chlipala | 2014-07-31 |
| | |||
* | Add 'html5' .urp directive | Adam Chlipala | 2014-01-09 |
| | |||
* | Fix compilation of apps that don't use database; fix HTTP pipelining | Adam Chlipala | 2013-12-17 |
| | |||
* | Start SQL transactions as read-only when possible, based on conservative ↵ | Adam Chlipala | 2013-12-12 |
| | | | | program analysis | ||
* | Only output Content-script-type header when there is client-side code | Adam Chlipala | 2013-12-12 |
| | |||
* | Change handling of returned text blobs, to activate the normal EWrite ↵ | Adam Chlipala | 2013-12-11 |
| | | | | optimizations | ||
* | Fix regression in http.c for long-polling connections; add lazy ↵ | Adam Chlipala | 2013-12-11 |
| | | | | initialization of database connections, to avoid the overhead in handlers that don't use SQL | ||
* | Remove uw_cutErrorLocation() hijinks | Adam Chlipala | 2013-10-10 |
| | |||
* | Detect more SQL uses without 'database' directive | Adam Chlipala | 2013-09-30 |
| | |||
* | Fixed HTTP date format and added Cache-Control to app.js | Vladimir Shabanov | 2012-09-12 |
| | |||
* | Basis.getenv | Adam Chlipala | 2012-08-02 |
| | |||
* | Support fancy expressions in module-level 'val' declarations | Adam Chlipala | 2012-07-18 |
| | |||
* | Fix from Edward Yang to generation of 404 errors in FastCGI | Adam Chlipala | 2012-05-06 |
| | |||
* | Add support for -boot flag, which allows in-tree execution of Ur/Web | Edward Z. Yang | 2012-05-02 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | The boot flag rewrites most hardcoded paths to point to the build directory, and also forces static compilation. This is convenient for developing Ur/Web, or if you cannot 'sudo make install' Ur/Web. The following changes were made: * Header files were moved to include/urweb instead of include; this lets FFI users point their C_INCLUDE_PATH at this directory at write <urweb/urweb.h>. For internal Ur/Web executables, we simply pass -I$PATH/include/urweb as normal. * Differentiate between LIB and SRCLIB; SRCLIB is Ur and JavaScript source files, while LIB is compiled products from libtool. For in-tree compilation these live in different places. * No longer reference Config for paths; instead use Settings; these settings can be changed dynamically by Compiler.enableBoot () (TODO: add a disableBoot function.) * config.h is now generated directly in include/urweb/config.h, for consistency's sake (especially since it gets installed along with the rest of the headers!) * All of the autotools build products got updated. * The linkStatic field in protocols now only contains the name of the build product, and not the absolute path. Future users have to be careful not to reference the Settings files to early, lest they get an old version (this was the source of two bugs during development of this patch.) | ||
* | Include JavaScript files properly in error handler pages | Adam Chlipala | 2012-04-28 |
| | |||
* | Change <radio> to yield [option string] | Adam Chlipala | 2012-03-10 |
| | |||
* | Avoid URL size limit in RPCs with large arguments | Adam Chlipala | 2012-03-03 |
| | |||
* | Finish function argument order-of-operations fix | Adam Chlipala | 2012-01-07 |
| | |||
* | First part of changes to avoid depending on C function call argument order ↵ | Adam Chlipala | 2012-01-07 |
| | | | | of evaluation (omitting normal Ur function calls, so far) | ||
* | Fix handling of quotes in generating C literals | Adam Chlipala | 2012-01-02 |
| | |||
* | Fix C-side unurlification of unboxable Option datatypes | Adam Chlipala | 2011-12-17 |
| | |||
* | timeFormat .urp directive | Adam Chlipala | 2011-12-04 |
| | |||
* | Better error messages about non-SQL-izability of types | Adam Chlipala | 2011-12-03 |
| | |||
* | Catching integer divisions by zero | Adam Chlipala | 2011-12-03 |
| | |||
* | Fix server-side urlification of custom Option types | Adam Chlipala | 2011-11-25 |
| | |||
* | Include character encoding in HTTP response headers. | Karn Kallio | 2011-11-16 |
| | |||
* | Fix another list unurlification segfault bug; List.foldlMi | Adam Chlipala | 2011-08-21 |
| | |||
* | Add prototypes for [un]urlification functions | Adam Chlipala | 2011-08-21 |
| | |||
* | Fix crash in list unurlification | Adam Chlipala | 2011-08-21 |
| | |||
* | Add timestamps to 'app.js' filenames, to prevent inappropriate caching by ↵ | Adam Chlipala | 2011-08-19 |
| | | | | browsers | ||
* | Fix list urlification | Adam Chlipala | 2011-08-14 |
| | |||
* | Compile self-tail-calls as gotos | Adam Chlipala | 2011-08-02 |
| | |||
* | A few more tweaks to support Clang (including ending use of nested functions) | Adam Chlipala | 2011-07-23 |
| | |||
* | Change cookie signature comparison to resist timing attacks (based on code ↵ | Adam Chlipala | 2011-07-19 |
| | | | | suggested by Robin Green and Austin Seipp) | ||
* | 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 |
| | |||
* | getHeader and setHeader | Adam Chlipala | 2011-05-29 |
| | |||
* | Include type attribute in script tag for generating valid XHTML. | Karn Kallio | 2011-05-06 |
| | |||
* | Before allowing an indirect return, check (dynamically, for now) that we ↵ | Adam Chlipala | 2011-04-17 |
| | | | | aren't in an RPC handler | ||
* | Each context gets its own non-repeating sequence of source numbers | Adam Chlipala | 2011-04-09 |
| | |||
* | Fix C compilation of empty records; use DESTDIR in 'make install/uninstall' | Adam Chlipala | 2011-03-20 |
| | |||
* | Represent 'unit' as C 'int'; change pattern match compilation to avoid ↵ | Adam Chlipala | 2011-03-10 |
| | | | | 'goto'; change Postgres prepared statement compilation to make life easier for the GCC escape analysis; all this in support of better tail call optimization | ||
* | Some fixes for tasks and onError handlers | Adam Chlipala | 2011-01-20 |
| | |||
* | Infer more regions, for sequencing constructs | Adam Chlipala | 2011-01-13 |
| | |||
* | Ignore unknown names in query string name-value pairs; allow any side ↵ | Adam Chlipala | 2011-01-06 |
| | | | | effects by Extern URLs, without signature checking | ||
* | Detect missing 'database' directive; don't compile garbage C files | Adam Chlipala | 2011-01-06 |
| | |||
* | queryString and effectfulUrl | Adam Chlipala | 2010-12-26 |
| |