Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 | |
| | |||
* | Basis.tryRpc | 2013-04-16 | |
| | |||
* | Change Name_js to skip code snippets that depend on the CSRF-protection ↵ | 2013-04-01 | |
| | | | | signature | ||
* | Attempt to get more static linking for OpenSSL | 2013-03-19 | |
| | |||
* | Make Scriptcheck catch more script/message-passing uses, and move the phase ↵ | 2013-03-15 | |
| | | | | earlier in compilation | ||
* | Make CGI programs use Status header to set HTTP status code | 2013-03-05 | |
| | |||
* | Add more HTML singleton tags, anticipating that others may make them ↵ | 2012-12-31 | |
| | | | | available via the FFI | ||
* | Add some name-mangling rules to allow XML attribute 'name' and attributes ↵ | 2012-12-27 | |
| | | | | with dashes | ||
* | Fix determination of MySQL timestamp hour fields (may still be wrong once ↵ | 2012-12-13 | |
| | | | | DST bit flips) | ||
* | Autogenerate some files | 2012-12-12 | |
| | |||
* | Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a ↵ | 2012-12-11 | |
| | | | | kind of simple dynamic typing (unsafe, of course) | ||
* | add Placeholder attribute to <password>; change <textbox> code generation to ↵ | 2012-11-30 | |
| | | | | set 'type' to 'text' | ||
* | Fix generation of timestamp literals for MySQL and SQLite | 2012-11-30 | |
| | |||
* | Allow any FFI module to declare new HTML tags | 2012-11-28 | |
| | |||
* | Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a ↵ | 2012-11-28 | |
| | | | | test case for it | ||
* | Standard library additions: Option.unsafeGet, Basis.exp | 2012-11-28 | |
| | |||
* | Fix broken implementation of 'urweb daemon stop' | 2012-11-28 | |
| | |||
* | Switch linker order | 2012-10-20 | |
| | |||
* | New release | 2012-09-25 | |
| | |||
* | Paranoid inlining prevention for FFI types at the Core level; less paranoid ↵ | 2012-09-19 | |
| | | | | inlining promotion for passive values at the Mono level |