index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
compiler.sml
Commit message (
Expand
)
Author
Age
*
'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process
Adam Chlipala
2018-06-03
*
New .urp directives: mimeTypes and long form of file
Adam Chlipala
2017-10-01
*
Option to prefix all user JavaScript FFI functions with a module name (jsModu...
Vladimir Shabanov
2017-06-15
*
Better error message for .urp files with too many blank lines
Adam Chlipala
2017-03-17
*
Proper ordering when libraries are included recursively (fixes #56)
Adam Chlipala
2016-12-31
*
Make HTML5 the default and add 'xhtml' .urp directive
Adam Chlipala
2016-09-20
*
HTTP Last-Modified: latest modtime of source files
Jacob Mitchell
2016-09-07
*
Increase default timeout to cope with behavior of some Chrome versions
Adam Chlipala
2016-05-16
*
Support for <meta> tags
Adam Chlipala
2016-05-15
*
Finish removing PWild; only load a library once, even if referenced multiple ...
Adam Chlipala
2016-02-07
*
Tweaking discovery of Pthreads C flags
Adam Chlipala
2016-01-16
*
Untagle boot and static flags
Eran Meir
2016-01-02
*
Prevent pthread cflags options from being passed to linker
Eran Meir
2016-01-02
*
Merge Sqlcache
Adam Chlipala
2015-12-20
|
\
*
|
New .urp directive: jsFile
Adam Chlipala
2015-12-05
*
|
Make daemon mode support sharing of libraries across projects
Adam Chlipala
2015-11-22
|
*
Support nested queries but disable UrFlow for now.
Ziv Scully
2015-11-19
|
*
Merge.
Ziv Scully
2015-07-19
|
|
\
|
|
/
|
/
|
*
|
Allow URIs specified in file directives implicitly
Julian Squires
2015-04-24
|
*
Merge.
Ziv Scully
2015-03-27
|
|
\
|
|
/
|
/
|
*
|
Fix resolution of 'file' paths
Adam Chlipala
2015-02-10
*
|
Broaden handling of wildcard rewrites
Adam Chlipala
2014-12-24
|
*
Complete overhaul: cache queries based on immediate query result, not eventua...
Ziv Scully
2014-10-14
|
*
Merge.
Ziv Scully
2014-09-13
|
|
\
|
|
/
|
/
|
*
|
In computing command lines, put filenames inside of quotes, to support spaces...
Adam Chlipala
2014-09-04
*
|
New phase: Dbmodecheck
Adam Chlipala
2014-08-17
*
|
New .urp directive: file
Adam Chlipala
2014-07-31
|
*
Cleans up interface (it's now a command line option) and renames project to "...
Ziv Scully
2014-05-31
|
*
Removes DBMS choice override from compiler.sml (which was there for debugging).
Ziv Scully
2014-05-30
|
*
Merge.
Ziv Scully
2014-05-27
|
|
\
|
|
/
|
/
|
|
*
Finishes initial prototype, caching parameterless pages with table-match-base...
Ziv Scully
2014-05-27
*
|
New lessSafeFfi
Adam Chlipala
2014-05-02
|
*
ML half of initial prototype. (Doesn't compile because there's no C yet.)
Ziv Scully
2014-03-25
|
*
Identifies tables read or touched by queries.
Ziv Scully
2014-03-08
|
/
*
neverInline
Adam Chlipala
2014-02-09
*
New compiler option: -stop
Adam Chlipala
2014-01-19
*
Add 'html5' .urp directive
Adam Chlipala
2014-01-09
*
noMangleSql .urp directive
Adam Chlipala
2014-01-04
*
compileC: Link libraries in the right order
Anders Kaseorg
2013-11-21
*
Add -ccompiler command line argument
Sergey Mironov
2013-08-20
*
Get -root working properly again
Adam Chlipala
2013-09-26
*
Add Sigcheck phase to avoid issues with signatures in global initializers
Adam Chlipala
2013-06-15
*
Attempt to get more static linking for OpenSSL
Adam Chlipala
2013-03-19
*
Make Scriptcheck catch more script/message-passing uses, and move the phase e...
Adam Chlipala
2013-03-15
*
Switch linker order
Adam Chlipala
2012-10-20
*
Edward Z. Yang's patch to avoid repeating linker arguments
Adam Chlipala
2012-09-19
*
Added 'coreInline' and 'monoInline' .urp options
Vladimir Shabanov
2012-09-04
*
New NameJs phase, still needing some debugging
Adam Chlipala
2012-08-02
*
Basis.getenv
Adam Chlipala
2012-08-02
*
Flush elaboration cache when switching between .urp files
Adam Chlipala
2012-06-23
[next]