summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Expand)AuthorAge
* minHeap option in .urp filesGravatar Adam Chlipala2010-12-11
* Fix JavaScript unit unurlification; URL blessing client-sideGravatar Adam Chlipala2010-11-26
* -limit for running timeGravatar Adam Chlipala2010-10-14
* Interface for setting memory limitsGravatar Adam Chlipala2010-10-14
* Server-side 'onError'Gravatar Adam Chlipala2010-09-07
* tryDmlGravatar Adam Chlipala2010-09-05
* Confirm boxes; proper event handler setting for ctagsGravatar Adam Chlipala2010-08-22
* Some post-type-checking support for polymorphic variantsGravatar Adam Chlipala2010-08-21
* Add rand to Basis and handle it in IflowGravatar Adam Chlipala2010-04-29
* Generated basic dummy Iflow conditionsGravatar Adam Chlipala2010-04-04
* Relational operators portabilityGravatar Adam Chlipala2010-04-01
* safeGetGravatar Adam Chlipala2010-03-09
* benignEffectfulGravatar Adam Chlipala2010-02-27
* sigfile directiveGravatar Adam Chlipala2010-02-11
* Basis.debug; more restrictive type for Basis.form; weaken definition of polym...Gravatar Adam Chlipala2010-01-07
* DeadlinesGravatar Adam Chlipala2010-01-03
* Proper client-side attrifyStringGravatar Adam Chlipala2010-01-01
* Treat getCookie as effectfulGravatar Adam Chlipala2009-12-29
* Protocol-specific compiler optionsGravatar Adam Chlipala2009-12-27
* Dynamic linking of the runtime systemGravatar Adam Chlipala2009-12-27
* Initializers and setvalGravatar Adam Chlipala2009-12-13
* Context globals; ctype functionsGravatar Adam Chlipala2009-12-08
* Represent FFI function names as strings, to deal with cross-file recursionGravatar Adam Chlipala2009-12-05
* More fun with cookiesGravatar Adam Chlipala2009-11-26
* Inlining threshold for ReduceGravatar Adam Chlipala2009-10-25
* Chars working with SQLiteGravatar Adam Chlipala2009-10-22
* Initial support for char in SQLGravatar Adam Chlipala2009-10-22
* Fix inconsistency in bool URLification between C and JavaScriptGravatar Adam Chlipala2009-08-25
* JavaScript urlifying of bools; correct Link attribute escapingGravatar Adam Chlipala2009-08-11
* Key events get key code inputGravatar Adam Chlipala2009-07-18
* More command-line optionsGravatar Adam Chlipala2009-07-18
* Blobs tested in MySQL and SQLiteGravatar Adam Chlipala2009-07-18
* Most of demo working with SQLiteGravatar Adam Chlipala2009-07-17
* MySQL CGI workingGravatar Adam Chlipala2009-07-17
* Testing nested queriesGravatar Adam Chlipala2009-07-17
* Demo working with MySQLGravatar Adam Chlipala2009-07-16
* Sequence code compiles in MySQLGravatar Adam Chlipala2009-07-16
* MySQL accepts generated demo DDLGravatar Adam Chlipala2009-07-16
* MySQL demo/sql succeeds in reading no rowsGravatar Adam Chlipala2009-07-12
* MySQL query gets up to C linkingGravatar Adam Chlipala2009-07-12
* Validating viewsGravatar Adam Chlipala2009-06-30
* Move all DBMS initialization to #initGravatar Adam Chlipala2009-06-30
* Moved nextval code into SettingsGravatar Adam Chlipala2009-06-28
* Moved dml code into SettingsGravatar Adam Chlipala2009-06-28
* Moved query code into SettingsGravatar Adam Chlipala2009-06-28
* Start of multi-DBMS supportGravatar Adam Chlipala2009-06-28
* Move http protocol into its own fileGravatar Adam Chlipala2009-06-28
* Successfully starting FastCGI sessions with ApacheGravatar Adam Chlipala2009-06-27
* Avoid using prepared statements for non-persistent protocolsGravatar Adam Chlipala2009-06-27
* -debug from the command lineGravatar Adam Chlipala2009-06-27