summaryrefslogtreecommitdiff
path: root/src/compiler.sml
Commit message (Expand)AuthorAge
* Merge pull request #186 from FrigoEU/lspGravatar Adam Chlipala2020-01-15
|\
* | Support endpoints generation for urpless invocations (closes #187)Gravatar Adam Chlipala2019-12-16
| * Use elabFile completely instead of rebuilding it partiallyGravatar Simon Van Casteren2019-12-13
|/
* More detailed error message for bad path kind spec (closes #178)Gravatar Adam Chlipala2019-09-14
* * When htmlifying characters, don't use numeric escapes if they'reGravatar Oisín Mac Fhearaí2019-08-11
* Ensure compilation fails even if the only problem is a missing source fileGravatar Adam Chlipala2019-03-30
* Allow dollar-sign shortcuts for 'file' and 'jsFile' directivesGravatar Adam Chlipala2019-03-16
* Including app.js in output of endpointsGravatar Artyom Shalkhakov2019-01-12
* -endpoints switch to view all endpoints defined in JSON formatGravatar Artyom Shalkhakov2019-01-07
* Merge pull request #146 from fabriceleal/utf-icuGravatar Adam Chlipala2018-12-19
|\
| * test 7Gravatar fab2018-12-17
| * test 6Gravatar fab2018-12-17
| * test 5Gravatar fab2018-12-17
* | Specialize: ignore recursive references in classifying polymorphic uses of da...Gravatar Adam Chlipala2018-12-16
* | New .urp option: safeGetDefaultGravatar Adam Chlipala2018-12-14
| * utf-8 aware functions for basis. unit-testing.Gravatar fab2018-11-17
|/
* 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the processGravatar Adam Chlipala2018-06-03
* New .urp directives: mimeTypes and long form of fileGravatar Adam Chlipala2017-10-01
* Option to prefix all user JavaScript FFI functions with a module name (jsModu...Gravatar Vladimir Shabanov2017-06-15
* Better error message for .urp files with too many blank linesGravatar Adam Chlipala2017-03-17
* Proper ordering when libraries are included recursively (fixes #56)Gravatar Adam Chlipala2016-12-31
* Make HTML5 the default and add 'xhtml' .urp directiveGravatar Adam Chlipala2016-09-20
* HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
* Increase default timeout to cope with behavior of some Chrome versionsGravatar Adam Chlipala2016-05-16
* 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
* Tweaking discovery of Pthreads C flagsGravatar Adam Chlipala2016-01-16
* Untagle boot and static flagsGravatar Eran Meir2016-01-02
* Prevent pthread cflags options from being passed to linkerGravatar Eran Meir2016-01-02
* Merge SqlcacheGravatar Adam Chlipala2015-12-20
|\
* | New .urp directive: jsFileGravatar Adam Chlipala2015-12-05
* | Make daemon mode support sharing of libraries across projectsGravatar Adam Chlipala2015-11-22
| * Support nested queries but disable UrFlow for now.Gravatar Ziv Scully2015-11-19
| * Merge.Gravatar Ziv Scully2015-07-19
| |\ | |/ |/|
* | Allow URIs specified in file directives implicitlyGravatar Julian Squires2015-04-24
| * Merge.Gravatar Ziv Scully2015-03-27
| |\ | |/ |/|
* | Fix resolution of 'file' pathsGravatar Adam Chlipala2015-02-10
* | Broaden handling of wildcard rewritesGravatar Adam Chlipala2014-12-24
| * Complete overhaul: cache queries based on immediate query result, not eventua...Gravatar Ziv Scully2014-10-14
| * Merge.Gravatar Ziv Scully2014-09-13
| |\ | |/ |/|
* | In computing command lines, put filenames inside of quotes, to support spaces...Gravatar Adam Chlipala2014-09-04
* | New phase: DbmodecheckGravatar Adam Chlipala2014-08-17
* | 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
| * Removes DBMS choice override from compiler.sml (which was there for debugging).Gravatar Ziv Scully2014-05-30
| * Merge.Gravatar Ziv Scully2014-05-27
| |\ | |/ |/|
| * Finishes initial prototype, caching parameterless pages with table-match-base...Gravatar Ziv Scully2014-05-27
* | New lessSafeFfiGravatar Adam Chlipala2014-05-02
| * ML half of initial prototype. (Doesn't compile because there's no C yet.)Gravatar Ziv Scully2014-03-25
| * Identifies tables read or touched by queries.Gravatar Ziv Scully2014-03-08
|/