summaryrefslogtreecommitdiff
path: root/src/compiler.sml
Commit message (Collapse)AuthorAge
* Merge pull request #186 from FrigoEU/lspGravatar Adam Chlipala2020-01-15
|\ | | | | Language Server Protocol (LSP)
* | 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
| | | | | printable -- instead, try to convert them to UTF-8. * Add libicuio to linked C libraries
* 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
|\ | | | | utf-8 aware functions for basis. unit-testing.
| * test 7Gravatar fab2018-12-17
| |
| * test 6Gravatar fab2018-12-17
| |
| * test 5Gravatar fab2018-12-17
| |
* | Specialize: ignore recursive references in classifying polymorphic uses of ↵Gravatar Adam Chlipala2018-12-16
| | | | | | | | datatypes
* | 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 ↵Gravatar Vladimir Shabanov2017-06-15
| | | | (jsModule .urp option).
* 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
| | | | See issue #38.
* 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
| | | | times in a .urp tree
* Tweaking discovery of Pthreads C flagsGravatar Adam Chlipala2016-01-16
|
* Untagle boot and static flagsGravatar Eran Meir2016-01-02
| | | | | | Boot flag should build a dynamic executable but link urweb libraries statically (from build tree). This should fix the problem of not being able to build static executables on OSX.
* Prevent pthread cflags options from being passed to linkerGravatar Eran Meir2016-01-02
| | | | (in order to fix build issue on mac)
* 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
| | | | | | | | | | | | It seems to me that, by specifying that one wants to serve a given file at a specified URI, one is implying that this URI should be allowed.
| * 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 ↵Gravatar Ziv Scully2014-10-14
| | | | | | | | eventual HTML output.
| * Merge.Gravatar Ziv Scully2014-09-13
| |\ | |/ |/|
* | In computing command lines, put filenames inside of quotes, to support ↵Gravatar Adam Chlipala2014-09-04
| | | | | | | | spaces and other funky characters nicely
* | 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
| | | | | | | | "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects.
| * 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 ↵Gravatar Ziv Scully2014-05-27
| | | | | | | | table-match-based invalidation. Still has problems parsing non-Postgres SQL dialects properly.
* | 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
|/
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 19:18:16 +0000