summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
Commit message (Expand)AuthorAge
* Use hash instead of timestamp in app.js filenameGravatar Jacob Mitchell2016-09-08
* HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
* 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
* 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 eventua...Gravatar Ziv Scully2014-10-14
| * 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
| * Finishes initial prototype, caching parameterless pages with table-match-base...Gravatar Ziv Scully2014-05-27
|/
* 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 prog...Gravatar Adam Chlipala2013-12-12
* 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 optimiz...Gravatar Adam Chlipala2013-12-11
* Fix regression in http.c for long-polling connections; add lazy initializatio...Gravatar Adam Chlipala2013-12-11
* 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
* 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 of...Gravatar Adam Chlipala2012-01-07
* Fix handling of quotes in generating C literalsGravatar Adam Chlipala2012-01-02
* Fix C-side unurlification of unboxable Option datatypesGravatar Adam Chlipala2011-12-17
* timeFormat .urp directiveGravatar Adam Chlipala2011-12-04
* Better error messages about non-SQL-izability of typesGravatar Adam Chlipala2011-12-03
* Catching integer divisions by zeroGravatar Adam Chlipala2011-12-03
* Fix server-side urlification of custom Option typesGravatar Adam Chlipala2011-11-25