Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | |||
* | [De]serialization of times in JavaScript; proper integer division in ↵ | Adam Chlipala | 2010-12-23 |
| | | | | JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types | ||
* | Periodic tasks | Adam Chlipala | 2010-12-18 |
| | |||
* | Change tasks to support parametric code; add clientLeaves | Adam Chlipala | 2010-12-18 |
| | |||
* | postBody type | Adam Chlipala | 2010-12-18 |
| | |||
* | minHeap option in .urp files | Adam Chlipala | 2010-12-11 |
| | |||
* | More accurate/conservative leaky type detection in CjrPrint | Adam Chlipala | 2010-11-28 |
| | |||
* | Fix a bug in C list unurlification | Adam Chlipala | 2010-11-21 |
| | |||
* | In FastCGI, signal 304 with a header, not the usual HTTP/1.1 line | Adam Chlipala | 2010-11-20 |
| | |||
* | Interface for setting memory limits | Adam Chlipala | 2010-10-14 |
| | |||
* | Support empty datatypes, which can now be generated via 'variant []' | Adam Chlipala | 2010-09-09 |
| | |||
* | 'tryDml' works with Postgres | Adam Chlipala | 2010-09-07 |
| | |||
* | Server-side 'onError' | Adam Chlipala | 2010-09-07 |
| | |||
* | tryDml | Adam Chlipala | 2010-09-05 |
| | |||
* | Better UTF-8 escaping for JavaScript and SQL literals | Adam Chlipala | 2010-08-10 |
| |