summaryrefslogtreecommitdiff
path: root/src/sources
Commit message (Expand)AuthorAge
* Fix build error.Gravatar Artyom Shalkhakov2019-01-27
* 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the processGravatar Adam Chlipala2018-06-03
* Use hash instead of timestamp in app.js filenameGravatar Jacob Mitchell2016-09-08
* Sqlcache: also record script additions; do a MonoReduce afterward, to help Pr...Gravatar Adam Chlipala2016-03-12
* Merge SqlcacheGravatar Adam Chlipala2015-12-20
|\
| * Support nested queries but disable UrFlow for now.Gravatar Ziv Scully2015-11-19
| * Progress on free paths, but consolidation seems to fail more with them.Gravatar Ziv Scully2015-11-09
| * Factor out urlification.Gravatar Ziv Scully2015-09-21
| * Factor out [Monoize.Fm] to make it accessible to [Sqlcache].Gravatar Ziv Scully2015-09-21
| * Rename C functions and remove functors nested inside modules.Gravatar Ziv Scully2015-07-19
| * Progress on LRU cache but still more known bugs to fix.Gravatar Ziv Scully2015-06-28
| * More work factoring out Sqlcache back end.Gravatar Ziv Scully2015-05-06
| * Factor out cache implementation from Sqlcache.Gravatar Ziv Scully2015-05-06
| * Progress towards invalidation based on equalities of fields.Gravatar Ziv Scully2014-11-10
| * Mostly finish effectfulness analysis.Gravatar Ziv Scully2014-10-31
| * Complete overhaul: cache queries based on immediate query result, not eventua...Gravatar Ziv Scully2014-10-14
| * Merge.Gravatar Ziv Scully2014-09-13
| |\ | |/ |/|
* | New phase: DbmodecheckGravatar Adam Chlipala2014-08-17
| * 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
|/
* Some more nested functor bug-fixing, including generating fresh internal name...Gravatar Adam Chlipala2014-02-20
* Allow building in a separate build directoryGravatar Anders Kaseorg2013-11-22
* Add Sigcheck phase to avoid issues with signatures in global initializersGravatar Adam Chlipala2013-06-15
* New NameJs phase, still needing some debuggingGravatar Adam Chlipala2012-08-02
* Initial support for reusing elaboration resultsGravatar Adam Chlipala2012-04-29
* Refactor SQL parsing code from Iflow to Sql, add querydml parser.Gravatar Edward Z. Yang2012-03-12
* Fix handling of quotes in generating C literalsGravatar Adam Chlipala2012-01-02
* Better error messages about server-side use of client-side functionsGravatar Adam Chlipala2011-11-14
* Support the full set of XHTML character entitiesGravatar Adam Chlipala2011-11-05
* Generated pretty-printed HTML for a simple tutorial source fileGravatar Adam Chlipala2011-07-15
* Reduce: Inline let-bound variables whose types involve functionsGravatar Adam Chlipala2010-08-22
* Another run of Specialize, using ReduceLocal on datatype parametersGravatar Adam Chlipala2010-06-05
* Command-line use of IflowGravatar Adam Chlipala2010-04-13
* Generated basic dummy Iflow conditionsGravatar Adam Chlipala2010-04-04
* Basic analysis of tag and CSS class usageGravatar Adam Chlipala2010-02-27
* RPC uses VM support for call/ccGravatar Adam Chlipala2009-10-25
* Grid changed to use Dlist.replace; filters stopped workingGravatar Adam Chlipala2009-09-17
* demo/sql works with SQLiteGravatar Adam Chlipala2009-07-17
* Fix dependency misorderingGravatar Adam Chlipala2009-07-17
* Demo working with MySQLGravatar Adam Chlipala2009-07-16
* Demo compiles again with Postgres and MySQL; MySQL version lacks sequence cod...Gravatar Adam Chlipala2009-07-12
* Start of multi-DBMS supportGravatar Adam Chlipala2009-06-28
* Move http protocol into its own fileGravatar Adam Chlipala2009-06-28
* Successfully starting FastCGI sessions with ApacheGravatar Adam Chlipala2009-06-27
* Avoid using prepared statements for non-persistent protocolsGravatar Adam Chlipala2009-06-27
* C FFI compiler optionsGravatar Adam Chlipala2009-04-30
* Effectness analysisGravatar Adam Chlipala2009-04-16
* Label exported symbols by effect-ness; factor out some common datatypesGravatar Adam Chlipala2009-04-16
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
* MarshalcheckGravatar Adam Chlipala2009-03-28