log src/settings.sml

age author description
2015-12-20 Adam Chlipala Merge Sqlcache
2015-11-20 Ziv Scully Tweak cache consolidation and choose better default.
2015-11-19 Ziv Scully Add consolidation heuristic options.
2015-11-12 Ziv Scully Merge.
2015-10-19 Ziv Scully Merge.
2015-10-14 Ziv Scully Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.
2015-09-12 Ziv Scully Merge.
2015-05-06 Ziv Scully Merge.
2015-04-07 Ziv Scully Merge.
2015-04-07 Ziv Scully New mouse events oncontextmenu, onmouseenter, and onmouseleave.
2015-03-27 Ziv Scully Merge.
2014-10-14 Ziv Scully Complete overhaul: cache queries based on immediate query result, not eventual HTML output.
2015-12-05 Adam Chlipala New .urp directive: jsFile
2015-11-22 Adam Chlipala Make daemon mode support sharing of libraries across projects
2015-11-01 Adam Chlipala JavaScript versions of a few more functions
2015-11-01 Adam Chlipala Basis.fromMilliseconds
2015-10-18 Adam Chlipala Allow duplicate 'file' directives if paths normalize to same value
2015-08-20 Adam Chlipala Beautify '-h' output for web servers
2015-04-24 Julian Squires Allow file directives to contain slashes
2015-04-07 Ziv Scully New mouse events oncontextmenu, onmouseenter, and onmouseleave.
2015-03-08 Adam Chlipala Fix interpretation of 'file' argument paths
2015-01-22 Adam Chlipala Fix case issue in name mangling for MySQL
2014-12-25 Adam Chlipala Client-side conversion of string to bool
2014-12-24 Adam Chlipala Broaden handling of wildcard rewrites
2014-07-31 Adam Chlipala New .urp directive: file
2014-07-29 Samuel Dukhovni Added javascript for Basis.strsindex
2014-06-05 Sergey Mironov Allow '+' char in blessMime
2014-05-02 Adam Chlipala New lessSafeFfi
2014-05-02 Adam Chlipala HTML5 data-* attributes
2014-02-18 Patrick Hurst Add Datetime JavaScript support.
2014-01-20 Patrick Hurst Bare-bones Datetime JS support.
2014-02-10 Adam Chlipala neverInline
2014-01-15 Adam Chlipala Stop quoting Postgres identifiers in 'noMangleSql' mode
2014-01-09 Adam Chlipala Add 'html5' .urp directive
2014-01-05 Adam Chlipala noMangleSql .urp directive
2014-01-01 Adam Chlipala Add some URL-related benignEffectful functions
2013-12-09 Adam Chlipala Add JavaScript mappings for isprint and ord
2013-10-10 Adam Chlipala Make transactional FFI functions effectful by default
2013-08-20 Sergey Mironov Add -ccompiler command line argument
2012-09-14 Adam Chlipala Reduce default inlining thresholds; improve a let-substitution optimization to compensate
2012-08-02 Adam Chlipala Basis.getenv
2012-07-23 Adam Chlipala Add more global mouse event hooks
2012-07-21 Adam Chlipala Top.postFields
2012-07-21 Adam Chlipala Basis.giveFocus
2012-07-21 Adam Chlipala New event records for key and mouse handlers
2012-06-03 Adam Chlipala Lighter-weight encoding of window function use
2012-06-02 Adam Chlipala Partitioning and ordering for window functions
2012-05-06 Adam Chlipala Run-time CSS style validation
2012-05-06 Adam Chlipala New optional suffice for 'rewrite' in .urp files: [-]
2012-05-02 Edward Z. Yang Add support for -boot flag, which allows in-tree execution of Ur/Web
2012-02-04 Adam Chlipala Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
2012-02-02 Adam Chlipala 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
2011-12-17 Adam Chlipala Allow .urp libraries to set prefix
2011-12-05 Adam Chlipala Treat [naughtyDebug] as pure for optimization purposes
2011-12-04 Adam Chlipala timeFormat .urp directive
2011-12-03 Adam Chlipala Change client-side debug to use console.debug
2011-12-03 Adam Chlipala Client-side strlenGe
2011-11-24 Adam Chlipala Client-side timef
2011-11-18 Adam Chlipala Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_error
2011-11-17 Ron de Bruijn Add read instance for time on the client
2011-11-14 Adam Chlipala Better error messages about server-side use of client-side functions
2011-10-08 Adam Chlipala Primitive int/float functions: ceil, float, round, trunc
2011-09-11 Adam Chlipala New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov)
2011-09-03 Adam Chlipala An abstract type of IDs
2011-09-03 Adam Chlipala New client-side, document-level event handlers
2011-07-24 Adam Chlipala Client-side 'addSeconds'
2011-07-22 Adam Chlipala Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds
2011-07-06 Adam Chlipala Add client-side Basis.now and pretty-printing of times
2011-06-24 Adam Chlipala 'noXsrfProtection' .urp directive
2011-06-01 Adam Chlipala Handle 'prefix' directives for HTTPS
2011-05-29 Adam Chlipala getHeader and setHeader
2011-03-11 Adam Chlipala Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files
2011-03-02 Adam Chlipala Allow debug and naughtyDebug in client-side code, implemented with alert
2011-02-08 Adam Chlipala Notice that Basis.now is effectful; smarter JavaScript encoding of initial source values built using server-side expressions that can't be turned into JavaScript
2011-01-20 Adam Chlipala Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client
2011-01-13 Adam Chlipala alwaysInline .urp setting
2011-01-11 Adam Chlipala Some more string parsing functions; naughtyDebug
2010-12-26 Adam Chlipala queryString and effectfulUrl
2010-12-24 Adam Chlipala JavaScript compilation of time comparison; fix lexing of XML that includes open parens
2010-12-23 Adam Chlipala [De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
2010-12-20 Adam Chlipala Implement constrained type kinding properly; bump mono inline threshhold
2010-12-11 Adam Chlipala minHeap option in .urp files
2010-11-26 Adam Chlipala Fix JavaScript unit unurlification; URL blessing client-side
2010-10-14 Adam Chlipala -limit for running time
2010-10-14 Adam Chlipala Interface for setting memory limits
2010-09-07 Adam Chlipala Server-side 'onError'
2010-09-05 Adam Chlipala tryDml
2010-08-22 Adam Chlipala Confirm boxes; proper event handler setting for ctags
2010-08-21 Adam Chlipala Some post-type-checking support for polymorphic variants
2010-04-29 Adam Chlipala Add rand to Basis and handle it in Iflow
2010-04-04 Adam Chlipala Generated basic dummy Iflow conditions
2010-04-01 Adam Chlipala Relational operators portability
2010-03-09 Adam Chlipala safeGet
2010-02-27 Adam Chlipala benignEffectful
2010-02-11 Adam Chlipala sigfile directive
2010-01-07 Adam Chlipala Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
2010-01-03 Adam Chlipala Deadlines
2010-01-01 Adam Chlipala Proper client-side attrifyString
2009-12-29 Adam Chlipala Treat getCookie as effectful
2009-12-27 Adam Chlipala Protocol-specific compiler options
2009-12-27 Adam Chlipala Dynamic linking of the runtime system
2009-12-13 Adam Chlipala Initializers and setval
2009-12-08 Adam Chlipala Context globals; ctype functions
2009-12-05 Adam Chlipala Represent FFI function names as strings, to deal with cross-file recursion
2009-11-26 Adam Chlipala More fun with cookies
2009-10-25 Adam Chlipala Inlining threshold for Reduce
2009-10-22 Adam Chlipala Chars working with SQLite
2009-10-22 Adam Chlipala Initial support for char in SQL
2009-08-25 Adam Chlipala Fix inconsistency in bool URLification between C and JavaScript
2009-08-11 Adam Chlipala JavaScript urlifying of bools; correct Link attribute escaping
2009-07-18 Adam Chlipala Key events get key code input
2009-07-18 Adam Chlipala More command-line options
2009-07-18 Adam Chlipala Blobs tested in MySQL and SQLite
2009-07-17 Adam Chlipala Most of demo working with SQLite
2009-07-17 Adam Chlipala MySQL CGI working
2009-07-17 Adam Chlipala Testing nested queries
2009-07-16 Adam Chlipala Demo working with MySQL
2009-07-16 Adam Chlipala Sequence code compiles in MySQL
2009-07-16 Adam Chlipala MySQL accepts generated demo DDL
2009-07-12 Adam Chlipala MySQL demo/sql succeeds in reading no rows
2009-07-12 Adam Chlipala MySQL query gets up to C linking
2009-06-30 Adam Chlipala Validating views
2009-06-30 Adam Chlipala Move all DBMS initialization to #init
2009-06-28 Adam Chlipala Moved nextval code into Settings
2009-06-28 Adam Chlipala Moved dml code into Settings
2009-06-28 Adam Chlipala Moved query code into Settings
2009-06-28 Adam Chlipala Start of multi-DBMS support
2009-06-28 Adam Chlipala Move http protocol into its own file
2009-06-27 Adam Chlipala Successfully starting FastCGI sessions with Apache
2009-06-27 Adam Chlipala Avoid using prepared statements for non-persistent protocols
2009-06-27 Adam Chlipala -debug from the command line
2009-06-23 Adam Chlipala cgi protocol
2009-06-23 Adam Chlipala Initial implementation of protocols in Settings
2009-06-09 Adam Chlipala Mark current as effectful; add List functions
2009-06-07 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
2009-06-02 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
2009-05-31 Adam Chlipala strcspn and friends
2009-05-30 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
2009-05-30 Adam Chlipala String.length
2009-05-26 Adam Chlipala Chars and more string operations
2009-05-23 Adam Chlipala Change monoization of monads to allow partial applications of operations
2009-05-14 Adam Chlipala Improvements while working on Graftid
2009-05-03 Adam Chlipala cookieSec demo
2009-05-02 Adam Chlipala Runtime URL and MIME type filtering
2009-05-02 Adam Chlipala allow/deny working in Mono_opt
2009-05-02 Adam Chlipala Path rewriting
2009-05-02 Adam Chlipala More FFI compiler options
2009-05-02 Adam Chlipala Successfully influenced effectful-ness status of FFI func
2009-04-30 Adam Chlipala C FFI compiler options