Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge | 2013-12-09 | |
|\ | |||
* | | Add JavaScript mappings for isprint and ord | 2013-12-09 | |
| | | |||
* | | Rename <activeHead> to <script> and make it work properly | 2013-12-09 | |
| | | |||
| * | Small reformatting and documentation for '-print-cinclude' | 2013-12-06 | |
| | | |||
* | | activeHead: don't modify the head. just execute the code provided | 2013-12-06 | |
| | | |||
* | | Add activeHead tag. | 2013-12-06 | |
| | | | | | | | | activeHead is similar to active but produces xhead instead of xbody | ||
| * | Add -print-cinlude command line option | 2013-11-06 | |
| | | |||
| * | Add 'xhead' case to Monoize | 2013-12-06 | |
|/ | |||
* | Increase precision for rendering floats to SQL | 2013-12-03 | |
| | |||
* | Remove extra line break for onError | 2013-12-01 | |
| | |||
* | Postgres: remove DML error code logging and (hopefully) fix the real ↵ | 2013-11-29 | |
| | | | | problem, not checking for concurrency faults on SELECTs | ||
* | Add keepalive option to the http protocol | 2013-11-28 | |
| | |||
* | Postgres: print SQLSTATE on DML failure, to help figure out when new special ↵ | 2013-11-27 | |
| | | | | cases should be added | ||
* | Add Connection and Content-length headers to raw HTTP responses | 2013-11-27 | |
| | |||
* | In HTTP protocol C code, increase listening socket backlog to maximum | 2013-11-27 | |
| | |||
* | Sneaky still-in-today's-release update of 'table' signature item handling | 2013-11-24 | |
| | |||
* | make dist: Use fewer wildcards | 2013-11-22 | |
| | | | | | | | | | | | | | | | The remaining ones only work by accident: http://www.gnu.org/software/automake/manual/html_node/Wildcards.html and they have some practical problems too (we don’t really want to distribute include/urweb/config.h or src/config.sml), but this is enough for now to pass ‘make distcheck’ as long as we don’t run it from a separate build directory. Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 6 +++--- src/c/Makefile.am | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) | ||
* | Allow building in a separate build directory | 2013-11-22 | |
| | | | | | | | | | | Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 30 +++--- src/c/Makefile.am | 2 +- src/compiler.mlb | 2 +- src/sources | 302 +++++++++++++++++++++++++++--------------------------- 4 files changed, 168 insertions(+), 168 deletions(-) | ||
* | Remove autogenerated files from version control | 2013-11-21 | |
| | |||
* | Regenerate Makefile.in | 2013-11-21 | |
| | |||
* | compileC: Link libraries in the right order | 2013-11-21 | |
| | | | | | | | | | | | This is needed, at least on recent Ubuntu, to fix this linker error when compiling any Ur/Web application: ld: /tmp/webapp.o: undefined reference to symbol 'uw_write' Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- src/compiler.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) | ||
* | Add missing inter-library dependencies | 2013-11-21 | |
| | | | | | | | | | | | | | | | | | This is needed, at least on recent Ubuntu, to fix these linker errors when compiling any Ur/Web application: liburweb.so: undefined reference to `lround' liburweb.so: undefined reference to `ceil' liburweb.so: undefined reference to `RAND_bytes' liburweb.so: undefined reference to `DES_fcrypt' liburweb.so: undefined reference to `SHA256_Init' liburweb.so: undefined reference to `SHA256_Final' liburweb.so: undefined reference to `SHA256_Update' Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- src/c/Makefile.am | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) | ||
* | Identify more local definitions as functions that should be lifted to the ↵ | 2013-11-05 | |
| | | | | top level, which has synergistic effects on inlining later | ||
* | Interpret 'table' signature items more flexibly, automatically adding (Ur) ↵ | 2013-11-04 | |
| | | | | constraints to support a kind of subtyping over (SQL) constraint sets | ||
* | Save disjointness environments across top-level declarations | 2013-10-17 | |
| | |||
* | Change Pthread thread creation logic to avoid Cygwin limitations with ↵ | 2013-10-14 | |
| | | | | setting stack size | ||
* | Remove uw_cutErrorLocation() hijinks | 2013-10-10 | |
| | |||
* | Remove debug prints | 2013-10-10 | |
| | |||
* | Make transactional FFI functions effectful by default | 2013-10-10 | |
| | |||
* | Take proper account of signatures changing during page generation | 2013-10-10 | |
| | |||
* | Add -print-ccompiler command line option | 2013-09-18 | |
| | |||
* | Add -ccompiler command line argument | 2013-08-20 | |
| | | | | This allows user to overwrite the compiler set during the configure phase | ||
* | Add monoize case for 'dml' type | 2013-10-01 | |
| | |||
* | Detect more SQL uses without 'database' directive | 2013-09-30 | |
| | |||
* | Get -root working properly again | 2013-09-26 | |
| | |||
* | Tweak Sergey's patch to work with Postgres | 2013-09-13 | |
| | |||
* | Add hex SQL syntax for blobs, such as X'0ABC12343'. Works with sqlite. | 2013-09-13 | |
| | |||
* | Potentially exponential search through where to head-normalize in [decompileCon] | 2013-08-19 | |
| | |||
* | Allow [where con] to descend within submodule structure; open submodule ↵ | 2013-08-19 | |
| | | | | constraints while checking later signature items | ||
* | Expand coverage of 'functionInside' for Especialize | 2013-08-10 | |
| | |||
* | Extend Especialize rule: find maximal argument prefixes that end in 1 or ↵ | 2013-08-09 | |
| | | | | more arguments with functional types | ||
* | Make that error message even more helpful | 2013-07-17 | |
| | |||
* | Make that new error message text a bit more accurate | 2013-07-17 | |
| | |||
* | Tweak error message about naughty GET handlers | 2013-07-17 | |
| | |||
* | Postgres unicode printing fix from Artyom Shalkhakov | 2013-07-17 | |
| | |||
* | Add Sigcheck phase to avoid issues with signatures in global initializers | 2013-06-15 | |
| | |||
* | Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction' | 2013-06-07 | |
| | |||
* | Tweak to 'let' inlining behavior | 2013-06-02 | |
| | |||
* | Get Iflow working again | 2013-04-21 | |
| | |||
* | Get -css flag working again | 2013-04-16 | |
| |