Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | xml/parse: Accept entity files on the command line | 2013-11-22 | |
| | | | | | | | | Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 2 +- xml/parse.sml | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-) | ||
* | Add autogen.sh | 2013-11-21 | |
| | |||
* | Switch back to working version mode | 2013-11-21 | |
| | |||
* | Remove autogenerated files from version control | 2013-11-21 | |
| | |||
* | Add bin to EXTRA_DIST | 2013-11-21 | |
| | |||
* | Add src/c/*.h to EXTRA_DIST | 2013-11-21 | |
| | |||
* | Add more include files to EXTRA_DIST | 2013-11-21 | |
| | |||
* | Some more EXTRA_DIST | 2013-11-21 | |
| | |||
* | Getting more specific about 'src' in EXTRA_DIST | 2013-11-21 | |
| | |||
* | Experimenting with distribution via 'make dist', to allow deletion of ↵ | 2013-11-21 | |
| | | | | autogenerated files from version control | ||
* | 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(-) | ||
* | Manual: add a pointer to background reading on inference rule notation | 2013-11-17 | |
| | |||
* | Fix more of client-side error handlers | 2013-11-14 | |
| | |||
* | Fix regression in execution of 'onError' handlers | 2013-11-14 | |
| | |||
* | Identify more local definitions as functions that should be lifted to the ↵ | 2013-11-05 | |
| | | | | top level, which has synergistic effects on inlining later | ||
* | A fancier test for the new SQL constraints subtyping | 2013-11-04 | |
| | |||
* | Interpret 'table' signature items more flexibly, automatically adding (Ur) ↵ | 2013-11-04 | |
| | | | | constraints to support a kind of subtyping over (SQL) constraint sets | ||
* | Rename ListPair.map2 to ListPair.mp | 2013-11-04 | |
| | |||
* | ListPair.map2, based on code by escalier@riseup.net | 2013-11-03 | |
| | |||
* | 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 | ||
* | New header file scheme to support FFI code in either of C or C++ [based on ↵ | 2013-10-11 | |
| | | | | suggestion by Ron de Bruijn] | ||
* | 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 <dl> <dt> <dd> tags | 2013-10-07 | |
| | |||
* | Manual entries for -ccompiler and -print-ccompiler | 2013-10-10 | |
| | |||
* | Add xhead type | 2013-10-07 | |
| | |||
* | Add <em> and <strong> tags | 2013-10-07 | |
| | |||
* | 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 | |
| | |||
* | Add 'rel' attribute to <a> | 2013-08-09 | |
| | |||
* | 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 | |
| |