aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/cjr_print.sml
Commit message (Collapse)AuthorAge
* More defensive unurlification of enumerations (closes #117)Gravatar Adam Chlipala2018-05-19
|
* Fix last fix, to handle checkboxes properlyGravatar Adam Chlipala2017-07-27
|
* Skip inappropriate postprocessing of text fields from multipart form data ↵Gravatar Adam Chlipala2017-07-27
| | | | (fixes #82)
* Adding support for emitting JS to a given file.Gravatar Artyom Shalkhakov2017-03-07
|
* Use hash instead of timestamp in app.js filenameGravatar Jacob Mitchell2016-09-08
| | | | | Makes Ur/Web project builds reproducible without sacrificing HTTP caching. Uses a public domain SHA1 implementation by tom7. See #38.
* HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
| | | | See issue #38.
* Support for <meta> tagsGravatar Adam Chlipala2016-05-15
|
* Finish removing PWild; only load a library once, even if referenced multiple ↵Gravatar Adam Chlipala2016-02-07
| | | | times in a .urp tree
* Finishing the last change in final handling of enumerated typesGravatar Adam Chlipala2016-01-02
|
* Fix issue with enumerated types and dependency orderGravatar Adam Chlipala2016-01-01
|
* Merge SqlcacheGravatar Adam Chlipala2015-12-20
|\
* | New .urp directive: jsFileGravatar Adam Chlipala2015-12-05
| |
| * Merge.Gravatar Ziv Scully2015-07-19
| |\ | |/ |/|
* | Fix .sql generation to honor 'noMangleSql' in column namesGravatar Adam Chlipala2015-05-10
| |
| * More work factoring out Sqlcache back end.Gravatar Ziv Scully2015-05-06
| |
| * Factor out cache implementation from Sqlcache.Gravatar Ziv Scully2015-05-06
| |
| * Merge.Gravatar Ziv Scully2015-03-27
| |\ | |/ |/|
| * Remove Sqlcache urlification hack.Gravatar Ziv Scully2014-11-29
| |
| * Basic field-resolution invalidation.Gravatar Ziv Scully2014-11-29
| |
| * Progress towards invalidation based on equalities of fields.Gravatar Ziv Scully2014-11-10
| |
| * Mostly finish effectfulness analysis.Gravatar Ziv Scully2014-10-31
| |
* | The 2nd half of proper CSRF protection related to environment variablesGravatar Adam Chlipala2015-02-12
| |
| * Complete overhaul: cache queries based on immediate query result, not ↵Gravatar Ziv Scully2014-10-14
| | | | | | | | eventual HTML output.
| * Small cleanup.Gravatar Ziv Scully2014-09-15
| |
| * Merge.Gravatar Ziv Scully2014-09-13
| |\ | |/ |/|
* | New phase: DbmodecheckGravatar Adam Chlipala2014-08-17
| |
* | Differentiate between HTML and normal string literalsGravatar Adam Chlipala2014-08-01
| |
* | New .urp directive: fileGravatar Adam Chlipala2014-07-31
| |
| * Cleans up interface (it's now a command line option) and renames project to ↵Gravatar Ziv Scully2014-05-31
| | | | | | | | "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects.
| * Finishes initial prototype, caching parameterless pages with ↵Gravatar Ziv Scully2014-05-27
|/ | | | table-match-based invalidation. Still has problems parsing non-Postgres SQL dialects properly.
* Add 'html5' .urp directiveGravatar Adam Chlipala2014-01-09
|
* Fix compilation of apps that don't use database; fix HTTP pipeliningGravatar Adam Chlipala2013-12-17
|
* Start SQL transactions as read-only when possible, based on conservative ↵Gravatar Adam Chlipala2013-12-12
| | | | program analysis
* Only output Content-script-type header when there is client-side codeGravatar Adam Chlipala2013-12-12
|
* Change handling of returned text blobs, to activate the normal EWrite ↵Gravatar Adam Chlipala2013-12-11
| | | | optimizations
* Fix regression in http.c for long-polling connections; add lazy ↵Gravatar Adam Chlipala2013-12-11
| | | | initialization of database connections, to avoid the overhead in handlers that don't use SQL
* Remove uw_cutErrorLocation() hijinksGravatar Adam Chlipala2013-10-10
|
* Detect more SQL uses without 'database' directiveGravatar Adam Chlipala2013-09-30
|
* Fixed HTTP date format and added Cache-Control to app.jsGravatar Vladimir Shabanov2012-09-12
|
* Basis.getenvGravatar Adam Chlipala2012-08-02
|
* Support fancy expressions in module-level 'val' declarationsGravatar Adam Chlipala2012-07-18
|
* Fix from Edward Yang to generation of 404 errors in FastCGIGravatar Adam Chlipala2012-05-06
|
* Add support for -boot flag, which allows in-tree execution of Ur/WebGravatar Edward Z. Yang2012-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 pagesGravatar Adam Chlipala2012-04-28
|
* Change <radio> to yield [option string]Gravatar Adam Chlipala2012-03-10
|
* Avoid URL size limit in RPCs with large argumentsGravatar Adam Chlipala2012-03-03
|
* Finish function argument order-of-operations fixGravatar Adam Chlipala2012-01-07
|
* First part of changes to avoid depending on C function call argument order ↵Gravatar Adam Chlipala2012-01-07
| | | | of evaluation (omitting normal Ur function calls, so far)
* Fix handling of quotes in generating C literalsGravatar Adam Chlipala2012-01-02
|
* Fix C-side unurlification of unboxable Option datatypesGravatar Adam Chlipala2011-12-17
|