summaryrefslogtreecommitdiff
path: root/src/compiler.sml
Commit message (Expand)AuthorAge
* 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
* Proper error messages for missing source filesGravatar Adam Chlipala2012-05-26
* New optional suffice for 'rewrite' in .urp files: [-]Gravatar Adam Chlipala2012-05-06
* Report which files lead to duplicate module namesGravatar Adam Chlipala2012-05-04
* Add support for -boot flag, which allows in-tree execution of Ur/WebGravatar Edward Z. Yang2012-05-02
* Catch duplicate top-level module names; fix dropping of constraints during in...Gravatar Adam Chlipala2012-05-03
* 'urweb daemon start' and 'urweb daemon stop'Gravatar Adam Chlipala2012-04-29
* Initial support for reusing elaboration resultsGravatar Adam Chlipala2012-04-29
* 'linker' .urp directiveGravatar Adam Chlipala2012-04-22
* Delete C temporary directories, even if other files wind up thereGravatar Adam Chlipala2012-03-13
* -dumpSource flag; Especialize tweak: may specialize any argument sequence end...Gravatar Adam Chlipala2012-01-12
* Change linking argument order, based on reported problems in Ubuntu 11.10Gravatar Adam Chlipala2012-01-05
* Allow .urp libraries to set prefixGravatar Adam Chlipala2011-12-17
* timeFormat .urp directiveGravatar Adam Chlipala2011-12-04
* Yet another fix to previous changeGravatar Adam Chlipala2011-11-20
* Fix bug in previous changeGravatar Adam Chlipala2011-11-20
* Don't treat comment-only lines as blank, in determining split point of .urp f...Gravatar Adam Chlipala2011-11-20
* Better error messages about server-side use of client-side functionsGravatar Adam Chlipala2011-11-14