log lib/ur/basis.urs

age author description
2011-02-04 Adam Chlipala Subqueries may always return NULL
2011-01-25 Adam Chlipala Allow 'alt' attribute of <img> (suggested by Karn Kallio)
2011-01-23 Adam Chlipala Allow CSS class specification for <form>
2011-01-15 Adam Chlipala Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL
2011-01-13 Adam Chlipala More string processing
2011-01-11 Adam Chlipala Some more string parsing functions; naughtyDebug
2011-01-11 Adam Chlipala String processing optimizations
2011-01-06 Adam Chlipala Basis.currentUrlHasPost
2010-12-28 Adam Chlipala Basis.readUtc
2010-12-26 Adam Chlipala queryString and effectfulUrl
2010-12-26 Adam Chlipala Expose buffer type for other C libraries; replace minusSeconds with addSeconds
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-23 Adam Chlipala Recursive record unification errors, for more detail
2010-12-21 Adam Chlipala Basis.cdataChar
2010-12-21 Adam Chlipala Allow SQL aggregation over nullable types
2010-12-18 Adam Chlipala Periodic tasks
2010-12-18 Adam Chlipala Change tasks to support parametric code; add clientLeaves
2010-12-18 Adam Chlipala postBody type
2010-09-05 Adam Chlipala tryDml
2010-09-05 Adam Chlipala Support multiple CSS classes for a single tag
2010-09-04 Adam Chlipala Add 'title' attribute
2010-08-22 Adam Chlipala Confirm boxes; proper event handler setting for ctags
2010-08-19 Adam Chlipala Polymorphic variants
2010-07-27 Adam Chlipala Roll back WHERE checking
2010-07-27 Adam Chlipala equalAny policies
2010-07-27 Adam Chlipala Initial version of equalKnown working for secret
2010-06-13 Adam Chlipala More generous wildification, covering map-records
2010-06-03 Adam Chlipala Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
2010-04-29 Adam Chlipala Add rand to Basis and handle it in Iflow
2010-04-15 Adam Chlipala 'also' policies and policy reduction; calendar in good shape
2010-04-11 Adam Chlipala sendOwnIds policies
2010-04-11 Adam Chlipala Update policies
2010-04-11 Adam Chlipala Delete policies
2010-04-11 Adam Chlipala Insert policies
2010-04-08 Adam Chlipala Change query_policy to sendClient; all arguments passed to SQL predicates are variables
2010-04-06 Adam Chlipala Introduced the known() predicate
2010-04-04 Adam Chlipala Pushing policies through
2010-03-28 Adam Chlipala Make SELECT FROM clauses optional
2010-03-25 Adam Chlipala Subquery FROM items
2010-03-25 Adam Chlipala Subquery expressions
2010-03-16 Adam Chlipala COUNT(col)
2010-02-13 Adam Chlipala Remove Basis.getRequestHeader, because it can subvert cookie security
2010-01-30 Adam Chlipala Update Makefile.in's with new Autotools; add extra 'return NULL' to placate some -Wall
2010-01-29 Adam Chlipala Small tweaks
2010-01-26 Adam Chlipala <img> has dimensions and needs special HTML handling
2010-01-12 Adam Chlipala Allow escaped backslashes in literals; conversion betwixt int and char
2010-01-07 Adam Chlipala Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
2010-01-05 Adam Chlipala Basis.textBlob; support HTTP requests with no headers
2009-12-31 Adam Chlipala Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
2009-12-29 Adam Chlipala ctextarea; s/header/include in the manual
2009-12-24 Adam Chlipala Updating the manual
2009-12-22 Adam Chlipala Basis.sql_nullable and Top.queryL
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-12-13 Adam Chlipala Weakening-type coercions for SQL values
2009-12-13 Adam Chlipala Better record summary error messages; more tweaking SQL usability
2009-12-13 Adam Chlipala Tweaking SQL parsing and typing
2009-12-12 Adam Chlipala Checked-ness of radio options; Option.get
2009-12-10 Adam Chlipala Basis.currentUrl, plus redirect debugging
2009-12-10 Adam Chlipala Basis.url and redirects
2009-12-08 Adam Chlipala Context globals; ctype functions
2009-11-26 Adam Chlipala More fun with cookies
2009-11-25 Adam Chlipala Add 'id' attributes and <label>
2009-11-01 Adam Chlipala Bidding interface
2009-10-22 Adam Chlipala Initial support for char in SQL
2009-10-22 Adam Chlipala Checking deadline; sign-in
2009-10-20 Adam Chlipala Start of user management
2009-10-06 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
2009-09-19 Adam Chlipala Grid sorting working
2009-09-15 Adam Chlipala Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
2009-08-22 Adam Chlipala Convert to requiring explicit 'rpc' marker
2009-07-18 Adam Chlipala Key events get key code input
2009-07-18 Adam Chlipala Testing new events
2009-07-18 Adam Chlipala Goodbye <font>; hello <h5> and <h6>
2009-07-18 Adam Chlipala Try to add all applicable JavaScript events
2009-06-13 Adam Chlipala <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
2009-06-09 Adam Chlipala Some standard library reorgs and additions; handle mutual datatypes better in Specialize
2009-06-07 Adam Chlipala Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
2009-06-07 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
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-21 Adam Chlipala ccheckbox
2009-05-14 Adam Chlipala cselect.onchange
2009-05-14 Adam Chlipala cselect
2009-05-03 Adam Chlipala outer demo
2009-05-03 Adam Chlipala css demo
2009-05-02 Adam Chlipala Runtime URL and MIME type filtering
2009-04-30 Adam Chlipala <input type='hidden'>
2009-04-30 Adam Chlipala Megaform test
2009-04-30 Adam Chlipala Subforms type-checks; lists urlified and unurlified
2009-04-30 Adam Chlipala Basis.list
2009-04-28 Adam Chlipala Subforms
2009-04-28 Adam Chlipala Preparing to allow views in SELECT FROM clauses
2009-04-28 Adam Chlipala RIGHT and FULL JOIN
2009-04-28 Adam Chlipala LEFT JOIN
2009-04-28 Adam Chlipala INNER JOIN
2009-04-28 Adam Chlipala Switch to using sql_from_items
2009-04-26 Adam Chlipala sql_ufunc and octet_length
2009-04-26 Adam Chlipala blobSize
2009-04-26 Adam Chlipala Returning a blob as page result
2009-04-25 Adam Chlipala Add MIME type to file
2009-04-25 Adam Chlipala Only allow single-file upload per control
2009-04-25 Adam Chlipala Initial support for blobs and upload
2009-04-16 Adam Chlipala Some client-side error handling
2009-04-16 Adam Chlipala Avoid thread death via message receive
2009-04-16 Adam Chlipala Show XML
2009-04-16 Adam Chlipala onError
2009-04-16 Adam Chlipala <link>
2009-04-12 Adam Chlipala Classes as optional arguments to Basis.tag
2009-04-12 Adam Chlipala Stop tracking CSS classes in XML types
2009-04-12 Adam Chlipala hello compiles with CSS
2009-04-12 Adam Chlipala style declarations
2009-04-09 Adam Chlipala URLs
2009-04-09 Adam Chlipala CHECK constraints
2009-04-09 Adam Chlipala More flexible foreign keying
2009-04-09 Adam Chlipala Made type class system very general; demo compiles
2009-04-07 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
2009-04-07 Adam Chlipala PRIMARY KEY