Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Adaptations to ezyang's patch | Adam Chlipala | 2012-05-03 |
| | |||
* | 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.) | ||
* | Ensure proper ordering of <script> execution, to bring identifiers into ↵ | Adam Chlipala | 2012-04-27 |
| | | | | scope in time | ||
* | Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday | Adam Chlipala | 2012-02-04 |
| | |||
* | 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) | ||
* | timeFormat .urp directive | Adam Chlipala | 2011-12-04 |
| | |||
* | Allow sources to be returned by RPCs | Adam Chlipala | 2011-12-03 |
| | |||
* | Primitive int/float functions: ceil, float, round, trunc | Adam Chlipala | 2011-10-08 |
| | |||
* | An abstract type of IDs | Adam Chlipala | 2011-09-03 |
| | |||
* | Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng) | Adam Chlipala | 2011-08-02 |
| | |||
* | Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds ↵ | Adam Chlipala | 2011-07-22 |
| | | | | and Basis.toSeconds | ||
* | Change cookie signature comparison to resist timing attacks (based on code ↵ | Adam Chlipala | 2011-07-19 |
| | | | | suggested by Robin Green and Austin Seipp) | ||
* | Basis.currentUrlHasQueryString | Adam Chlipala | 2011-07-03 |
| | |||
* | For non-debug builds, leave out source location info in what is shown to user | Adam Chlipala | 2011-07-03 |
| | |||
* | getHeader and setHeader | Adam Chlipala | 2011-05-29 |
| | |||
* | 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 |
| | |||
* | 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 | ||
* | Patch from Vladimir Shabanov to support implicit passing of 'time' values ↵ | Adam Chlipala | 2011-01-20 |
| | | | | from server to client | ||
* | More string processing | Adam Chlipala | 2011-01-13 |
| | |||
* | Some more string parsing functions; naughtyDebug | Adam Chlipala | 2011-01-11 |
| | |||
* | String processing optimizations | Adam Chlipala | 2011-01-11 |
| | |||
* | Basis.currentUrlHasPost | Adam Chlipala | 2011-01-06 |
| | |||
* | Basis.readUtc | Adam Chlipala | 2010-12-28 |
| | |||
* | queryString and effectfulUrl | Adam Chlipala | 2010-12-26 |
| | |||
* | Expose buffer type for other C libraries; replace minusSeconds with addSeconds | Adam Chlipala | 2010-12-26 |
| | |||
* | Changed uw_Basis_time to store microseconds | Adam Chlipala | 2010-12-24 |
| | |||
* | Fix Postgres date serialization | Adam Chlipala | 2010-12-24 |
| | |||
* | [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 | ||
* | Recursive record unification errors, for more detail | Adam Chlipala | 2010-12-23 |
| | |||
* | Basis.cdataChar | Adam Chlipala | 2010-12-21 |
| | |||
* | Use proper string time format for SQLite | Adam Chlipala | 2010-12-20 |
| | |||
* | Periodic tasks | Adam Chlipala | 2010-12-18 |
| | |||
* | postBody type | Adam Chlipala | 2010-12-18 |
| | |||
* | Change Basis.debug to use the protocol's debug function | Adam Chlipala | 2010-12-12 |
| | |||
* | minHeap option in .urp files | Adam Chlipala | 2010-12-11 |
| | |||
* | New argument to transactional free functions, to specify whether we are ↵ | Adam Chlipala | 2010-12-04 |
| | | | | about to retry | ||
* | In FastCGI, signal 304 with a header, not the usual HTTP/1.1 line | Adam Chlipala | 2010-11-20 |
| | |||
* | -limit for running time | Adam Chlipala | 2010-10-14 |
| | |||
* | 'tryDml' works with Postgres | Adam Chlipala | 2010-09-07 |
| | |||
* | Server-side 'onError' | Adam Chlipala | 2010-09-07 |
| | |||
* | Add rand to Basis and handle it in Iflow | Adam Chlipala | 2010-04-29 |
| | |||
* | Update Makefile.in's with new Autotools; add extra 'return NULL' to placate ↵ | Adam Chlipala | 2010-01-30 |
| | | | | some -Wall | ||
* | Handling errors during commit | Adam Chlipala | 2010-01-26 |
| | |||
* | Allow escaped backslashes in literals; conversion betwixt int and char | Adam Chlipala | 2010-01-12 |
| | |||
* | Support for protocol-specific expunger dispatch | Adam Chlipala | 2010-01-10 |
| | |||
* | Basis.debug; more restrictive type for Basis.form; weaken definition of ↵ | Adam Chlipala | 2010-01-07 |
| | | | | polymorphic-ness for especialization | ||
* | Basis.textBlob; support HTTP requests with no headers | Adam Chlipala | 2010-01-05 |
| | |||
* | uw_close() | Adam Chlipala | 2010-01-05 |
| | |||
* | Database quotas | Adam Chlipala | 2010-01-03 |
| |