summaryrefslogtreecommitdiff
path: root/src/main.mlton.sml
Commit message (Expand)AuthorAge
* Tweak cache consolidation and choose better default.Gravatar Ziv Scully2015-11-20
* Add consolidation heuristic options.Gravatar Ziv Scully2015-11-19
* Mostly finish effectfulness analysis.Gravatar Ziv Scully2014-10-31
* Cleans up interface (it's now a command line option) and renames project to "...Gravatar Ziv Scully2014-05-31
* -explainEmbedGravatar Adam Chlipala2014-03-17
* Some more nested functor bug-fixing, including generating fresh internal name...Gravatar Adam Chlipala2014-02-20
* New compiler option: -stopGravatar Adam Chlipala2014-01-19
* Small reformatting and documentation for '-print-cinclude'Gravatar Adam Chlipala2013-12-06
* Add -print-cinlude command line optionGravatar Sergey Mironov2013-11-06
* Add -print-ccompiler command line optionGravatar Sergey Mironov2013-09-18
* Add -ccompiler command line argumentGravatar Sergey Mironov2013-08-20
* Fix broken implementation of 'urweb daemon stop'Gravatar Austin Seipp2012-11-28
* Add list of files to new error messageGravatar Adam Chlipala2012-08-18
* Better error message for funky command linesGravatar Adam Chlipala2012-08-18
* -dumpTypesOnErrorGravatar Adam Chlipala2012-05-05
* Send daemon output to calling processGravatar Adam Chlipala2012-05-05
* Add support for -boot flag, which allows in-tree execution of Ur/WebGravatar Edward Z. Yang2012-05-02
* 'urweb daemon start' and 'urweb daemon stop'Gravatar Adam Chlipala2012-04-29
* -unifyMoreGravatar Adam Chlipala2012-04-22
* -dumpSource flag; Especialize tweak: may specialize any argument sequence end...Gravatar Adam Chlipala2012-01-12
* Compiler frees as much memory as possible before passing control to C compilerGravatar Adam Chlipala2011-08-15
* '-dumpTypes'Gravatar Adam Chlipala2011-08-07
* Tracking and printing of version numbers (based on a patch by Austin Seipp)Gravatar Adam Chlipala2011-08-02
* Generated pretty-printed HTML for a simple tutorial source fileGravatar Adam Chlipala2011-07-15
* -prefix command-line optionGravatar Adam Chlipala2010-12-12
* Interface for setting memory limitsGravatar Adam Chlipala2010-10-14
* Demo improvementsGravatar Adam Chlipala2010-09-30
* -moduleOf command-line option; compatibility fixes and better error messages ...Gravatar Adam Chlipala2010-05-27
* Command-line use of IflowGravatar Adam Chlipala2010-04-13
* -verboseGravatar Adam Chlipala2010-03-04
* Basic analysis of tag and CSS class usageGravatar Adam Chlipala2010-02-27
* sigfile directiveGravatar Adam Chlipala2010-02-11
* -path and -root command-line flagsGravatar Adam Chlipala2010-01-12
* Dynamic linking of the runtime systemGravatar Adam Chlipala2009-12-27
* -tc flagGravatar Adam Chlipala2009-12-24
* Refactor compile functions; allow empty tag contentsGravatar Adam Chlipala2009-11-25
* More command-line optionsGravatar Adam Chlipala2009-07-18
* Start of multi-DBMS supportGravatar Adam Chlipala2009-06-28
* -debug from the command lineGravatar Adam Chlipala2009-06-27
* cgi protocolGravatar Adam Chlipala2009-06-23
* Some demo improvementsGravatar Adam Chlipala2008-11-20
* Building combined demo appGravatar Adam Chlipala2008-10-19
* Proper configuration and installationGravatar Adam Chlipala2008-10-19
* Update MLton main fileGravatar Adam Chlipala2008-09-02
* -timing option for command-line compilerGravatar Adam Chlipala2008-08-16
* Command-line compiler goes the whole nine yardsGravatar Adam Chlipala2008-07-10
* Update main.mlton for group compilationGravatar Adam Chlipala2008-06-22
* Lexer/parser hacks to share code between regular and signature file parsersGravatar Adam Chlipala2008-06-22
* Update main.mltonGravatar Adam Chlipala2008-06-10
* Tree-shakingGravatar Adam Chlipala2008-06-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-02 06:09:38 +0000