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
/
main.mlton.sml
Commit message (
Expand
)
Author
Age
*
Untagle boot and static flags
Eran Meir
2016-01-02
*
Merge Sqlcache
Adam Chlipala
2015-12-20
|
\
*
|
Make daemon mode support sharing of libraries across projects
Adam Chlipala
2015-11-22
|
*
Tweak cache consolidation and choose better default.
Ziv Scully
2015-11-20
|
*
Add consolidation heuristic options.
Ziv Scully
2015-11-19
|
*
Mostly finish effectfulness analysis.
Ziv Scully
2014-10-31
|
*
Cleans up interface (it's now a command line option) and renames project to "...
Ziv Scully
2014-05-31
|
/
*
-explainEmbed
Adam Chlipala
2014-03-17
*
Some more nested functor bug-fixing, including generating fresh internal name...
Adam Chlipala
2014-02-20
*
New compiler option: -stop
Adam Chlipala
2014-01-19
*
Small reformatting and documentation for '-print-cinclude'
Adam Chlipala
2013-12-06
*
Add -print-cinlude command line option
Sergey Mironov
2013-11-06
*
Add -print-ccompiler command line option
Sergey Mironov
2013-09-18
*
Add -ccompiler command line argument
Sergey Mironov
2013-08-20
*
Fix broken implementation of 'urweb daemon stop'
Austin Seipp
2012-11-28
*
Add list of files to new error message
Adam Chlipala
2012-08-18
*
Better error message for funky command lines
Adam Chlipala
2012-08-18
*
-dumpTypesOnError
Adam Chlipala
2012-05-05
*
Send daemon output to calling process
Adam Chlipala
2012-05-05
*
Add support for -boot flag, which allows in-tree execution of Ur/Web
Edward Z. Yang
2012-05-02
*
'urweb daemon start' and 'urweb daemon stop'
Adam Chlipala
2012-04-29
*
-unifyMore
Adam Chlipala
2012-04-22
*
-dumpSource flag; Especialize tweak: may specialize any argument sequence end...
Adam Chlipala
2012-01-12
*
Compiler frees as much memory as possible before passing control to C compiler
Adam Chlipala
2011-08-15
*
'-dumpTypes'
Adam Chlipala
2011-08-07
*
Tracking and printing of version numbers (based on a patch by Austin Seipp)
Adam Chlipala
2011-08-02
*
Generated pretty-printed HTML for a simple tutorial source file
Adam Chlipala
2011-07-15
*
-prefix command-line option
Adam Chlipala
2010-12-12
*
Interface for setting memory limits
Adam Chlipala
2010-10-14
*
Demo improvements
Adam Chlipala
2010-09-30
*
-moduleOf command-line option; compatibility fixes and better error messages ...
Adam Chlipala
2010-05-27
*
Command-line use of Iflow
Adam Chlipala
2010-04-13
*
-verbose
Adam Chlipala
2010-03-04
*
Basic analysis of tag and CSS class usage
Adam Chlipala
2010-02-27
*
sigfile directive
Adam Chlipala
2010-02-11
*
-path and -root command-line flags
Adam Chlipala
2010-01-12
*
Dynamic linking of the runtime system
Adam Chlipala
2009-12-27
*
-tc flag
Adam Chlipala
2009-12-24
*
Refactor compile functions; allow empty tag contents
Adam Chlipala
2009-11-25
*
More command-line options
Adam Chlipala
2009-07-18
*
Start of multi-DBMS support
Adam Chlipala
2009-06-28
*
-debug from the command line
Adam Chlipala
2009-06-27
*
cgi protocol
Adam Chlipala
2009-06-23
*
Some demo improvements
Adam Chlipala
2008-11-20
*
Building combined demo app
Adam Chlipala
2008-10-19
*
Proper configuration and installation
Adam Chlipala
2008-10-19
*
Update MLton main file
Adam Chlipala
2008-09-02
*
-timing option for command-line compiler
Adam Chlipala
2008-08-16
*
Command-line compiler goes the whole nine yards
Adam Chlipala
2008-07-10
*
Update main.mlton for group compilation
Adam Chlipala
2008-06-22
[next]