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 |