summaryrefslogtreecommitdiff
path: root/src/compiler.sml
Commit message (Expand)AuthorAge
* '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
|/
* neverInlineGravatar Adam Chlipala2014-02-09
* New compiler option: -stopGravatar Adam Chlipala2014-01-19
* Add 'html5' .urp directiveGravatar Adam Chlipala2014-01-09
* noMangleSql .urp directiveGravatar Adam Chlipala2014-01-04
* compileC: Link libraries in the right orderGravatar Anders Kaseorg2013-11-21
* Add -ccompiler command line argumentGravatar Sergey Mironov2013-08-20
* Get -root working properly againGravatar Adam Chlipala2013-09-26
* Add Sigcheck phase to avoid issues with signatures in global initializersGravatar Adam Chlipala2013-06-15
* Attempt to get more static linking for OpenSSLGravatar Adam Chlipala2013-03-19
* Make Scriptcheck catch more script/message-passing uses, and move the phase e...Gravatar Adam Chlipala2013-03-15
* Switch linker orderGravatar Adam Chlipala2012-10-20
* Edward Z. Yang's patch to avoid repeating linker argumentsGravatar Adam Chlipala2012-09-19
* Added 'coreInline' and 'monoInline' .urp optionsGravatar Vladimir Shabanov2012-09-04
* New NameJs phase, still needing some debuggingGravatar Adam Chlipala2012-08-02
* Basis.getenvGravatar Adam Chlipala2012-08-02
* Flush elaboration cache when switching between .urp filesGravatar Adam Chlipala2012-06-23