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 |