2012-03-12 |
Edward Z. Yang |
Refactor SQL parsing code from Iflow to Sql, add querydml parser. |
2012-03-12 |
Edward Z. Yang |
Some minor documentation to the Mono AST. |
2012-03-12 |
Adam Chlipala |
Handle recursive RPC handlers |
2012-03-10 |
Adam Chlipala |
Return to working version mode |
2012-03-10 |
Adam Chlipala |
New release |
2012-03-10 |
Adam Chlipala |
Change <radio> to yield [option string] |
2012-03-03 |
Adam Chlipala |
Avoid URL size limit in RPCs with large arguments |
2012-03-03 |
Adam Chlipala |
Avoid 'not fully determined' errors for fancy tasks |
2012-03-03 |
Adam Chlipala |
Pass non-printing characters through unchanged in sqlifyString, to support UTF-8 |
2012-02-25 |
Adam Chlipala |
Correct an SQL grammar omission (thanks to Alexei Golovko for spotting the problem) |
2012-02-18 |
Adam Chlipala |
Update manual to fix lexical table and clarify sequencing notation |
2012-02-04 |
Adam Chlipala |
Mention FFI encoding of abstract syntax types |
2012-02-04 |
Adam Chlipala |
Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday |
2012-02-04 |
Adam Chlipala |
Extend and document RANDOM |
2012-02-03 |
Adam Chlipala |
Mention convention for parens in selected expressions |
2012-02-02 |
Adam Chlipala |
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn) |
2012-01-23 |
Adam Chlipala |
Fix runtime system handling of <dyn> inside <table> inside <dyn> |
2012-01-15 |
Adam Chlipala |
Fix fetching of keycodes for key events |
2012-01-14 |
Vladimir Shabanov |
Fixed clients mutex initialization for compiling under OS X. |
2012-01-14 |
Adam Chlipala |
Fix bug with 'dynClass' immediately inside <dyn> |
2012-01-13 |
Adam Chlipala |
-dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type |
2012-01-11 |
Adam Chlipala |
Small fix to previous commit |
2012-01-11 |
Adam Chlipala |
New, more principled heuristic for Especialize: only specialize uniform function arguments; that is, arguments that don't change across recursive calls |
2012-01-11 |
Adam Chlipala |
Tweak Especialize heuristic |
2012-01-10 |
Adam Chlipala |
Make Ubuntu linking patch more general |
2012-01-10 |
Adam Chlipala |
Fix some locking issues for client array |
2012-01-10 |
Adam Chlipala |
Properly handle case where an RPC changes signed cookie state |
2012-01-10 |
Adam Chlipala |
Return to working version mode |
2012-01-10 |
Adam Chlipala |
New release |
2012-01-09 |
Adam Chlipala |
Prevent horrifying loops in unification variable graph |
2012-01-09 |
Adam Chlipala |
Tweak Especialize heuristic to prevent non-termination |
2012-01-09 |
Adam Chlipala |
Revert ax_check_openssl.m4 and instead compensate for Ubuntu weirdness in config.sml |
2012-01-08 |
Adam Chlipala |
Fix channel delivery to handle sending of messages for channels whose clients haven't connected yet |
2012-01-07 |
Adam Chlipala |
Finish function argument order-of-operations fix |
2012-01-07 |
Adam Chlipala |
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) |
2012-01-07 |
Adam Chlipala |
Make wildification a bit smarter about ordering of new wildcard declarations |
2012-01-06 |
Adam Chlipala |
Switch default linking order for OpenSSL libs |
2012-01-06 |
Adam Chlipala |
Revert last unification tweak |
2012-01-06 |
Adam Chlipala |
Change linking argument order, based on reported problems in Ubuntu 11.10 |
2012-01-06 |
Adam Chlipala |
Tweak new unification heuristic |
2012-01-05 |
Adam Chlipala |
Prevent unifications of 'others' pieces in record summaries, when both pieces contain unification variables (to prevent undesired unifications) |
2012-01-02 |
Adam Chlipala |
Fix handling of quotes in generating C literals |
2012-01-02 |
Adam Chlipala |
Adapt Monoize serialization to handle freshly created variant types |
2012-01-02 |
Adam Chlipala |
Add arguments to [type] declarations and signature items |
2011-12-31 |
Adam Chlipala |
More documentation on URL generation and free variables |
2011-12-31 |
Adam Chlipala |
Undo change to dyn() in runtime system |
2011-12-31 |
Adam Chlipala |
Error messages about applying 'dynClass' to tags that don't like it |
2011-12-29 |
Adam Chlipala |
Add dynamic content before running its scripts, to get IDs in scope; fix generation of Postgres queries with blobs |
2011-12-29 |
Adam Chlipala |
Rename [Top.id] to avoid clash with [Basis.id] |
2011-12-29 |
Adam Chlipala |
Discuss a subtlety in the semantics of <dyn> |
2011-12-29 |
Adam Chlipala |
Finish updating Grid1 demo to work with type inference change |
2011-12-28 |
Adam Chlipala |
Get a few more source files up-to-date with change to [tag] type |
2011-12-28 |
Adam Chlipala |
Merge |
2011-12-28 |
Adam Chlipala |
More about the JavaScript FFI in the manual |
2011-12-27 |
Adam Chlipala |
'dynClass' pseudo-attribute |
2011-12-21 |
Adam Chlipala |
Refactor HTML contexts to prevent some illegal nestings (that can crash the JavaScript runtime system) |
2011-12-21 |
Adam Chlipala |
Redo HTML context classification, to keep regular <body> tags out of <table> and <tr> |
2011-12-18 |
Adam Chlipala |
Order constructors properly in wildification, to avoid spuriously displeasing the new scoping check |
2011-12-18 |
Adam Chlipala |
Add a new scoping check for unification variables, to fix a type inference bug |
2011-12-18 |
Adam Chlipala |
Manual typo fix |
2011-12-17 |
Adam Chlipala |
Allow .urp libraries to set prefix |
2011-12-17 |
Adam Chlipala |
SQL lower() and upper() functions |
2011-12-17 |
Adam Chlipala |
Fix C-side unurlification of unboxable Option datatypes |
2011-12-11 |
Adam Chlipala |
Some new List functions, based on code by Ron de Bruijn |
2011-12-05 |
Adam Chlipala |
Treat [naughtyDebug] as pure for optimization purposes |
2011-12-04 |
Adam Chlipala |
Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript |
2011-12-04 |
Adam Chlipala |
Make last change nicer |
2011-12-04 |
Adam Chlipala |
Stop [read] from raising an exception for invalid [int] strings |
2011-12-04 |
Adam Chlipala |
timeFormat .urp directive |
2011-12-03 |
Adam Chlipala |
Don't crash on invalid URL head terms during Tag |
2011-12-03 |
Adam Chlipala |
New 't.*' notation for SELECT |
2011-12-03 |
Adam Chlipala |
Nicer record summary error messages |
2011-12-03 |
Adam Chlipala |
Change client-side debug to use console.debug |
2011-12-03 |
Adam Chlipala |
Client-side strlenGe |
2011-12-03 |
Adam Chlipala |
Better error messages about non-SQL-izability of types |
2011-12-03 |
Adam Chlipala |
Avoid setting a Date's time with a non-integer value |
2011-12-03 |
Adam Chlipala |
Change client-side int parsing to match server-side, in ignoring initial zeroes |
2011-12-03 |
Adam Chlipala |
Allow sources to be returned by RPCs |
2011-12-03 |
Adam Chlipala |
Catching integer divisions by zero |
2011-11-30 |
Adam Chlipala |
Update Coq semantics for 8.3pl2 |
2011-11-27 |
Adam Chlipala |
Return to working version mode |
2011-11-27 |
Adam Chlipala |
New release |
2011-11-26 |
Adam Chlipala |
Switch to YUI strftime |
2011-11-25 |
Adam Chlipala |
Support 'safeGet' in demos |
2011-11-25 |
Adam Chlipala |
Fix server-side urlification of custom Option types |
2011-11-25 |
Adam Chlipala |
Announce sidedness errors with source locations |
2011-11-24 |
Adam Chlipala |
Tweak error message about Basis.get to use that name instead of internal name |
2011-11-24 |
Adam Chlipala |
Catch more <ccheckbox> events |
2011-11-24 |
Adam Chlipala |
Client-side timef |
2011-11-24 |
Adam Chlipala |
Mention Basis.current in manual |
2011-11-23 |
Karn Kallio |
Add LIKE operator to SQL sublanguage. |
2011-11-21 |
Adam Chlipala |
Yet another fix to previous change |
2011-11-21 |
Adam Chlipala |
Fix bug in previous change |
2011-11-21 |
Adam Chlipala |
More complete account of URI determination in structure section |
2011-11-20 |
Adam Chlipala |
Don't treat comment-only lines as blank, in determining split point of .urp files |
2011-11-19 |
Adam Chlipala |
COALESCE |
2011-11-19 |
Adam Chlipala |
Better error messages when client-side constructs are detected in Cjrize |
2011-11-18 |
Adam Chlipala |
Fix catalog querying about empty tables |
2011-11-18 |
Adam Chlipala |
Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_error |
2011-11-17 |
Ron de Bruijn |
Merge |
2011-11-17 |
Ron de Bruijn |
Add read instance for time on the client |
2011-11-16 |
Karn Kallio |
Include character encoding in HTTP response headers. |
2011-11-14 |
Adam Chlipala |
Better error messages about server-side use of client-side functions |
2011-11-14 |
Adam Chlipala |
Fix completely broken manual description of 'view' |
2011-11-06 |
Adam Chlipala |
Remove dummy entity |
2011-11-05 |
Adam Chlipala |
Support the full set of XHTML character entities |
2011-11-05 |
Adam Chlipala |
Tweaks to choices of source positions to use in error messages, including for subSgn |
2011-11-05 |
Adam Chlipala |
Adjust for different ml-lex behavior between SML/NJ and MLton |
2011-11-05 |
Adam Chlipala |
Strengthen consNeq, to avoid unwise unifications |
2011-11-05 |
Adam Chlipala |
Fix confusing error message when record unification fails because enclosed types are incompatible |
2011-11-05 |
Adam Chlipala |
Fix SQL grammar bug in manual |
2011-11-02 |
Adam Chlipala |
Remove debug print |
2011-11-02 |
Adam Chlipala |
Handle application in decompileCon |
2011-10-29 |
Adam Chlipala |
Shorter, more focused error messages about undetermined unification variables |
2011-10-28 |
Adam Chlipala |
Clear reducedSummaries |
2011-10-27 |
Adam Chlipala |
Harmonize have/need terminology in error messages; display canceled record summaries on errors |
2011-10-26 |
Adam Chlipala |
Turn off warnings about deprecated functions, to placate silly OpenSSL change for OS X |
2011-10-21 |
Adam Chlipala |
Catch UnboundNamed exceptions that arise from missing signature items |
2011-10-21 |
Adam Chlipala |
Note a parsing restriction in the manual |
2011-10-20 |
Adam Chlipala |
Some notes on 'T' for update/delete combinators |
2011-10-15 |
Adam Chlipala |
Fix parsing conflict |
2011-10-15 |
Adam Chlipala |
Change error message display order: only show disjointness/type class failures if all record unifications succeeded |
2011-10-15 |
Adam Chlipala |
Improved unification of record literals in type class resolution |
2011-10-15 |
Adam Chlipala |
Extend and document 'con' syntax with arguments |
2011-10-15 |
Adam Chlipala |
For new IF, fix Monoize typing and add to manual |
2011-10-14 |
Karn Kallio |
IF THEN ELSE conditional for SQL. |
2011-10-08 |
Adam Chlipala |
Primitive int/float functions: ceil, float, round, trunc |
2011-10-08 |
Adam Chlipala |
Fix wildification for signatures with synonyms |
2011-10-06 |
Adam Chlipala |
Merge |
2011-09-30 |
Ron de Bruijn |
Fix searching for underscore elements in PDF files. |
2011-10-06 |
Adam Chlipala |
Basis.null |
2011-09-25 |
Vladimir Shabanov |
Tweaked Emacs mode to handle many "->" faster. |
2011-09-25 |
Vladimir Shabanov |
Minor tweak to speed up Emacs mode. |
2011-09-24 |
Austin Seipp |
Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL connection string. |
2011-09-22 |
Adam Chlipala |
Resugar tag names before printing parse errors |
2011-09-17 |
Adam Chlipala |
Return to working version mode |
2011-09-17 |
Adam Chlipala |
New release |
2011-09-11 |
Vladimir Shabanov |
Added 'target' attribute for 'a' tag. |
2011-09-11 |
Adam Chlipala |
New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov) |
2011-09-11 |
Adam Chlipala |
Disable C optimization in debug mode |
2011-09-03 |
Adam Chlipala |
Switch type of 'for' attribute |
2011-09-03 |
Adam Chlipala |
An abstract type of IDs |
2011-09-03 |
Adam Chlipala |
New client-side, document-level event handlers |
2011-09-03 |
Adam Chlipala |
Better detection of type class witnesses in local bindings |
2011-08-28 |
Adam Chlipala |
Even gentler handling of back-button returns to pages with stale message-passing credentials |
2011-08-28 |
Adam Chlipala |
Gentle handling of back-button returns to pages with stale message-passing credentials |
2011-08-28 |
Adam Chlipala |
Warn about concurrency issues with message-passing |
2011-08-28 |
Adam Chlipala |
Postgres deadlock triggers unlimited retry |
2011-08-26 |
Adam Chlipala |
Gracefully accept browser's refusal to let us set certain AJAX headers |
2011-08-24 |
Adam Chlipala |
Document monadic shorthands |
2011-08-21 |
Adam Chlipala |
Fix another list unurlification segfault bug; List.foldlMi |
2011-08-21 |
Adam Chlipala |
Add prototypes for [un]urlification functions |
2011-08-21 |
Adam Chlipala |
Fix crash in list unurlification |
2011-08-19 |
Adam Chlipala |
Basis.mkMonad |
2011-08-19 |
Adam Chlipala |
Add antiquote for ORDER BY directions |
2011-08-19 |
Adam Chlipala |
Add timestamps to 'app.js' filenames, to prevent inappropriate caching by browsers |
2011-08-15 |
Adam Chlipala |
Fix bug in JavaScript embedding of lists |
2011-08-15 |
Adam Chlipala |
Compiler frees as much memory as possible before passing control to C compiler |
2011-08-15 |
Adam Chlipala |
List.mapXi |
2011-08-14 |
Adam Chlipala |
Fix bug with <dyn> as first child of <table> |
2011-08-14 |
Adam Chlipala |
Fix list urlification |
2011-08-14 |
Adam Chlipala |
Remove commented-out code |
2011-08-13 |
Karn Kallio |
Handle case where shakeExp can remove datatype. |
2011-08-14 |
Adam Chlipala |
Remove some unnecessary parens |
2011-08-12 |
Karn Kallio |
Distribute applications of "arrow type" ECase across branches. |
2011-08-10 |
Adam Chlipala |
Mention transitive dependency calculation for tree shaking |
2011-08-07 |
Adam Chlipala |
'-dumpTypes' |
2011-08-07 |
Adam Chlipala |
Manual: emphasize how great '-tc' is |
2011-08-06 |
Adam Chlipala |
Better wildification, avoiding some unintentional variable capture |
2011-08-04 |
Adam Chlipala |
Configure correct C compiler options for Pthreads |
2011-08-04 |
Adam Chlipala |
Fix opening of shadowing, principal-signatured modules that open other modules |
2011-08-03 |
Adam Chlipala |
Fix to use of .hg_archival.txt (thanks to Austin Seipp) |
2011-08-02 |
Adam Chlipala |
Improve detection of XML in urweb-mode; small tutorial improvement |
2011-08-02 |
Adam Chlipala |
Compile self-tail-calls as gotos |
2011-08-02 |
Adam Chlipala |
Remove some GCC-specific identifier choice and documentation |
2011-08-02 |
Adam Chlipala |
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng) |
2011-08-02 |
Adam Chlipala |
A few error message improvements |
2011-08-02 |
Adam Chlipala |
Tracking and printing of version numbers (based on a patch by Austin Seipp) |
2011-07-24 |
Adam Chlipala |
List.find |
2011-07-24 |
Adam Chlipala |
Client-side 'addSeconds' |
2011-07-24 |
Adam Chlipala |
<image> |
2011-07-23 |
Adam Chlipala |
A few more tweaks to support Clang (including ending use of nested functions) |
2011-07-23 |
Adam Chlipala |
Stop using -fno-inline by default |
2011-07-22 |
Adam Chlipala |
Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds |
2011-07-20 |
Adam Chlipala |
Tutorial: hyperlinks for metaprogramming and row types |
2011-07-19 |
Adam Chlipala |
Change cookie signature comparison to resist timing attacks (based on code suggested by Robin Green and Austin Seipp) |
2011-07-17 |
Adam Chlipala |
Tutorial: link to demo and manual |
2011-07-17 |
Adam Chlipala |
Copy some project front-page text to the tutorial intro |
2011-07-17 |
Adam Chlipala |
Document tutorial features |
2011-07-17 |
Adam Chlipala |
Tutorial proof-reading |
2011-07-17 |
Adam Chlipala |
Tutorial: TLC meets type classes and modules |
2011-07-17 |
Adam Chlipala |
Tutorial: folders |
2011-07-17 |
Adam Chlipala |
Tutorial: up to First-Class Polymorphism |
2011-07-17 |
Adam Chlipala |
Tutorial: Names and Records |
2011-07-16 |
Adam Chlipala |
In demo prose, note URL for hello demo |
2011-07-16 |
Adam Chlipala |
First tutorial chapter ready |
2011-07-16 |
Adam Chlipala |
Module system tutorial |
2011-07-15 |
Adam Chlipala |
Finish tutorial section about common ML/Haskell features |
2011-07-15 |
Adam Chlipala |
Preserve tutorial indentation |
2011-07-15 |
Adam Chlipala |
Make 'static' protocol handle unlimited retry |
2011-07-15 |
Adam Chlipala |
Tutorial tweaks |
2011-07-15 |
Adam Chlipala |
Tutorial section headings |
2011-07-15 |
Adam Chlipala |
Allow HTML in tutorial comments |
2011-07-15 |
Adam Chlipala |
Beautified tutorial HTML |
2011-07-15 |
Adam Chlipala |
Generated pretty-printed HTML for a simple tutorial source file |
2011-07-15 |
Adam Chlipala |
New release |
2011-07-15 |
Adam Chlipala |
Fixes for detecting pastes and autocompletes for dynamic textboxes |
2011-07-08 |
Adam Chlipala |
Fix manual syntax for SQL injection |
2011-07-06 |
Karn Kallio |
Narrow Maybe match case. |
2011-07-06 |
Adam Chlipala |
Update demo/more for simplified implicit arguments |
2011-07-06 |
Adam Chlipala |
Add client-side Basis.now and pretty-printing of times |
2011-07-03 |
Adam Chlipala |
Change Basis.rand to use cryptographically secure generation |
2011-07-03 |
Adam Chlipala |
Basis.currentUrlHasQueryString |
2011-07-03 |
Karn Kallio |
Fix flift. |
2011-07-03 |
Adam Chlipala |
For non-debug builds, leave out source location info in what is shown to user |
2011-06-28 |
Adam Chlipala |
Clarify about implicit folder arguments |
2011-06-27 |
Robin Green |
recToList |
2011-06-28 |
Robin Green |
top.urs: More comments |
2011-06-26 |
Adam Chlipala |
Workaround for old IE handling of <option> with no 'value' attribute |
2011-06-24 |
Adam Chlipala |
'noXsrfProtection' .urp directive |
2011-06-23 |
Adam Chlipala |
'show' instance for 'css_class' |
2011-06-22 |
Karn Kallio |
Add rowspan attribute to td,th elements. |
2011-06-23 |
Karn Kallio |
xtable monoize to string. |
2011-06-17 |
Adam Chlipala |
Fixes to work nicely with OS X and Clang (thanks to Austin Seipp) |
2011-06-15 |
Adam Chlipala |
Handle spaces in filenames passed to GCC (caught by Zachary Tatlock) |
2011-06-14 |
Adam Chlipala |
Implicit argument insertion for local variables |
2011-06-12 |
Adam Chlipala |
Keep user-set response headers on indirect returns |
2011-06-01 |
Adam Chlipala |
Handle 'prefix' directives for HTTPS |
2011-05-31 |
Adam Chlipala |
Explain how to signal an error in a commit handler |
2011-05-31 |
Adam Chlipala |
Proper C pretty-printing of floats in scientific notation |
2011-05-30 |
Adam Chlipala |
Fix bug with string literals in unAs |
2011-05-30 |
Adam Chlipala |
Remember to remove explicit table projections in SQLite UPDATE SET values |
2011-05-29 |
Adam Chlipala |
getHeader and setHeader |
2011-05-29 |
Adam Chlipala |
Configuration detects proper header files for database dev libraries |
2011-05-29 |
Adam Chlipala |
Properly handle form textboxes that have sources |
2011-05-29 |
Adam Chlipala |
Don't mention 'sessions' in the manual |
2011-05-22 |
Adam Chlipala |
Prevent early clearing of context post data |
2011-05-17 |
Adam Chlipala |
Renumber version in CHANGELOG, since I wasn't ready to release as soon as I expected |
2011-05-15 |
Adam Chlipala |
Grandfather into release: Use latest Debian testing autotools, etc. |
2011-05-15 |
Adam Chlipala |
New release |
2011-05-12 |
Adam Chlipala |
Escape less-than in JavaScript strings |
2011-05-07 |
Karn Kallio |
Include type attribute in script tag for generating valid XHTML. |
2011-05-06 |
Karn Kallio |
Corify Basis.unit to empty record; this is needed so that specialize |
2011-05-01 |
Karn Kallio |
Fix bug in projection of constructors from modules in class rules. |
2011-04-26 |
Karn Kallio |
Fix for projection of type class constructors in signatures. |
2011-04-18 |
Karn Kallio |
Add two html elements: sup and sub |
2011-04-17 |
Adam Chlipala |
Before allowing an indirect return, check (dynamically, for now) that we aren't in an RPC handler |
2011-04-17 |
Adam Chlipala |
Warn that tests ought not to be used |
2011-04-15 |
Adam Chlipala |
Remove commented-out readUtc code; add back indeterminate tm_isdst |
2011-04-13 |
Karn Kallio |
Fix getting UTC time from formatted strings ( in uw_Basis_readUtc ). |
2011-04-10 |
Adam Chlipala |
Send newly created sources with messages to clients |
2011-04-09 |
Adam Chlipala |
Each context gets its own non-repeating sequence of source numbers |
2011-03-28 |
Adam Chlipala |
To generate server-side source JavaScript, try both the old and new strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate |
2011-03-27 |
Adam Chlipala |
Escape strings as needed in some error messages within urweb.c |
2011-03-27 |
Adam Chlipala |
Fix MySQL time handling |
2011-03-26 |
Adam Chlipala |
A Gentoo .ebuild file, based mostly on a contribution by moreilcon |
2011-03-20 |
Adam Chlipala |
'--without-emacs' configure option |
2011-03-20 |
Adam Chlipala |
Fix C compilation of empty records; use DESTDIR in 'make install/uninstall' |
2011-03-19 |
Adam Chlipala |
Fix 'readUtc' to work during DST |
2011-03-18 |
Adam Chlipala |
Fix soundness bug in Effectize, which lead to missing effects in event handlers |
2011-03-18 |
Adam Chlipala |
Exit periodic loop if a ROLLBACK fails, to avoid infinite looping when the database server is brought down |
2011-03-12 |
Adam Chlipala |
Change order of linking database libraries to satisfy Cygwin |
2011-03-12 |
Adam Chlipala |
Add a cast to avoid warnings about toupper() on some platforms |
2011-03-11 |
Adam Chlipala |
Make 'ex' kind-generic |
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-11 |
Adam Chlipala |
Cope with DOS-format line breaks in source code |
2011-03-10 |
Adam Chlipala |
Represent 'unit' as C 'int'; change pattern match compilation to avoid 'goto'; change Postgres prepared statement compilation to make life easier for the GCC escape analysis; all this in support of better tail call optimization |
2011-03-02 |
Adam Chlipala |
Allow debug and naughtyDebug in client-side code, implemented with alert |
2011-02-25 |
Adam Chlipala |
Fix C jsify[String|Char] |
2011-02-25 |
Adam Chlipala |
Deal with Postgres's wonky type-changing for nullable columns of views |
2011-02-25 |
Adam Chlipala |
sql_arith_option; 'ALL' for relational operators |
2011-02-22 |
Adam Chlipala |
Fix HTTP request parsing bug |
2011-02-17 |
Adam Chlipala |
Syntactic sugar for grouping by variable numbers of columns |
2011-02-17 |
Adam Chlipala |
More information in error message about select of field from unbound table |
2011-02-10 |
Adam Chlipala |
Fix some cookie-related bugs in MonoReduce |
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-02-04 |
Adam Chlipala |
Subqueries may always return NULL |
2011-02-03 |
Adam Chlipala |
Allow negative int patterns |
2011-01-25 |
Adam Chlipala |
Allow 'alt' attribute of <img> (suggested by Karn Kallio) |
2011-01-23 |
Adam Chlipala |
Proper error handling for periodic tasks |
2011-01-23 |
Adam Chlipala |
Fix detection of POSTs to error pages |
2011-01-23 |
Adam Chlipala |
Fix monoization of sql_relop (grandfathered into release!) |
2011-01-23 |
Adam Chlipala |
Only announce URI serving in standalone HTTP server (grandfathered into release!) |
2011-01-23 |
Adam Chlipala |
New release |
2011-01-23 |
Adam Chlipala |
Fix issues with empty page buffers for tasks |
2011-01-23 |
Adam Chlipala |
Allow CSS class specification for <form> |
2011-01-22 |
Adam Chlipala |
Using FastCGI debug info |
2011-01-22 |
Adam Chlipala |
Fix parsing of Postgres timestamps with super-microsecond fractional seconds, based on patch from Vladimir Shabanov |
2011-01-20 |
Adam Chlipala |
More fixes for FastCGI |
2011-01-20 |
Adam Chlipala |
Use sigFile again; do redirects in a way that is compatible with FastCGI |
2011-01-20 |
Adam Chlipala |
Some fixes for tasks and onError handlers |
2011-01-20 |
Adam Chlipala |
Fix the two functions I just added |
2011-01-20 |
Adam Chlipala |
queryXI and queryX1I |
2011-01-20 |
Adam Chlipala |
Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client |
2011-01-18 |
Adam Chlipala |
More detail on sources and signals |
2011-01-16 |
Adam Chlipala |
Fix format of THE_PAST timestamp |
2011-01-16 |
Adam Chlipala |
Error message when FOREIGN KEY listts have different lengths |
2011-01-16 |
Adam Chlipala |
Updating documentation in preparation for a release |
2011-01-16 |
Adam Chlipala |
Remove more files on uninstall |
2011-01-16 |
Adam Chlipala |
Fix for handling of some attributes to client-side input widgets, based on a patch from Vladimir Shabanov |
2011-01-16 |
Adam Chlipala |
Patch from Vladimir Shabanov to support crypt under OS X |
2011-01-16 |
Adam Chlipala |
Use -debug flag properly when compiling in single-source mode |
2011-01-15 |
Adam Chlipala |
Fix type-checking of views to match change to sql_query type |
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 |
alwaysInline .urp setting |
2011-01-13 |
Adam Chlipala |
Fixing daylight saving time in time string processing |
2011-01-13 |
Adam Chlipala |
Infer more regions, for sequencing constructs |
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-07 |
Adam Chlipala |
Handle opening of modules that define signatures |
2011-01-06 |
Adam Chlipala |
Basis.currentUrlHasPost |
2011-01-06 |
Adam Chlipala |
Client-side redirects |
2011-01-06 |
Adam Chlipala |
Ignore unknown names in query string name-value pairs; allow any side effects by Extern URLs, without signature checking |
2011-01-06 |
Adam Chlipala |
Expand valueish again |
2011-01-06 |
Adam Chlipala |
Broaden definition of valueish |
2011-01-06 |
Adam Chlipala |
Detect missing 'database' directive; don't compile garbage C files |
2011-01-06 |
Adam Chlipala |
Thanks to Vag Vagoff, catch some cases of an obsolete notation for guarded types in the manual |
2011-01-03 |
Adam Chlipala |
Remove unnecessary #include (patch from Karn Kallio) |
2011-01-02 |
Adam Chlipala |
Add a note about Explify to the manual |
2010-12-30 |
Adam Chlipala |
Fix jsifyTime to work on 32-bit systems |
2010-12-30 |
Adam Chlipala |
Fix new urlifyTime to work properly on 32-bit systems |
2010-12-29 |
Adam Chlipala |
Don't forget to call tzset() |
2010-12-29 |
Adam Chlipala |
Next attempt at getting time parsing right |
2010-12-29 |
Adam Chlipala |
Latest attempt to get readUtc working properly |
2010-12-28 |
Adam Chlipala |
Basis.readUtc |
2010-12-27 |
Adam Chlipala |
Fix time comparison operators; safer saving of queryStrings |
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-26 |
Adam Chlipala |
Switch from libmhash to OpenSSL |
2010-12-25 |
Adam Chlipala |
Include microseconds in uw_Basis_sqlifyTime() output |
2010-12-24 |
Adam Chlipala |
JavaScript compilation of time comparison; fix lexing of XML that includes open parens |
2010-12-24 |
Adam Chlipala |
Changed uw_Basis_time to store microseconds |
2010-12-24 |
Adam Chlipala |
Fix Postgres date serialization |
2010-12-24 |
Adam Chlipala |
Top.queryI1; fix definition of uw_Basis_minTime |
2010-12-24 |
Adam Chlipala |
Add an extra Especialize pass before Rpcify |
2010-12-23 |
Adam Chlipala |
Fix soundness bug in Effectize, where it missed some functions that might have effectful RPCs |
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-21 |
Adam Chlipala |
More detail on Especialize in the manual |
2010-12-21 |
Adam Chlipala |
Hopeful fix to stop Especialize infinite looping |
2010-12-21 |
Adam Chlipala |
Fix manual mistake about '@' notations; remove obsolete demos |
2010-12-20 |
Adam Chlipala |
Remove redundant macro |
2010-12-20 |
Adam Chlipala |
Use proper string time format for SQLite |
2010-12-20 |
Adam Chlipala |
Implement constrained type kinding properly; bump mono inline threshhold |
2010-12-20 |
Adam Chlipala |
Fix manual discussion of tuple syntax |
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-12-16 |
Adam Chlipala |
Restore behavior of not complaining about undetermined unification variables when there are other errors |
2010-12-16 |
Adam Chlipala |
Fiddly tweaks |
2010-12-16 |
Adam Chlipala |
Clarify that you aren't supposed to be able to create new XML tags |
2010-12-16 |
Adam Chlipala |
Enforce character constraints on source filenames |
2010-12-15 |
Adam Chlipala |
Small tweaks to update demos for record unification change |
2010-12-15 |
Adam Chlipala |
Smarter record unification |
2010-12-14 |
Adam Chlipala |
Allow use of path variables in strings with no slashes |
2010-12-14 |
Adam Chlipala |
Bump year on LICENSE |
2010-12-14 |
Adam Chlipala |
Better treatment of relative paths in .urp files |
2010-12-14 |
Adam Chlipala |
Moving Incl and Mem to Meta library |
2010-12-12 |
Adam Chlipala |
Fix merging of prefix settings |
2010-12-12 |
Adam Chlipala |
-prefix command-line option |
2010-12-12 |
Adam Chlipala |
Change Basis.debug to use the protocol's debug function |
2010-12-12 |
Adam Chlipala |
Warn about XHTML looseness |
2010-12-11 |
Adam Chlipala |
minHeap option in .urp files |
2010-12-11 |
Adam Chlipala |
Comments in .urp files |
2010-12-05 |
Marc Weber |
fix small memory leaks |
2010-12-11 |
Adam Chlipala |
Clarifying some C FFI details in manual |
2010-12-04 |
Adam Chlipala |
Update manual to track uw_register_transactional() change |
2010-12-04 |
Adam Chlipala |
New argument to transactional free functions, to specify whether we are about to retry |
2010-12-02 |
Adam Chlipala |
Instantiate any Unit unification variables that remain after elaboration |
2010-12-02 |
Adam Chlipala |
More hnorm during type class resolution |
2010-11-28 |
Adam Chlipala |
More accurate/conservative leaky type detection in CjrPrint |
2010-11-26 |
Adam Chlipala |
Fix JavaScript unit unurlification; URL blessing client-side |
2010-11-21 |
Adam Chlipala |
Fix a bug in C list unurlification |
2010-11-20 |
Adam Chlipala |
queryL1 and List.sort |
2010-11-20 |
Adam Chlipala |
In FastCGI, signal 304 with a header, not the usual HTTP/1.1 line |
2010-11-19 |
Adam Chlipala |
Fix RPC deserialization of channels |
2010-11-19 |
Adam Chlipala |
Simplify Basis.strcat calls in MonoOpt |
2010-11-18 |
Adam Chlipala |
Karn Kallio's patch for static mhash linking |
2010-11-13 |
Adam Chlipala |
More hnormKind for isUnitCon |
2010-11-02 |
Adam Chlipala |
New release |
2010-10-19 |
Adam Chlipala |
Fixes for nasty bugs in Reduce and Especialize |
2010-10-19 |
Adam Chlipala |
Monad.appR3 |
2010-10-19 |
Adam Chlipala |
Monad.appR |
2010-10-19 |
Adam Chlipala |
Smarter handling of unification variables for 'kindof' on projections |
2010-10-17 |
Adam Chlipala |
Simplify type of Monad.appR2 |
2010-10-14 |
Adam Chlipala |
Documenting limits |
2010-10-14 |
Adam Chlipala |
-limit for running time |
2010-10-14 |
Adam Chlipala |
Interface for setting memory limits |
2010-10-11 |
Adam Chlipala |
:::_ notation; switch to TooDeep error message |
2010-10-10 |
Adam Chlipala |
Fix infinite looping bug in Great Unification Fix |
2010-10-10 |
Adam Chlipala |
Tweaking unification fix to apply to demo/more |
2010-10-10 |
Adam Chlipala |
Hopeful fix for the Great Unification Bug |
2010-10-10 |
Adam Chlipala |
Flex kinds for type-level tuples; ::_ notation |
2010-09-30 |
Adam Chlipala |
Demo improvements |
2010-09-30 |
Adam Chlipala |
Mention empty-third-field 'rewrite' directives |
2010-09-16 |
Adam Chlipala |
Fix typing of cut operators; fix lexing of XML comments |
2010-09-09 |
Adam Chlipala |
Support empty datatypes, which can now be generated via 'variant []' |
2010-09-07 |
Adam Chlipala |
Updating documentation |
2010-09-07 |
Adam Chlipala |
Shortcut invocations for single .ur files |
2010-09-07 |
Adam Chlipala |
'tryDml' works with Postgres |
2010-09-07 |
Adam Chlipala |
Server-side 'onError' |
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-22 |
Adam Chlipala |
Reduce: Inline let-bound variables whose types involve functions |
2010-08-21 |
Adam Chlipala |
Some post-type-checking support for polymorphic variants |
2010-08-19 |
Adam Chlipala |
Polymorphic variants |
2010-08-10 |
Adam Chlipala |
Fix C-side jsification of UTF-8 strings |
2010-08-10 |
Adam Chlipala |
Better UTF-8 escaping for JavaScript and SQL literals |
2010-08-10 |
Adam Chlipala |
HTML comments |
2010-08-10 |
Adam Chlipala |
ML-style comments inside XML |
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 |
List.mapi |
2010-06-13 |
Adam Chlipala |
Catch a missed ReduceLocal of field projection annotations |
2010-06-13 |
Adam Chlipala |
More generous wildification, covering map-records |
2010-06-05 |
Adam Chlipala |
Another run of Specialize, using ReduceLocal on datatype parameters |
2010-06-03 |
Adam Chlipala |
Undo fancy wildification; instead, client code should include extra wildcard con declarations |
2010-06-03 |
Adam Chlipala |
Drop in some new autoconf scripts |
2010-06-03 |
Adam Chlipala |
New release |
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-06-01 |
Adam Chlipala |
Allow complex attribute records in Tag |
2010-06-01 |
Adam Chlipala |
Try harder to place wildified 'con' declarations properly |
2010-06-01 |
Adam Chlipala |
Improve consNeq to detect unequal projected cons |
2010-05-30 |
Adam Chlipala |
Include new config.h in C source files |
2010-05-29 |
Adam Chlipala |
Include config.h.in in distribution |
2010-05-27 |
Adam Chlipala |
-moduleOf command-line option; compatibility fixes and better error messages for SQLite |
2010-05-27 |
Adam Chlipala |
Consider view declarations while shaking |
2010-05-27 |
Adam Chlipala |
Fix bug in module path generation with module roots; push wildification through substructures |
2010-05-23 |
Adam Chlipala |
Support HTTP caching of app.js |
2010-05-22 |
Adam Chlipala |
Switch to strings and eval for thunkifying JavaScripted functions |
2010-05-22 |
Adam Chlipala |
Add thunking to CHANGELOG |
2010-05-22 |
Adam Chlipala |
Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically |
2010-05-18 |
Adam Chlipala |
URL-escape with '.' instead of '%', to avoid confusing proxies |
2010-05-16 |
Adam Chlipala |
Fix width/height CSS choices for table rows/columns; stop warning about inability to embed type in JavaScript |
2010-05-16 |
Adam Chlipala |
Fix C-mangling of datatype names |
2010-05-15 |
Adam Chlipala |
Avoid reimplementing conversion to C strings |
2010-05-06 |
Adam Chlipala |
New release |
2010-05-06 |
Adam Chlipala |
Merge |
2010-05-06 |
Adam Chlipala |
Some Iflow improvements for gradebook |
2010-05-01 |
Adam Chlipala |
Safe unmodeled SQL expressions marked as known |
2010-05-01 |
Adam Chlipala |
Basic handling of recursive functions in Iflow |
2010-04-29 |
Adam Chlipala |
Add rand to Basis and handle it in Iflow |
2010-04-29 |
Adam Chlipala |
Complain about DValRec; optimizations for unit-valued ECase and forgetting of path conditions across ESeq |
2010-04-19 |
Adam Chlipala |
Avoid state space explosion with ECase that just writes a constant in each case |
2010-04-18 |
Adam Chlipala |
Fix innappropriate removal of duplicate tables from DML policies |
2010-04-18 |
Adam Chlipala |
Better handling of DELETE and UPDATE |
2010-04-18 |
Adam Chlipala |
Take advantage of equalities between get_cookie calls |
2010-04-18 |
Adam Chlipala |
Use key information in more places, and catch cases where one key completion depends on another having happened already |
2010-04-18 |
Adam Chlipala |
Parsing boolean SQL constants and fixing a related prover bug |
2010-04-17 |
Adam Chlipala |
At loop heads, havoc relations that might be changed by the loop |
2010-04-15 |
Adam Chlipala |
Check for implicit flows via expressions injected into SQL |
2010-04-15 |
Adam Chlipala |
'also' policies and policy reduction; calendar in good shape |
2010-04-15 |
Adam Chlipala |
Parsing ORDER BY |
2010-04-14 |
Adam Chlipala |
Get refurbished Iflow working with calendar |
2010-04-13 |
Adam Chlipala |
More descriptive info flow error message |
2010-04-13 |
Adam Chlipala |
Completely redid main Iflow logic; so far, policy and policy2 work |
2010-04-13 |
Adam Chlipala |
Command-line use of Iflow |
2010-04-13 |
Adam Chlipala |
Catching lame FFI applications |
2010-04-13 |
Adam Chlipala |
Fix problem with overly weak ambients for queries; fix known-related bug in assert for Dt1 |
2010-04-13 |
Adam Chlipala |
When applying multiple policies at once, filter the policy set at the beginning, removing unmatchable policies |
2010-04-13 |
Adam Chlipala |
Avoid pointless rebuilding of hypothesis E-graphs |
2010-04-13 |
Adam Chlipala |
Havoc relations that have been updated |
2010-04-11 |
Adam Chlipala |
sendOwnIds policies |
2010-04-11 |
Adam Chlipala |
Using multiple policies to check a written value |
2010-04-11 |
Adam Chlipala |
Iflow working with a UNION |
2010-04-11 |
Adam Chlipala |
Use functional dependency information |
2010-04-11 |
Adam Chlipala |
Tweaks to table signatures and MonoOpt summarizing |
2010-04-11 |
Adam Chlipala |
Complete update records with fields that are not being set |
2010-04-11 |
Adam Chlipala |
Update policies |
2010-04-11 |
Adam Chlipala |
Express all query outputs using record literals |
2010-04-11 |
Adam Chlipala |
Delete policies |
2010-04-11 |
Adam Chlipala |
Insert policies |
2010-04-10 |
Adam Chlipala |
Constants are known |
2010-04-10 |
Adam Chlipala |
Path conditions, used to track implicit flows |
2010-04-10 |
Adam Chlipala |
Abstract type for evalExp state; handle WHERE conditions soundly |
2010-04-08 |
Adam Chlipala |
Some serious debugging of the new Cc |
2010-04-08 |
Adam Chlipala |
Implemented proper congruence closure, to the point where tests/policy works |
2010-04-08 |
Adam Chlipala |
Change query_policy to sendClient; all arguments passed to SQL predicates are variables |
2010-04-06 |
Adam Chlipala |
secret logon |
2010-04-06 |
Adam Chlipala |
Replaced Select predicate with special-case handling for one-or-no-rows queries |
2010-04-06 |
Adam Chlipala |
About to try removing Select predicate |
2010-04-06 |
Adam Chlipala |
Parsing more comparison operators |
2010-04-06 |
Adam Chlipala |
Parsing float and string SQL literals |
2010-04-06 |
Adam Chlipala |
Checking known() correctly, according to a pair of examples |
2010-04-06 |
Adam Chlipala |
Introduced the known() predicate |
2010-04-04 |
Adam Chlipala |
Parsing more of WHERE |
2010-04-04 |
Adam Chlipala |
WHERE-dependent checking |
2010-04-04 |
Adam Chlipala |
Parsed a WHERE clause |
2010-04-04 |
Adam Chlipala |
Relax checking of table implications |
2010-04-04 |
Adam Chlipala |
Iflow tested with positive and negative cases |
2010-04-04 |
Adam Chlipala |
Generating a good Iflow condition for a test query |
2010-04-04 |
Adam Chlipala |
Generated basic dummy Iflow conditions |
2010-04-04 |
Adam Chlipala |
Pushing policies through |
2010-04-17 |
Adam Chlipala |
Forward reference to URI convention |
2010-04-01 |
Adam Chlipala |
New release |
2010-04-01 |
Adam Chlipala |
Relational operators portability |
2010-03-28 |
Adam Chlipala |
Make SELECT FROM clauses optional |
2010-03-25 |
Adam Chlipala |
'AS' clauses for expression columns may be omitted |
2010-03-25 |
Adam Chlipala |
Add subqueries to the manual |
2010-03-25 |
Adam Chlipala |
Subquery FROM items |
2010-03-25 |
Adam Chlipala |
Subquery expressions |
2010-03-25 |
Adam Chlipala |
New release |
2010-03-16 |
Adam Chlipala |
More informative tag mismatch error message |
2010-03-16 |
Adam Chlipala |
Update manual for COUNT(col) |
2010-03-16 |
Adam Chlipala |
COUNT(col) |
2010-03-16 |
Adam Chlipala |
Remove unpoly1 |
2010-03-16 |
Adam Chlipala |
Undo an Especialize change that turned out to be unecessary |
2010-03-09 |
Adam Chlipala |
Re-add accidentally-removed parsing case for 'effectful' |
2010-03-09 |
Adam Chlipala |
safeGet |
2010-03-09 |
Adam Chlipala |
Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor |
2010-03-07 |
Adam Chlipala |
Got split1 working, but noticed a nasty type inference bug with transplanted unification variables |
2010-03-06 |
Adam Chlipala |
Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly |
2010-03-04 |
Adam Chlipala |
Dead code elimination in Reduce code |
2010-03-04 |
Adam Chlipala |
-verbose |
2010-03-04 |
Adam Chlipala |
Louder jscomp; toUpper/Lower fix for JavaScript |
2010-03-02 |
Adam Chlipala |
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize |
2010-03-02 |
Adam Chlipala |
Monad.foldMapR |
2010-03-02 |
Adam Chlipala |
String.isPrefix |
2010-02-28 |
Adam Chlipala |
Fix parsing of space-free .urp directives; use 'class' for 'c*' tags |
2010-02-28 |
Adam Chlipala |
Changing foldRX to mapX |
2010-02-27 |
Adam Chlipala |
benignEffectful |
2010-02-27 |
Adam Chlipala |
Basic analysis of tag and CSS class usage |
2010-02-25 |
Adam Chlipala |
Normalize URLs to deal with page names that contain apostrophes |
2010-02-25 |
Adam Chlipala |
Use COALESCE to hide NULL results of aggregate functions; fix bug with improper ordering of query result columns |
2010-02-13 |
Adam Chlipala |
Remove Basis.getRequestHeader, because it can subvert cookie security |
2010-02-13 |
Adam Chlipala |
New release |
2010-02-11 |
Adam Chlipala |
'configure' checks for libmhash and MLton |
2010-02-11 |
Adam Chlipala |
sigfile directive |
2010-02-10 |
Adam Chlipala |
Tips for CGI scripts without httpd.conf access |
2010-02-09 |
Adam Chlipala |
Set additional request headers for POST RPCs |
2010-02-09 |
Adam Chlipala |
Update manual with Gian's experience building in OS X |
2010-02-07 |
Adam Chlipala |
Expand 'row types' in first paragraph of manual |
2010-02-07 |
Adam Chlipala |
Tiny Makefile fix for sed style/compatibility |
2010-02-07 |
Adam Chlipala |
Fix .urp parsing for real |
2010-02-07 |
Adam Chlipala |
Fix detection of blank lines in .urp |
2010-02-07 |
Adam Chlipala |
Remove debug prints |
2010-02-07 |
Adam Chlipala |
Call access() with F_OK |
2010-02-07 |
Adam Chlipala |
More fixes for NetBSD support |
2010-02-07 |
Adam Chlipala |
More is*() casts |
2010-02-06 |
Adam Chlipala |
Prototype memmem() |
2010-02-06 |
Adam Chlipala |
Allow .urp files without initial blank lines |
2010-02-06 |
Adam Chlipala |
More casting of isprint() arguments |
2010-02-06 |
Adam Chlipala |
AC_USE_SYSTEM_EXTENSIONS replaces the need for hacky #defines at starts of C files |
2010-02-06 |
Adam Chlipala |
AM_INIT_AUTOMAKE with no-define (to fix some NetBSD and OS X problems) |
2010-02-06 |
Adam Chlipala |
Trying to get urweb.c working for someone in NetBSD |
2010-02-04 |
Adam Chlipala |
Fixes for rooted modules |
2010-02-04 |
Adam Chlipala |
mhash will use saved signature |
2010-01-31 |
Adam Chlipala |
A litter more cautious about NULL applications; plug a memory leak in some Postgres functions |
2010-01-31 |
Adam Chlipala |
Remove mention of (hopefully) fixed problem with ./configure |
2010-01-31 |
Adam Chlipala |
Remove unneeded lib/c directory |
2010-01-30 |
Adam Chlipala |
Another try to include more Autofiles in the distribution |
2010-01-30 |
Adam Chlipala |
Remove a faulty time tweak from Postgres serialization |
2010-01-30 |
Adam Chlipala |
Change to satisfy GCC implicit aliasing rules |
2010-01-30 |
Adam Chlipala |
Update Makefile.in's with new Autotools; add extra 'return NULL' to placate some -Wall |
2010-01-30 |
Adam Chlipala |
New release |
2010-01-29 |
Adam Chlipala |
Small tweaks |
2010-01-28 |
Adam Chlipala |
Run autoreconf at start of 'make reauto' |
2010-01-28 |
Adam Chlipala |
Switch to gcc -Wall |
2010-01-28 |
Adam Chlipala |
Get rid of those pesky symlinks for autotools files |
2010-01-28 |
Adam Chlipala |
First attempt to switch to Automake, to get shared libraries built in OSX |
2010-01-26 |
Adam Chlipala |
Handling errors during commit |
2010-01-26 |
Adam Chlipala |
Using libtool to build and install liburweb* |
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-12 |
Adam Chlipala |
Update manual for last two changesets |
2010-01-12 |
Adam Chlipala |
-path and -root command-line flags |
2010-01-12 |
Adam Chlipala |
Supporting any number of arguments for explicitly exported functions |
2010-01-12 |
Adam Chlipala |
Makefile fix for release |
2010-01-12 |
Adam Chlipala |
New release |
2010-01-10 |
Adam Chlipala |
Reduce concatenations of the empty record; unpoly non-recursive functions |
2010-01-10 |
Adam Chlipala |
Support for protocol-specific expunger dispatch |
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 |
2010-01-05 |
Adam Chlipala |
uw_close() |
2010-01-05 |
Adam Chlipala |
Clear script_header in uw_reset() |
2010-01-05 |
Adam Chlipala |
Loosen parsing of multiplication |
2010-01-03 |
Adam Chlipala |
Database quotas |
2010-01-03 |
Adam Chlipala |
Deadlines |
2010-01-03 |
Adam Chlipala |
Memory limits |
2010-01-03 |
Adam Chlipala |
Proper C-side deserialization; Shake.sliceDb |
2010-01-02 |
Adam Chlipala |
JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript |
2010-01-02 |
Adam Chlipala |
Proper 404 generation |
2010-01-01 |
Adam Chlipala |
Proper [un]urlification of unit |
2010-01-01 |
Adam Chlipala |
Proper client-side attrifyString |
2009-12-31 |
Adam Chlipala |
Eta-expand bodies of transaction functions in Monoization, to enable later optimization |
2009-12-31 |
Adam Chlipala |
Change location of dynamic libraries |
2009-12-31 |
Adam Chlipala |
Protect against NULL applications in a few places |
2009-12-31 |
Adam Chlipala |
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly |
2009-12-30 |
Adam Chlipala |
New release |
2009-12-30 |
Adam Chlipala |
Update manual's description of implicit arguments |
2009-12-29 |
Adam Chlipala |
Treat getCookie as effectful |
2009-12-29 |
Adam Chlipala |
Test case for character code escapes |
2009-12-29 |
Adam Chlipala |
ctextarea; s/header/include in the manual |
2009-12-29 |
Adam Chlipala |
Octal and hexidecimal string escapes |
2009-12-29 |
Adam Chlipala |
Move queue.h to include/ |
2009-12-27 |
Adam Chlipala |
Protocol-specific compiler options |
2009-12-27 |
Adam Chlipala |
Dynamic linking of the runtime system |
2009-12-27 |
Adam Chlipala |
All three current protocols work with move to using uw_app |
2009-12-26 |
Adam Chlipala |
Make summary unification more conservative; infer implicit arguments after applications |
2009-12-25 |
Adam Chlipala |
Catch attempts to mention multiple versions of the same rooted module |
2009-12-25 |
Adam Chlipala |
Alter JavaScript lastParent() to play nice with Firebug |
2009-12-24 |
Adam Chlipala |
Module roots |
2009-12-24 |
Adam Chlipala |
Convenience libifying; allow more NULLs with globals |
2009-12-24 |
Adam Chlipala |
Test for Firebug weirdness |
2009-12-24 |
Adam Chlipala |
Proper JavaScript-side URI escaping/de-escaping; fix C-side URL encoding of big characters |
2009-12-24 |
Adam Chlipala |
-tc flag |
2009-12-24 |
Adam Chlipala |
Updating the manual |
2009-12-23 |
Adam Chlipala |
Don't relify in bigLibs; fix some memory bugs in transactionals |
2009-12-23 |
Adam Chlipala |
Stop skipping Especialization of generated functions; fix Compiler.parseUrp; expose uw_really_write(); allow more NULL arguments to uw_register_transactional() |
2009-12-22 |
Adam Chlipala |
Alternate job-parsing interface, to avoid merging library directives |
2009-12-22 |
Adam Chlipala |
Basis.sql_nullable and Top.queryL |
2009-12-20 |
Adam Chlipala |
Another try at reasonable Especialize, this time with a custom traversal |
2009-12-16 |
Adam Chlipala |
Especialize uses a termination measure based on number of arguments introduced |
2009-12-15 |
Adam Chlipala |
Fix new Especialize security bug: do not duplicate free variables as specialized arguments |
2009-12-15 |
Adam Chlipala |
Initial generalization of Especialize, with security bug known |
2009-12-15 |
Adam Chlipala |
Allow same constructor shorthand for 'view' sig items as for 'table' |
2009-12-15 |
Adam Chlipala |
Convert to task syntax |
2009-12-13 |
Adam Chlipala |
Fixing a bug in DInitializer elaboration |
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 |
Fix lexing of string literals in XML; treat EError as impure in MonoReduce |
2009-12-12 |
Adam Chlipala |
Checked-ness of radio options; Option.get |
2009-12-10 |
Adam Chlipala |
Bug fixes in redirect-related stuff |
2009-12-10 |
Adam Chlipala |
Basis.currentUrl, plus redirect debugging |
2009-12-10 |
Adam Chlipala |
Basis.url and redirects |
2009-12-10 |
Adam Chlipala |
Make oneRowE1 more general |
2009-12-08 |
Adam Chlipala |
Convert ctype is*() function results to booleans |
2009-12-08 |
Adam Chlipala |
Shake bug fix; pattern reduction in ReduceLocal |
2009-12-08 |
Adam Chlipala |
Context globals; ctype functions |
2009-12-08 |
Adam Chlipala |
Fix a Shake bug that led to missing some cons |
2009-12-08 |
Adam Chlipala |
Move to simpler HTML escaping |
2009-12-05 |
Adam Chlipala |
Recursive hnormSgn for projections of signatures from modules |
2009-12-05 |
Adam Chlipala |
Represent FFI function names as strings, to deal with cross-file recursion |
2009-12-03 |
Adam Chlipala |
New release |
2009-12-03 |
Adam Chlipala |
Merge |
2009-12-03 |
Adam Chlipala |
UTF-8 in dynamic escaping |
2009-12-03 |
Adam Chlipala |
Escaping UTF-8 in MonoOpt |
2009-11-27 |
Adam Chlipala |
Fix handling of clearCookie/getCookie in same page gen |
2009-11-26 |
Adam Chlipala |
Port rest of demo to new cookie signature; fix parsing of multiple incoming cookies |
2009-11-26 |
Adam Chlipala |
More fun with cookies |
2009-11-26 |
Adam Chlipala |
Fix parsing of long FastCGI lengths |
2009-11-25 |
Adam Chlipala |
Hint about disallowed attributes |
2009-11-25 |
Adam Chlipala |
Add 'id' attributes and <label> |
2009-11-25 |
Adam Chlipala |
Better error message for link-handler conflicts |
2009-11-25 |
Adam Chlipala |
Refactor compile functions; allow empty tag contents |
2009-11-25 |
Adam Chlipala |
Exit code of 1 on compilation failure |
2009-11-24 |
Adam Chlipala |
New release |
2009-11-24 |
Adam Chlipala |
Explicitly abort in-flight RPCs onunload |
2009-11-22 |
Adam Chlipala |
Proper initial values of dynamic checkboxes in IE |
2009-11-22 |
Adam Chlipala |
Get dynamic <select> working in IE |
2009-11-22 |
Adam Chlipala |
grid0 working in IE |
2009-11-21 |
Adam Chlipala |
Get message-passing working in IE6 |
2009-11-21 |
Adam Chlipala |
Send RPCs with POST, to avoid caching |
2009-11-21 |
Adam Chlipala |
Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags) |
2009-11-21 |
Adam Chlipala |
Fix for lack of 'apply' method of IE6 native functions |
2009-11-17 |
Adam Chlipala |
Hooks for measuring how much interesting proving is going on in elaboration |
2009-11-08 |
Adam Chlipala |
New release |
2009-11-07 |
Adam Chlipala |
Saving paper decisions |
2009-11-02 |
Adam Chlipala |
Decision status placeholder |
2009-11-02 |
Adam Chlipala |
Start of Decision |
2009-11-02 |
Adam Chlipala |
Seeing others' reviews |
2009-11-02 |
Adam Chlipala |
Preload current assignment status |
2009-11-02 |
Adam Chlipala |
Saving paper assignments |
2009-11-02 |
Adam Chlipala |
Switch Monoize back to POST forms |
2009-11-01 |
Adam Chlipala |
Initial form for paper assignment |
2009-11-01 |
Adam Chlipala |
Optimizing str1 in MonoOpt |
2009-11-01 |
Adam Chlipala |
Bidding interface |
2009-10-31 |
Adam Chlipala |
Start of bidding implementation compiles |
2009-10-25 |
Adam Chlipala |
Use call/cc for recv and sleep |
2009-10-25 |
Adam Chlipala |
RPC uses VM support for call/cc |
2009-10-25 |
Adam Chlipala |
Always inline records |
2009-10-25 |
Adam Chlipala |
Extend Fuse to work on non-recursive functions |
2009-10-25 |
Adam Chlipala |
Inlining threshold for Mono_reduce |
2009-10-25 |
Adam Chlipala |
Inlining threshold for Reduce |
2009-10-25 |
Adam Chlipala |
Factor Dnat into separate module |
2009-10-22 |
Adam Chlipala |
Chars working with SQLite |
2009-10-22 |
Adam Chlipala |
Get char working with MySQL |
2009-10-22 |
Adam Chlipala |
Setting and updating your own review |
2009-10-22 |
Adam Chlipala |
Initial support for char in SQL |
2009-10-22 |
Adam Chlipala |
authorship table |
2009-10-22 |
Adam Chlipala |
Viewing papers |
2009-10-22 |
Adam Chlipala |
Move stuff from bulkEdit to meta |
2009-10-22 |
Adam Chlipala |
Title and abstract |
2009-10-22 |
Adam Chlipala |
Checking deadline; sign-in |
2009-10-20 |
Adam Chlipala |
Saving changes to user list |
2009-10-20 |
Adam Chlipala |
Start of user management |
2009-10-20 |
Adam Chlipala |
Registering for Conference1 |
2009-10-20 |
Adam Chlipala |
Adapted existing demos to tuple pattern-matching |
2009-10-20 |
Adam Chlipala |
Add tuple pattern-matching at the constructor level |
2009-10-15 |
Adam Chlipala |
Better subSgn error locations |
2009-10-12 |
Adam Chlipala |
New release |
2009-10-12 |
Adam Chlipala |
Fix some MySQL hijinks |
2009-10-09 |
Adam Chlipala |
Put right date stamp in CHANGELOG |
2009-10-09 |
Adam Chlipala |
New release |
2009-10-06 |
Adam Chlipala |
Versioned1 demo working |
2009-10-06 |
Adam Chlipala |
Initial versioned1 demo working |
2009-10-06 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
2009-10-06 |
Adam Chlipala |
Finalized Orm1 demo |
2009-10-06 |
Adam Chlipala |
Initial Orm1 demo |
2009-10-06 |
Adam Chlipala |
Fix a de Bruijn index bug in map fusion |
2009-10-05 |
Adam Chlipala |
Orm searching |
2009-10-05 |
Adam Chlipala |
Basic CRUD operations in Orm |
2009-10-05 |
Adam Chlipala |
Better location calculation for record unification error messages; infer kind arguments to module-projected variables |
2009-10-05 |
Adam Chlipala |
Mangle local table names to avoid keyword clashes in SQL |
2009-09-26 |
Adam Chlipala |
New release |
2009-09-26 |
Adam Chlipala |
Whitelisting tags that may be self-closed |
2009-09-24 |
Adam Chlipala |
Add tail call optimization to interpretation |
2009-09-24 |
Adam Chlipala |
Grid1 seems to work in latest Firefox |
2009-09-24 |
Adam Chlipala |
Fix sel() generation bug |
2009-09-24 |
Adam Chlipala |
demo/more compiles; small problem left with foreign keys in Grid1 |
2009-09-24 |
Adam Chlipala |
Main demo pieces all seem to work with interpretation |
2009-09-24 |
Adam Chlipala |
demo/increment works with interpretation |
2009-09-24 |
Adam Chlipala |
Might have fixed demo/listEdit |
2009-09-22 |
Adam Chlipala |
demo/react works with interpretation |
2009-09-22 |
Adam Chlipala |
Quoting JavaScript working |
2009-09-22 |
Adam Chlipala |
Compiled an 'option' pattern-match |
2009-09-22 |
Adam Chlipala |
More interpreter debugging |
2009-09-22 |
Adam Chlipala |
Functions working with interpretation |
2009-09-22 |
Adam Chlipala |
Basic arithmetic working with interpretation |
2009-09-22 |
Adam Chlipala |
Hopefully complete refactoring of Jscomp to output ASTs; partial implementation of interpreter in runtime system (demo/alert works) |
2009-09-22 |
Adam Chlipala |
Iterative versions of some JavaScript list functions |
2009-09-19 |
Adam Chlipala |
New release |
2009-09-19 |
Adam Chlipala |
Plugged a JavaScript memory leak |
2009-09-19 |
Adam Chlipala |
Paging + filtering seemingly working, but runtime system isn't GCing signals properly, so performance goes south quickly |
2009-09-19 |
Adam Chlipala |
Progress on sorting + filtering |
2009-09-19 |
Adam Chlipala |
Paging mostly working; just need to get it working properly with filtering |
2009-09-19 |
Adam Chlipala |
Testing Dlist MaxLength with constant value |
2009-09-19 |
Adam Chlipala |
Testing Dlist StartPosition with constant offset |
2009-09-19 |
Adam Chlipala |
Grid sorting working |
2009-09-19 |
Adam Chlipala |
Hopefully fixed Jscomp bug that was breaking Grid |
2009-09-18 |
Adam Chlipala |
Fix C substring implementation |
2009-09-17 |
Adam Chlipala |
Pseudo-sort working with filters |
2009-09-17 |
Adam Chlipala |
Grid changed to use Dlist.replace; filters stopped working |
2009-09-17 |
Adam Chlipala |
Don't try to check if functions are already tail-recursive |
2009-09-17 |
Adam Chlipala |
tail example working |
2009-09-17 |
Adam Chlipala |
Basic tail recursion introduction seems to be working |
2009-09-17 |
Adam Chlipala |
Bad sort functions tested |
2009-09-17 |
Adam Chlipala |
Insert dummy Sort parameter |
2009-09-17 |
Adam Chlipala |
Make filter argument to render, not create |
2009-09-17 |
Adam Chlipala |
Don't try to compile sigString() calls to JavaScript |
2009-09-17 |
Adam Chlipala |
Disable GCC inlining to stop goofy errors |
2009-09-17 |
Adam Chlipala |
Find more opportunities for 'let' inlining with better purity information |
2009-09-17 |
Adam Chlipala |
Print char patterns in C |
2009-09-15 |
Adam Chlipala |
Filters displaying properly |
2009-09-15 |
Adam Chlipala |
Filters displaying awfully |
2009-09-15 |
Adam Chlipala |
Filters implementation type-checking |
2009-09-15 |
Adam Chlipala |
Fix JavaScript char literals; don't generate demo links to nonexistent files |
2009-09-15 |
Adam Chlipala |
Escape character constants; lift indices properly in Reduce 'case' simplification |
2009-09-15 |
Adam Chlipala |
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid |
2009-09-15 |
Adam Chlipala |
Selection working, but switching it on isn't |
2009-09-15 |
Adam Chlipala |
Fix Postgres timestamp round-tripping |
2009-09-15 |
Adam Chlipala |
Fix MySQL timestamp input |
2009-09-15 |
Adam Chlipala |
Summary row with aggregates |
2009-09-15 |
Adam Chlipala |
Include 'key' type in Grid |
2009-09-15 |
Adam Chlipala |
Dropped in initial aggregate types |
2009-09-14 |
Adam Chlipala |
Fix a bug in Jscomp environment calculation for EQuery; smarter embedding of record projection in JavaScript |
2009-09-13 |
Adam Chlipala |
Fix some MySQL bugs |
2009-09-13 |
Adam Chlipala |
Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce |
2009-09-13 |
Adam Chlipala |
Have nullable columns working with Dbgrid |
2009-09-12 |
Adam Chlipala |
Nullable columns *might* be working, but too much JS is generated for the page to load in finite time |
2009-09-12 |
Adam Chlipala |
New release |
2009-09-12 |
Adam Chlipala |
Merge |
2009-09-12 |
Adam Chlipala |
Debugging new string urlification |
2009-09-12 |
Adam Chlipala |
Prevent event bubbling |
2009-09-12 |
Adam Chlipala |
Change string URLification to avoid using the empty string, which confuses Apache no2slash() |
2009-09-10 |
Adam Chlipala |
Add grid CSS ACL |
2009-09-10 |
Adam Chlipala |
Add grid CSS |
2009-09-09 |
Adam Chlipala |
Find chances to use mstrcat() |
2009-09-09 |
Adam Chlipala |
Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining |
2009-09-09 |
Adam Chlipala |
Fix memmem() signature; fix mono_reduce environment bookkeeping |
2009-09-08 |
Adam Chlipala |
'more' demos working after optimizer fix |
2009-09-08 |
Adam Chlipala |
Use cdata for shorter Monad map |
2009-09-08 |
Adam Chlipala |
dragList demo working, save for Gecko load delay and highlighting |
2009-09-08 |
Adam Chlipala |
dragList almost kinda works |
2009-09-08 |
Adam Chlipala |
Start 'more' demo with dbgrid |
2009-08-25 |
Adam Chlipala |
New release |
2009-08-25 |
Adam Chlipala |
Fix structure wildification to take concrete con decls into account |
2009-08-25 |
Adam Chlipala |
Fix inconsistency in bool URLification between C and JavaScript |
2009-08-25 |
Adam Chlipala |
Fix list jsification bug; grid1 working with foreign key, but booleans not getting into database properly |
2009-08-25 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
2009-08-22 |
Adam Chlipala |
Fixed bug in reduce bind-commutation |
2009-08-22 |
Adam Chlipala |
Convert to requiring explicit 'rpc' marker |
2009-08-11 |
Adam Chlipala |
JavaScript urlifying of bools; correct Link attribute escaping |
2009-08-11 |
Adam Chlipala |
Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?: |
2009-08-09 |
Adam Chlipala |
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |
2009-08-06 |
Adam Chlipala |
Fix type class resolution infinite loop, discovered while meeting with Ezra |
2009-08-06 |
Adam Chlipala |
<dyn> inside <tr> |
2009-08-06 |
Adam Chlipala |
dlist add and delete both working in Iceape and Konqueror |
2009-08-06 |
Adam Chlipala |
dlist row add working with Konqueror |
2009-08-06 |
Adam Chlipala |
Tweaking dyn() implementation to get grid working |
2009-08-06 |
Adam Chlipala |
dtable example and demos both working |
2009-07-19 |
Adam Chlipala |
Working on Grid; have gone from one dynamic table bizareness to another |
2009-07-18 |
Adam Chlipala |
FFI manual section |
2009-07-18 |
Adam Chlipala |
New command-line options; describe simple SQLite build in demo intro |
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-07-18 |
Adam Chlipala |
More command-line options |
2009-07-18 |
Adam Chlipala |
Blobs tested in MySQL and SQLite |
2009-07-17 |
Adam Chlipala |
Tweaking demos a bit |
2009-07-17 |
Adam Chlipala |
Fix month off-by-one for MySQL timestamps |
2009-07-17 |
Adam Chlipala |
Timestamps working with SQLite |
2009-07-17 |
Adam Chlipala |
Most of demo working with SQLite |
2009-07-17 |
Adam Chlipala |
demo/sql works with SQLite |
2009-07-17 |
Adam Chlipala |
Check for existence of sequences (MySQL) |
2009-07-17 |
Adam Chlipala |
Avoid preparing the same statement twice |
2009-07-17 |
Adam Chlipala |
MySQL CGI working |
2009-07-17 |
Adam Chlipala |
Fix dependency misordering |
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 |
Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet |
2009-07-12 |
Adam Chlipala |
demo/sql working with MySQL |
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 |
Switch to Information Schema from Postgres catalog |
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 |
FastCGI working with lighttpd |
2009-06-27 |
Adam Chlipala |
.msgs processing in FastCGI |
2009-06-27 |
Adam Chlipala |
Fix memory leak in fastcgi environment management |
2009-06-27 |
Adam Chlipala |
Fix env-reading bug in fastcgi; a bunch of non-AJAXy demos working |
2009-06-27 |
Adam Chlipala |
Serving Hello via FastCGI |
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-23 |
Adam Chlipala |
Further refactoring of request.c to work with CGI |
2009-06-23 |
Adam Chlipala |
Factor out common request functionality, in preparation for supporting different protocols |
2009-06-23 |
Adam Chlipala |
New release |
2009-06-18 |
Adam Chlipala |
Fix a bug with 'Some p' patterns, where 'p' needs specialization |
2009-06-16 |
Adam Chlipala |
Fix a variable capture bug in nested JavaScript; some more list stuff |
2009-06-16 |
Adam Chlipala |
Fix a bug in type class enrichment from substructures |
2009-06-13 |
Adam Chlipala |
Fix MonoReduce unsoundness with lets and fns |
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-09 |
Adam Chlipala |
Mark current as effectful; add List functions |
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 |
List.all; fix ANDALSO/ORELSE parsing precedence |
2009-06-07 |
Adam Chlipala |
&& and || |
2009-06-07 |
Adam Chlipala |
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable |
2009-06-06 |
Adam Chlipala |
Fix unbound name problem in Jscomp injectors; more List stuff |
2009-06-06 |
Adam Chlipala |
List library additions; fix another substructure unification bug |
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-06-02 |
Adam Chlipala |
Tweak -- precedence; use right env for final exhaustiveness errors |
2009-06-02 |
Adam Chlipala |
Fix relative precedence of ; and case-stuff |
2009-06-02 |
Adam Chlipala |
Less whining about match failures; fix singleton record Jscomp bug |
2009-06-02 |
Adam Chlipala |
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module |
2009-05-31 |
Adam Chlipala |
Expose resolveClass from Elaborate |
2009-05-31 |
Adam Chlipala |
Fix pathmap bug; expose lower-level heap manipulation from C |
2009-05-31 |
Adam Chlipala |
strcspn and friends |
2009-05-30 |
Adam Chlipala |
Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly |
2009-05-30 |
Adam Chlipala |
Substring functions; fix a nasty MonoReduce pattern match substitution bug |
2009-05-30 |
Adam Chlipala |
String.length |
2009-05-28 |
Adam Chlipala |
Fix variable adjustment bug in fn/case alternation |
2009-05-28 |
Adam Chlipala |
Fix EDLet elab_util bug |
2009-05-28 |
Adam Chlipala |
Destructing local let, to the point where demo compiles |
2009-05-28 |
Adam Chlipala |
Use a timeout to avoid errors after unload |
2009-05-28 |
Adam Chlipala |
Demo compiles with pattern-matching-fu |
2009-05-28 |
Adam Chlipala |
fn-pattern code in but not tested yet; hello compiles |
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-23 |
Adam Chlipala |
Switch to Maranget's pattern exhaustiveness algorithm |
2009-05-21 |
Adam Chlipala |
Change List.mapM' to avoid leaving functions around |
2009-05-21 |
Adam Chlipala |
ccheckbox |
2009-05-21 |
Adam Chlipala |
Split JavaScript inp() into separate functions |
2009-05-17 |
Adam Chlipala |
Redo Jscomp |
2009-05-17 |
Adam Chlipala |
Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce |
2009-05-17 |
Adam Chlipala |
Corify FFI datatypes properly; eliminate nested JavaScript markers |
2009-05-16 |
Adam Chlipala |
Loading an FCKeditor |
2009-05-16 |
Adam Chlipala |
Fix initialization of cselect from source |
2009-05-16 |
Adam Chlipala |
Fix another problem with overwrites during JavaScript pattern matching |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Cjrize |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Pathcheck |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Effectize |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Corify |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Elaborate |
2009-05-16 |
Adam Chlipala |
Add extra XML preamble nonsense |
2009-05-16 |
Adam Chlipala |
Catch more unclosed bodyless tags in Monoize |
2009-05-16 |
Adam Chlipala |
Fix a Core_untangle bug that missed closure variable references; XHTMLize |
2009-05-14 |
Adam Chlipala |
Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp |
2009-05-14 |
Adam Chlipala |
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
2009-05-14 |
Adam Chlipala |
cselect.onchange |
2009-05-14 |
Adam Chlipala |
Improvements while working on Graftid |
2009-05-14 |
Adam Chlipala |
cselect |
2009-05-14 |
Adam Chlipala |
Fix a nasty binding bug in CoreUtil |
2009-05-14 |
Adam Chlipala |
Testing custom paths |
2009-05-14 |
Adam Chlipala |
Improving/reordering Unpoly and Especialize; pathmaps |
2009-05-13 |
Adam Chlipala |
Stop potential buffer overrun of path_copy |
2009-05-12 |
Adam Chlipala |
Improvements while working on Graftid |
2009-05-10 |
Adam Chlipala |
Use Ur/Web library .mlb |
2009-05-05 |
Adam Chlipala |
Tag CHANGELOG with release date |
2009-05-05 |
Adam Chlipala |
Describe GET/POST |
2009-05-05 |
Adam Chlipala |
Constraint syntax |
2009-05-05 |
Adam Chlipala |
on* handlers |
2009-05-05 |
Adam Chlipala |
Revised query types |
2009-05-05 |
Adam Chlipala |
Table constraint Ur code |
2009-05-05 |
Adam Chlipala |
Revising manual through end of Section 6 |
2009-05-05 |
Adam Chlipala |
Revising manual through end of Section 3 |
2009-05-05 |
Adam Chlipala |
Make Effectize more precise |
2009-05-03 |
Adam Chlipala |
crud3 demo |
2009-05-03 |
Adam Chlipala |
subforms demo |
2009-05-03 |
Adam Chlipala |
cookieSec demo |
2009-05-03 |
Adam Chlipala |
view demo |
2009-05-03 |
Adam Chlipala |
outer demo |
2009-05-03 |
Adam Chlipala |
upload demo |
2009-05-03 |
Adam Chlipala |
css demo |
2009-05-03 |
Adam Chlipala |
url demo |
2009-05-03 |
Adam Chlipala |
constraints demo |
2009-05-02 |
Adam Chlipala |
Update FFI type of Basis.self |
2009-05-02 |
Adam Chlipala |
FFI transactionals |
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 |
Add 'library' directive |
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 |
2009-04-30 |
Adam Chlipala |
Lexing character entities |
2009-04-30 |
Adam Chlipala |
List notations |
2009-04-30 |
Adam Chlipala |
<input type='hidden'> |
2009-04-30 |
Adam Chlipala |
Megaform test |
2009-04-30 |
Adam Chlipala |
subforms working |
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 |
Views in CHANGELOG |
2009-04-28 |
Adam Chlipala |
A view query works |
2009-04-28 |
Adam Chlipala |
Preparing to allow views in SELECT FROM clauses |
2009-04-28 |
Adam Chlipala |
Outer joins in CHANGELOG |
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 |
Extra checks on assumptions about SQL results |
2009-04-26 |
Adam Chlipala |
sql_ufunc and octet_length |
2009-04-26 |
Adam Chlipala |
blobSize |
2009-04-26 |
Adam Chlipala |
Blobs in CHANGELOG |
2009-04-26 |
Adam Chlipala |
Handling nullable blobs |
2009-04-26 |
Adam Chlipala |
Reading blobs from the database |
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 |
Prepared statements with blobs |
2009-04-25 |
Adam Chlipala |
Initial support for blobs and upload |
2009-04-23 |
Adam Chlipala |
Cookie signatures for RPCs |
2009-04-23 |
Adam Chlipala |
Only use cookie signatures when cookies might be read |
2009-04-16 |
Adam Chlipala |
Cookie signing working for forms |
2009-04-16 |
Adam Chlipala |
Add more buttons to demo, to avoid effectful GET |
2009-04-16 |
Adam Chlipala |
Effectness analysis |
2009-04-16 |
Adam Chlipala |
Label exported symbols by effect-ness; factor out some common datatypes |
2009-04-16 |
Adam Chlipala |
POST support |
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 |
Catching duplicate cookie and style paths |
2009-04-16 |
Adam Chlipala |
<link> |
2009-04-13 |
Adam Chlipala |
Simplify type class requirement for tree demo |
2009-04-12 |
Adam Chlipala |
Tiny increment to style test |
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 |
Update CHANGELOG |
2009-04-09 |
Adam Chlipala |
Use FOREIGN KEY in Tree demo |
2009-04-09 |
Adam Chlipala |
CHECK constraints |
2009-04-09 |
Adam Chlipala |
Retry failed record summary unifications at the end, in hopes that more has been learned |
2009-04-09 |
Adam Chlipala |
More flexible foreign keying |
2009-04-09 |
Adam Chlipala |
Made type class system very general; demo compiles |
2009-04-08 |
Adam Chlipala |
Get demo type-inferring again |
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 |
Add primary keys to demo |
2009-04-07 |
Adam Chlipala |
PRIMARY KEY |
2009-04-07 |
Adam Chlipala |
Enhance table sig item support and get demo compiling again |
2009-04-07 |
Adam Chlipala |
Track uniqueness sets in table types |
2009-04-07 |
Adam Chlipala |
UNIQUE constraints |
2009-04-05 |
Adam Chlipala |
Fixing some regressions and other bugs |
2009-04-05 |
Adam Chlipala |
CHANGELOG before release |
2009-04-05 |
Adam Chlipala |
Update the manual |
2009-04-05 |
Adam Chlipala |
Initialize contexts a little more vigorously |
2009-04-05 |
Adam Chlipala |
Chat demo |
2009-04-05 |
Adam Chlipala |
RoundTrip demo |
2009-04-05 |
Adam Chlipala |
Threads demo |
2009-04-05 |
Adam Chlipala |
Avoid generating empty <script> blocks |
2009-04-04 |
Adam Chlipala |
sleep and better Scriptcheck |
2009-04-04 |
Adam Chlipala |
spawn |
2009-04-04 |
Adam Chlipala |
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned |
2009-04-04 |
Adam Chlipala |
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active |
2009-04-04 |
Adam Chlipala |
Checking spans in dyns |
2009-04-02 |
Adam Chlipala |
Redo signal implementation to avoid memory leaks |
2009-04-02 |
Adam Chlipala |
Make sure only one pull request runs at a time for each client |
2009-04-02 |
Adam Chlipala |
Detect serialization failures |
2009-04-02 |
Adam Chlipala |
On start-up, delete/nullify rows mentioning clients or channels |
2009-04-02 |
Adam Chlipala |
Don't self-update ctextboxes unnecessarily |
2009-04-02 |
Adam Chlipala |
Stop holding client locks throughout request processing |
2009-03-29 |
Adam Chlipala |
Expunging nullable fields |
2009-03-29 |
Adam Chlipala |
Expunging non-nullable rows |
2009-03-29 |
Adam Chlipala |
Redo channels, making them single-client |
2009-03-28 |
Adam Chlipala |
Switch back to starting listener on load |
2009-03-28 |
Adam Chlipala |
Marshalcheck |
2009-03-26 |
Adam Chlipala |
Chat example working nicely, but without dead channel removal |
2009-03-26 |
Adam Chlipala |
Preliminary work supporting channels in databases |
2009-03-26 |
Adam Chlipala |
Enforce termination of type class instances |
2009-03-26 |
Adam Chlipala |
Make sql_injectable class nicer with inclusion |
2009-03-26 |
Adam Chlipala |
Type class inclusions |
2009-03-26 |
Adam Chlipala |
Type class reductions, but no inclusions yet |
2009-03-24 |
Adam Chlipala |
Variable timeouts and client keep-alive |
2009-03-24 |
Adam Chlipala |
Fix some AJAX annoyances |
2009-03-24 |
Adam Chlipala |
Transactionalize channel operations |
2009-03-22 |
Adam Chlipala |
Proper recv |
2009-03-22 |
Adam Chlipala |
Press a button to send a message |
2009-03-22 |
Adam Chlipala |
First message send delivered, but not interpreted |
2009-03-19 |
Adam Chlipala |
Dummy message delivery to clients |
2009-03-19 |
Adam Chlipala |
Factor out some common buffer functionality |
2009-03-12 |
Adam Chlipala |
Mention src/coq in CHANGELOG |
2009-03-12 |
Adam Chlipala |
Spell-check manual |
2009-03-12 |
Adam Chlipala |
Update CHANGELOG |
2009-03-12 |
Adam Chlipala |
Add guard elim rule |
2009-03-12 |
Adam Chlipala |
Update compiler phases |
2009-03-12 |
Adam Chlipala |
Describe AJAX RPC structure |
2009-03-12 |
Adam Chlipala |
Functional-reactive subsection |
2009-03-12 |
Adam Chlipala |
Update old Ur/Web library section, before adding new stuff |
2009-03-12 |
Adam Chlipala |
Describe folders |
2009-03-12 |
Adam Chlipala |
Revise type inference section |
2009-03-12 |
Adam Chlipala |
Revise manual, through static semantics |
2009-03-12 |
Adam Chlipala |
Revise manual, through end of Syntax |
2009-03-12 |
Adam Chlipala |
Change location/type of [fold] to be more uniform w.r.t. derived folders |
2009-03-12 |
Adam Chlipala |
Revising manual, through main syntax section |
2009-03-10 |
Adam Chlipala |
Noisy demo |
2009-03-10 |
Adam Chlipala |
BatchG demo |
2009-03-10 |
Adam Chlipala |
Batch example |
2009-03-10 |
Adam Chlipala |
Increment demo |
2009-03-10 |
Adam Chlipala |
Prose for ListEdit |
2009-03-10 |
Adam Chlipala |
ListEdit demo, minus prose |
2009-03-10 |
Adam Chlipala |
React demo |
2009-03-10 |
Adam Chlipala |
Alert demo |
2009-03-10 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
2009-03-09 |
Adam Chlipala |
Conversion of functions to CPS, to facilitate ServerCall |
2009-03-08 |
Adam Chlipala |
RPC returning an option |
2009-03-08 |
Adam Chlipala |
RPC returning a default datatype |
2009-03-08 |
Adam Chlipala |
RPC returning an option datatype |
2009-03-08 |
Adam Chlipala |
RPC returning an enumeration |
2009-02-26 |
Adam Chlipala |
Kind-polymorphic [fst] and friends |
2009-02-26 |
Adam Chlipala |
Coq README |
2009-02-24 |
Adam Chlipala |
Coq formalization uses TDisjoint |
2009-02-24 |
Adam Chlipala |
Folder generation for functors |
2009-02-24 |
Adam Chlipala |
Folder generation for functions |
2009-02-24 |
Adam Chlipala |
Demos compile again, with manual folders |
2009-02-24 |
Adam Chlipala |
Make folders abstract |
2009-02-24 |
Adam Chlipala |
Top.Fold.mp |
2009-02-24 |
Adam Chlipala |
Top.Fold.concat elaborates |
2009-02-24 |
Adam Chlipala |
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses |
2009-02-22 |
Adam Chlipala |
demo/sum working with manual folders |
2009-02-22 |
Adam Chlipala |
demo/hello compiles with kind polymorphism |
2009-02-22 |
Adam Chlipala |
Turned off termination checking, for now |
2009-02-22 |
Adam Chlipala |
Kind polymorphism through Explify |
2009-02-22 |
Adam Chlipala |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
2009-02-21 |
Adam Chlipala |
Debug reverse-engineering unification |
2009-02-21 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
2009-02-21 |
Adam Chlipala |
Finish semantics for Featherweight Ur |
2009-02-21 |
Adam Chlipala |
Time to start thinking about guards |
2009-02-21 |
Adam Chlipala |
Most of expression semantics |
2009-02-21 |
Adam Chlipala |
map-only syntax and semantics |
2009-02-18 |
Adam Chlipala |
Semantics for ordered rows only |
2009-02-17 |
Adam Chlipala |
Start of Featherweight Ur semantics |
2009-02-15 |
Adam Chlipala |
Parameterized RPC query |
2009-02-15 |
Adam Chlipala |
Initial parsing of RPC results |
2009-02-15 |
Adam Chlipala |
Detect AJAX call failures |
2009-02-15 |
Adam Chlipala |
Avoid extra slashes in Cjr urlification |
2009-02-15 |
Adam Chlipala |
Reading and displaying value via AJAX |
2009-02-15 |
Adam Chlipala |
First gimpy RPC |
2009-02-15 |
Adam Chlipala |
Export RPC functions and push RPC calls through to Mono |
2009-02-14 |
Adam Chlipala |
Start of RPCification |
2009-01-27 |
Adam Chlipala |
Use normal fields of ctextboxes |
2009-01-17 |
Adam Chlipala |
dlist2 working swimmingly |
2009-01-17 |
Adam Chlipala |
Add dynamic content under proper parents |
2009-01-16 |
Adam Chlipala |
dlist example working |
2009-01-13 |
Adam Chlipala |
Combine lib* directories |
2009-01-13 |
Adam Chlipala |
Initial experiments with nested <dyn> |
2009-01-11 |
Adam Chlipala |
Do proper insertion of dynamic content within nested DOM containers |
2009-01-11 |
Adam Chlipala |
Use header to set default script type |
2009-01-11 |
Adam Chlipala |
Hooking a source into an input |
2009-01-08 |
Adam Chlipala |
Injected a non-special-case datatype |
2009-01-08 |
Adam Chlipala |
Injected a polymorphic, recursive type |
2009-01-08 |
Adam Chlipala |
Injected an enumeration |
2009-01-02 |
Adam Chlipala |
Injected an option |
2009-01-02 |
Adam Chlipala |
Injected a record |
2009-01-01 |
Adam Chlipala |
Injecting strings and bools |
2009-01-01 |
Adam Chlipala |
Injecting a float |
2009-01-01 |
Adam Chlipala |
Injecting an int |
2009-01-01 |
Adam Chlipala |
Included a recursive function in JavaScript |
2009-01-01 |
Adam Chlipala |
Basic datatype reactives |
2009-01-01 |
Adam Chlipala |
Reactive if |
2009-01-01 |
Adam Chlipala |
Reactive bool |
2009-01-01 |
Adam Chlipala |
Reactive record pattern |
2009-01-01 |
Adam Chlipala |
Used an option as a source |
2009-01-01 |
Adam Chlipala |
Reactive computation with more base types and records |
2009-01-01 |
Adam Chlipala |
Source containing an int |
2008-12-30 |
Adam Chlipala |
Double-bind works |
2008-12-30 |
Adam Chlipala |
Propagating a change through a bind |
2008-12-30 |
Adam Chlipala |
Propagated a source change into a dynamic document element |
2008-12-30 |
Adam Chlipala |
Harmonized source-setting between server and client |
2008-12-30 |
Adam Chlipala |
Setting a source server-side |
2008-12-30 |
Adam Chlipala |
Merge |
2008-12-30 |
Adam Chlipala |
Starting to implement source set |
2008-12-21 |
Adam Chlipala |
Trivial use of a source |
2008-12-24 |
Adam Chlipala |
More manual bug reports from megacz |
2008-12-21 |
Adam Chlipala |
Handling singnal bind |
2008-12-21 |
Adam Chlipala |
Switch to using dyn() function in JavaScript |
2008-12-20 |
Adam Chlipala |
Typo report from megacz |
2008-12-20 |
Adam Chlipala |
Successfully generated a page element from a signal |
2008-12-20 |
Adam Chlipala |
Initial <dyn> support |
2008-12-20 |
Adam Chlipala |
Start of JsComp |
2008-12-19 |
Adam Chlipala |
Displayed an alert dialog |
2008-12-19 |
Adam Chlipala |
Creation of sources in server code |
2008-12-19 |
Adam Chlipala |
Monad type class seems to be working |
2008-12-19 |
Adam Chlipala |
Initial conversion to arbitrary-kind classes |
2008-12-19 |
Adam Chlipala |
Add initial C support for reactive |
2008-12-09 |
Adam Chlipala |
Prepare to release |
2008-12-09 |
Adam Chlipala |
Spell check |
2008-12-09 |
Adam Chlipala |
Add SQL arithmetic operators |
2008-12-09 |
Adam Chlipala |
Proofreading pass |
2008-12-09 |
Adam Chlipala |
Building an application |
2008-12-09 |
Adam Chlipala |
.urp files |
2008-12-09 |
Adam Chlipala |
Installation |
2008-12-07 |
Adam Chlipala |
Intro |
2008-12-07 |
Adam Chlipala |
The structure of web applications |
2008-12-07 |
Adam Chlipala |
Compiler phases |
2008-12-07 |
Adam Chlipala |
XML syntax |
2008-12-07 |
Adam Chlipala |
DML |
2008-12-07 |
Adam Chlipala |
Query syntax |
2008-12-07 |
Adam Chlipala |
Treat user-provided error messages as XML |
2008-12-07 |
Adam Chlipala |
XML |
2008-12-07 |
Adam Chlipala |
Sequences |
2008-12-07 |
Adam Chlipala |
DML |
2008-12-07 |
Adam Chlipala |
Finish documenting queries; remove a stray [unit] argument |
2008-12-07 |
Adam Chlipala |
Start of sql_exp |
2008-12-06 |
Adam Chlipala |
Start of Ur/Web library |
2008-12-06 |
Adam Chlipala |
Type inference |
2008-11-29 |
Adam Chlipala |
Module projection |
2008-11-29 |
Adam Chlipala |
selfify |
2008-11-29 |
Adam Chlipala |
Module typing |
2008-11-29 |
Adam Chlipala |
Signature compatibility |
2008-11-29 |
Adam Chlipala |
Signature compatibility |
2008-11-29 |
Adam Chlipala |
Declaration typing |
2008-11-29 |
Adam Chlipala |
Pattern typing |
2008-11-29 |
Adam Chlipala |
Typing |
2008-11-29 |
Adam Chlipala |
Definitional equality |
2008-11-29 |
Adam Chlipala |
Disjointness |
2008-11-29 |
Adam Chlipala |
Kinding |
2008-11-27 |
Adam Chlipala |
Shorthands |
2008-11-27 |
Adam Chlipala |
Declarations and modules |
2008-11-27 |
Adam Chlipala |
Expressions |
2008-11-27 |
Adam Chlipala |
Patterns |
2008-11-27 |
Adam Chlipala |
Signatures |
2008-11-27 |
Adam Chlipala |
Start of manual |
2008-11-27 |
Adam Chlipala |
Note optimizations in changelog |
2008-11-27 |
Adam Chlipala |
Avoid Especializing polymorphic code |
2008-11-27 |
Adam Chlipala |
Ditch use of ElabEnv.env in Especialize, to realize big speed-up |
2008-11-27 |
Adam Chlipala |
Untangle and shake within Especialize loop |
2008-11-27 |
Adam Chlipala |
Optimize CoreUntangle |
2008-11-27 |
Adam Chlipala |
Remove some isUnitCon cases |
2008-11-27 |
Adam Chlipala |
Catch another unneeded lift in ElabEnv.pushCRel |
2008-11-27 |
Adam Chlipala |
Optimized ElabOps.subConInCon |
2008-11-27 |
Adam Chlipala |
Stop using redundant Defunc pass |
2008-11-27 |
Adam Chlipala |
Remove unnecessary lifts in ElabEnv.pushCRel |
2008-11-27 |
Adam Chlipala |
Remove unnecessary [kindof] calls |
2008-11-26 |
Adam Chlipala |
Port Reduce improvements to ReduceLocal |
2008-11-26 |
Adam Chlipala |
crud1 compiles with new Reduce |
2008-11-26 |
Adam Chlipala |
Fix environments for repeat visits for exp reduction |
2008-11-26 |
Adam Chlipala |
Most exp rules for new Reduce |
2008-11-26 |
Adam Chlipala |
Start of new Reduce |
2008-11-25 |
Adam Chlipala |
Profiling in Makefile |
2008-11-25 |
Adam Chlipala |
Fusing writes with recursive function calls |
2008-11-23 |
Adam Chlipala |
Ignore SIGPIPE |
2008-11-20 |
Adam Chlipala |
Update CHANGELOG for 20081120 |
2008-11-20 |
Adam Chlipala |
Fixing demo prose |
2008-11-20 |
Adam Chlipala |
Profiling support |
2008-11-20 |
Adam Chlipala |
Some demo improvements |
2008-11-20 |
Adam Chlipala |
Fix missing initial <html> after restarts |
2008-11-20 |
Adam Chlipala |
Update Crud demo to use local functions |
2008-11-18 |
Adam Chlipala |
Extend prose about server .exes |
2008-11-18 |
Adam Chlipala |
Tag CHANGELOG with release number |
2008-11-18 |
Adam Chlipala |
Mention Especialize in CHANGELOG |
2008-11-12 |
Adam Chlipala |
Fix type calculation for applying-a-case optimization |
2008-11-12 |
Adam Chlipala |
Map distributivity rule in hnormCon |
2008-11-12 |
Adam Chlipala |
Add CutMulti |
2008-11-11 |
Adam Chlipala |
Handle nullary transaction pages; avoid marking up headers array when reading cookies |
2008-11-11 |
Adam Chlipala |
Fix demo regression |
2008-11-11 |
Adam Chlipala |
More ThreadedBlog progress |
2008-11-11 |
Adam Chlipala |
Ignore UseRel effects in [let] expansions |
2008-11-11 |
Adam Chlipala |
Get preliminary ThreadedBlog working |
2008-11-11 |
Adam Chlipala |
Get threadedBlog to work |
2008-11-09 |
Adam Chlipala |
Remove some allocation |
2008-11-09 |
Adam Chlipala |
Prevent overzealous Especialization |
2008-11-09 |
Adam Chlipala |
Defunctionalization gets CommentBlog working |
2008-11-09 |
Adam Chlipala |
Remove an extra line |
2008-11-09 |
Adam Chlipala |
Especialize working reasonably well; need to add new closure representation pass |
2008-11-08 |
Adam Chlipala |
Better detection of [let] substitution opportunities |
2008-11-08 |
Adam Chlipala |
Especialize handles records better |
2008-11-08 |
Adam Chlipala |
Broaden set of possible especializations |
2008-11-08 |
Adam Chlipala |
Some small changes while failing to write [restrict] |
2008-11-08 |
Adam Chlipala |
Add help text for generated web servers |
2008-11-08 |
Adam Chlipala |
Handle EError returning a function; handle multiple cookies in one input header |
2008-11-08 |
Adam Chlipala |
Fix parsing of last input header |
2008-11-08 |
Adam Chlipala |
[getCookie] reads cookie settings from current page generation |
2008-11-08 |
Adam Chlipala |
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files |
2008-11-08 |
Adam Chlipala |
Generated web servers use getopt() |
2008-11-07 |
Adam Chlipala |
Tree demo working (and other assorted regressions fixed) |
2008-11-06 |
Adam Chlipala |
Tree demo works |
2008-11-06 |
Adam Chlipala |
About to begin optimization of recursive transaction functions |
2008-11-06 |
Adam Chlipala |
Ensql'ing nullables |
2008-11-06 |
Adam Chlipala |
Inserted a NULL value |
2008-11-06 |
Adam Chlipala |
Cookies work across pages |
2008-11-06 |
Adam Chlipala |
Cookie prose; fix bugs that broke demo compilation |
2008-11-06 |
Adam Chlipala |
Cookie demo code; fix error message display |
2008-11-06 |
Adam Chlipala |
Reading cookies works |
2008-11-06 |
Adam Chlipala |
Setting a cookie |
2008-11-06 |
Adam Chlipala |
Cookies through shake2 |
2008-11-06 |
Adam Chlipala |
Cookies through explify |
2008-11-06 |
Adam Chlipala |
Cookies through elaborate |
2008-11-06 |
Adam Chlipala |
Avoid allocating strings for requestHeader |
2008-11-06 |
Adam Chlipala |
Request header reading works |
2008-11-06 |
Adam Chlipala |
Monoizing FFI transactions correctly |
2008-11-04 |
Adam Chlipala |
Nested demo |
2008-11-02 |
Adam Chlipala |
Nested save compiles |
2008-11-02 |
Adam Chlipala |
Almost have that nested save function compiling |
2008-11-01 |
Adam Chlipala |
Fix some type-class detection |
2008-11-01 |
Adam Chlipala |
Remove empty writes |
2008-11-01 |
Adam Chlipala |
Wrapping works in Blog |
2008-11-01 |
Adam Chlipala |
Explify 'let' |
2008-11-01 |
Adam Chlipala |
First Unnest tests working |
2008-11-01 |
Adam Chlipala |
Elaborating 'let' |
2008-11-01 |
Adam Chlipala |
Parsing 'let' |
2008-10-31 |
Adam Chlipala |
Replace 'with' with '++' |
2008-10-30 |
Adam Chlipala |
Remove _espec tag; add some tag fields |
2008-10-30 |
Adam Chlipala |
Especialize |
2008-10-30 |
Adam Chlipala |
Don't inline case expressions |
2008-10-30 |
Adam Chlipala |
CURRENT_TIMESTAMP |
2008-10-30 |
Adam Chlipala |
Time MIN/MAX |
2008-10-30 |
Adam Chlipala |
Marshaling time to SQL |
2008-10-30 |
Adam Chlipala |
Reading timestamps from SQL |
2008-10-30 |
Adam Chlipala |
Add time to some type classes |
2008-10-30 |
Adam Chlipala |
time type |
2008-10-28 |
Adam Chlipala |
GCCARGS configure option |
2008-10-27 |
Adam Chlipala |
Remove need for '() <-' notation |
2008-10-27 |
Adam Chlipala |
Switch exit(1) call to uw_error() |
2008-10-26 |
Adam Chlipala |
Avoid using libpq when unneeded |
2008-10-25 |
Adam Chlipala |
Change 'sed' invocation to work in OSX |
2008-10-25 |
Adam Chlipala |
mkdir -p BIN |
2008-10-25 |
Adam Chlipala |
Use configure --prefix |
2008-10-24 |
adamc |
Make *_w function prototypes match header file |
2008-10-24 |
Adam Chlipala |
Add 'package' make target; add LICENSE |
2008-10-24 |
Adam Chlipala |
Remove debug print for optional inputs |
2008-10-24 |
Adam Chlipala |
Properly freeing libpq results on errors |
2008-10-24 |
Adam Chlipala |
Transactions seem to be working |
2008-10-24 |
Adam Chlipala |
Stop including functors in paths |
2008-10-23 |
Adam Chlipala |
Crud2 demo |
2008-10-23 |
Adam Chlipala |
Crud demo |
2008-10-23 |
Adam Chlipala |
Prose for Ref and Metaform |
2008-10-23 |
Adam Chlipala |
Fix bug with bringing functor argument instances into scope; Ref demo, minus prose |
2008-10-23 |
Adam Chlipala |
Metaform demos, minus prose |
2008-10-23 |
Adam Chlipala |
Fix nasty de Bruijn substitution bug; TcSum demo |
2008-10-23 |
Adam Chlipala |
Counter demo |
2008-10-23 |
adamc |
Add newline at end of file |
2008-10-23 |
Adam Chlipala |
sml-util -> urweb-util |
2008-10-21 |
Adam Chlipala |
Sum prose |
2008-10-21 |
Adam Chlipala |
Infering sum rows |
2008-10-21 |
Adam Chlipala |
Sum demo, minus inference of {Unit}s |
2008-10-21 |
Adam Chlipala |
Sql demo |
2008-10-21 |
Adam Chlipala |
Note about demo.sql |
2008-10-21 |
Adam Chlipala |
ListShop prose |
2008-10-21 |
Adam Chlipala |
Rec demo |
2008-10-21 |
Adam Chlipala |
Form example |
2008-10-21 |
Adam Chlipala |
Hello prose |
2008-10-21 |
Adam Chlipala |
Intro prose |
2008-10-21 |
Adam Chlipala |
New implicit argument handling |
2008-10-21 |
Adam Chlipala |
Recursive unurlify for Default datatypes |
2008-10-21 |
Adam Chlipala |
Remove printing of HTTP headers |
2008-10-21 |
Adam Chlipala |
Fix a nasty driver bug, involving memory restarts and marked-up request strings |
2008-10-21 |
Adam Chlipala |
listFun uses length |
2008-10-21 |
Adam Chlipala |
Simple listShop working |
2008-10-21 |
Adam Chlipala |
ListShop skeleton |
2008-10-21 |
Adam Chlipala |
Fix XML indenting to ignore comparison operators |
2008-10-21 |
Adam Chlipala |
ord_string |
2008-10-21 |
Adam Chlipala |
ord_float and ord_bool |
2008-10-21 |
Adam Chlipala |
Fix XML detection in presence of comparison operators |
2008-10-21 |
Adam Chlipala |
gt, ge |
2008-10-21 |
Adam Chlipala |
lt, le working for int |
2008-10-21 |
Adam Chlipala |
num_float |
2008-10-21 |
Adam Chlipala |
num working for int |
2008-10-21 |
Adam Chlipala |
Monoize eq_[bool|string] |
2008-10-21 |
Adam Chlipala |
Binops; equality tested on int; lame 404 substitute |
2008-10-19 |
Adam Chlipala |
Fix a nasty indent bug, found while working on listFun |
2008-10-19 |
Adam Chlipala |
Support for URL prefixes that works with local demo |
2008-10-19 |
Adam Chlipala |
Building combined demo app |
2008-10-19 |
Adam Chlipala |
Small demo prettifications |
2008-10-19 |
Adam Chlipala |
Generating fontified source files |
2008-10-19 |
Adam Chlipala |
Generating urp HTML |
2008-10-19 |
Adam Chlipala |
Demo HTML generation, minus source code |
2008-10-19 |
Adam Chlipala |
Link demo |
2008-10-19 |
Adam Chlipala |
Proper configuration and installation |
2008-10-19 |
Adam Chlipala |
Proper generation of relation names; checking that sequences exist |
2008-10-19 |
Adam Chlipala |
Simple generation of persistent paths |
2008-10-16 |
Adam Chlipala |
Fixing overzealous SQL paren-nester |
2008-10-16 |
Adam Chlipala |
Indenting paren-nested SQL expressions |
2008-10-16 |
Adam Chlipala |
Indenting simple DML properly |
2008-10-16 |
Adam Chlipala |
Indenting SELECT sub-clauses properly |
2008-10-16 |
Adam Chlipala |
Crud auto-indented correctly |
2008-10-16 |
Adam Chlipala |
Fix problem with sig/struct indenting |
2008-10-16 |
Adam Chlipala |
Crud indented properly, except for <xml>...</xml> outside parens and sig/struct |
2008-10-16 |
Adam Chlipala |
Removed handling of <,> as operators, for now |
2008-10-16 |
Adam Chlipala |
Improving indentation of XML after antiquote |
2008-10-16 |
Adam Chlipala |
Proper indenting of normal ML-y code after </xml> |
2008-10-16 |
Adam Chlipala |
Special case indenting for <xml>...</xml> |
2008-10-16 |
Adam Chlipala |
Fix XML indent not to take two tab-tries |
2008-10-16 |
Adam Chlipala |
Reasonable indenting for pure XML |
2008-10-14 |
Adam Chlipala |
Reusable column handlers for Crud |
2008-10-14 |
Adam Chlipala |
lform -> form |
2008-10-14 |
Adam Chlipala |
Syntax highlighting for embedded XML |
2008-10-13 |
Adam Chlipala |
Reorder font-lock rules to deal better with CDATA |
2008-10-13 |
Adam Chlipala |
Good progress on highlighting embedded XML |
2008-10-12 |
Adam Chlipala |
Highlighting HTML tags |
2008-10-12 |
Adam Chlipala |
Basis and Top syntax-highlight, indent, parse, and type-check |
2008-10-12 |
Adam Chlipala |
top.urs indents and type-checks with new twiddle syntax |
2008-10-12 |
Adam Chlipala |
Basis indents and type-checks with new twiddle syntax |
2008-10-12 |
Adam Chlipala |
More indenting |
2008-10-12 |
Adam Chlipala |
Get type definitions font-locking again |
2008-10-12 |
Adam Chlipala |
Customized font faces |
2008-10-12 |
Adam Chlipala |
First sort-of-working run of urweb-mode |
2008-10-05 |
Adam Chlipala |
Expand cases where expression wildcards are allowed |
2008-10-04 |
Adam Chlipala |
Improved inference of records of tuples |
2008-10-04 |
Adam Chlipala |
Use checkbox in CRUD example |
2008-10-04 |
Adam Chlipala |
Small clean-ups in crud; Compiler.check |
2008-10-04 |
Adam Chlipala |
Merge CDisjoint and TDisjoint |
2008-09-18 |
Adam Chlipala |
Force existence of bin and clib directories |
2008-09-14 |
Adam Chlipala |
Fix inexhaustive match |
2008-09-14 |
Adam Chlipala |
Crud completed |
2008-09-14 |
Adam Chlipala |
Crud update form |
2008-09-14 |
Adam Chlipala |
Push writes inside lets |
2008-09-14 |
Adam Chlipala |
Crud supports INSERT |
2008-09-14 |
Adam Chlipala |
SQL sequences |
2008-09-14 |
Adam Chlipala |
Deletion for Crud |
2008-09-14 |
Adam Chlipala |
Crud gets column headings |
2008-09-13 |
Adam Chlipala |
Name disjointness check changed to case insensitive |
2008-09-13 |
Adam Chlipala |
queryX |
2008-09-13 |
Adam Chlipala |
Change prefix.cm to work with latest smlnj Debian package |
2008-09-13 |
Adam Chlipala |
foldTRX2 |
2008-09-13 |
Adam Chlipala |
Optimize immediate writes of query results |
2008-09-13 |
Adam Chlipala |
Remove unneeded 'rec' in Reduce |
2008-09-13 |
Adam Chlipala |
foldTR2 |
2008-09-11 |
Adam Chlipala |
Fixed a mind-numbing De Bruijn bug |
2008-09-11 |
Adam Chlipala |
Fix bug in subsignature check for con synonyms |
2008-09-11 |
Adam Chlipala |
Crud list works |
2008-09-11 |
Adam Chlipala |
Crud listing IDs |
2008-09-11 |
Adam Chlipala |
More opportunities to use regions and lack of string copying |
2008-09-11 |
Adam Chlipala |
Region memory allocation for query parameters |
2008-09-11 |
Adam Chlipala |
Improve detection of opportunities for prepared statements with bool parameters |
2008-09-11 |
Adam Chlipala |
Fix memory management bug |
2008-09-11 |
Adam Chlipala |
Expand scope of base type conversion coalesce optimizations |
2008-09-11 |
Adam Chlipala |
Improve linear-let optimization |
2008-09-11 |
Adam Chlipala |
Optimization removes linear let-bindings of impure expressions |
2008-09-11 |
Adam Chlipala |
Fix memory bounds checks; specialization of multi-argument polymorphic function works |
2008-09-11 |
Adam Chlipala |
Unpolyed a polymorphic function of two arguments |
2008-09-11 |
Adam Chlipala |
Unpoly non-recursive function |
2008-09-09 |
Adam Chlipala |
Termination checking allows anything in links and actions |
2008-09-09 |
Adam Chlipala |
Termination checking |
2008-09-09 |
Adam Chlipala |
Datatype positivity check |
2008-09-07 |
Adam Chlipala |
Rename 'lw' prefixes to 'uw' |
2008-09-07 |
Adam Chlipala |
Automatically add table annotations in UPDATE and DELETE |
2008-09-07 |
Adam Chlipala |
First DELETE works |
2008-09-07 |
Adam Chlipala |
First UPDATE works |
2008-09-07 |
Adam Chlipala |
First INSERT works |
2008-09-07 |
Adam Chlipala |
Scratch that change.... |
2008-09-07 |
Adam Chlipala |
Remove need to mention table name in expressions for UPDATE and DELETE |
2008-09-07 |
Adam Chlipala |
Parsing DELETE |
2008-09-07 |
Adam Chlipala |
Parsing UPDATE |
2008-09-07 |
Adam Chlipala |
Parsing INSERT |
2008-09-07 |
Adam Chlipala |
Elaborated 'delete' |
2008-09-07 |
Adam Chlipala |
Elaborated 'update' |
2008-09-07 |
Adam Chlipala |
Elaborated 'insert' |
2008-09-07 |
Adam Chlipala |
Remove unneeded type annotations in pquery |
2008-09-07 |
Adam Chlipala |
pquery working with all four types of columns |
2008-09-07 |
Adam Chlipala |
Reading bools from SQL |
2008-09-07 |
Adam Chlipala |
Reading ints and floats from SQL |
2008-09-07 |
Adam Chlipala |
Error-parsing strings |
2008-09-07 |
Adam Chlipala |
Error-parsing floats and bools |
2008-09-07 |
Adam Chlipala |
Error-parsing ints |
2008-09-07 |
Adam Chlipala |
'read' for strings |
2008-09-07 |
Adam Chlipala |
'read' type class |
2008-09-07 |
Adam Chlipala |
Parsing strings for floats and bools |
2008-09-07 |
Adam Chlipala |
Converting string to int |
2008-09-07 |
Adam Chlipala |
Ask GCC to strip executables |
2008-09-07 |
Adam Chlipala |
'show' type class; htmlification optimizations |
2008-09-07 |
Adam Chlipala |
toString for float and bool |
2008-09-07 |
Adam Chlipala |
intToString |
2008-09-07 |
Adam Chlipala |
'error' function |
2008-09-07 |
Adam Chlipala |
Ran a prepared statement with one string parameter |
2008-09-04 |
Adam Chlipala |
Change sqlify[int|float|string] to annotate with SQL types |
2008-09-02 |
Adam Chlipala |
Compiling a parametrized query the inefficient way |
2008-09-02 |
Adam Chlipala |
Update MLton main file |
2008-09-02 |
Adam Chlipala |
First query example working |
2008-09-02 |
Adam Chlipala |
First query execution (not retrieving results yet) |
2008-09-02 |
Adam Chlipala |
Switch base types to 64-bit versions |
2008-09-02 |
Adam Chlipala |
Validating schema of a live database |
2008-09-02 |
Adam Chlipala |
Generating SQL files |
2008-09-02 |
Adam Chlipala |
Table declarations pushed to Cjr |
2008-09-02 |
Adam Chlipala |
Initializing database connection |
2008-09-02 |
Adam Chlipala |
'database' declaration threaded through compiler |
2008-09-02 |
Adam Chlipala |
Parsing jobs |
2008-09-02 |
Adam Chlipala |
Cjrize query |
2008-08-31 |
Adam Chlipala |
Monoize ASC/DESC |
2008-08-31 |
Adam Chlipala |
Changed EQuery not to use a function in its body |
2008-08-31 |
Adam Chlipala |
Monoize aggregates |
2008-08-31 |
Adam Chlipala |
Monoize COUNT(*) |
2008-08-31 |
Adam Chlipala |
Monoize unops |
2008-08-31 |
Adam Chlipala |
Monoize OFFSET |
2008-08-31 |
Adam Chlipala |
Monoize LIMIT |
2008-08-31 |
Adam Chlipala |
Monoize ORDER BY |
2008-08-31 |
Adam Chlipala |
Monoize relops |
2008-08-31 |
Adam Chlipala |
Monoize HAVING |
2008-08-31 |
Adam Chlipala |
Avoid unnecessary WHERE clause |
2008-08-31 |
Adam Chlipala |
Add 'ne' to 'eq' type class |
2008-08-31 |
Adam Chlipala |
'eq' type class |
2008-08-31 |
Adam Chlipala |
Monoized GROUP BY |
2008-08-31 |
Adam Chlipala |
Monoized binary operators |
2008-08-31 |
Adam Chlipala |
Monoized a WHERE clause with a comparison |
2008-08-31 |
Adam Chlipala |
Monoized and optimized initial query test |
2008-08-31 |
Adam Chlipala |
Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type |
2008-08-31 |
Adam Chlipala |
Fix Core con comparison |
2008-08-31 |
Adam Chlipala |
Corify transaction wrappers |
2008-08-31 |
Adam Chlipala |
Fix shaking of tables |
2008-08-31 |
Adam Chlipala |
Corify tables |
2008-08-31 |
Adam Chlipala |
Explify tables |
2008-08-31 |
Adam Chlipala |
Rename lacweb.c |
2008-08-31 |
Adam Chlipala |
Laconic -> Ur |
2008-08-28 |
Adam Chlipala |
Transactions and queries, at source level |
2008-08-28 |
Adam Chlipala |
Shorthand for multi-binding exp declaration |
2008-08-28 |
Adam Chlipala |
Shorthand for multi-binding exp 'fn' |
2008-08-28 |
Adam Chlipala |
Shorthand for multi-binding con declaration |
2008-08-28 |
Adam Chlipala |
Shorthand for multi-binding con 'fn' |
2008-08-28 |
Adam Chlipala |
Checking for well-formed 'val rec' |
2008-08-28 |
Adam Chlipala |
Tested aggregate functions with GROUP BY |
2008-08-28 |
Adam Chlipala |
More aggregate functions |
2008-08-28 |
Adam Chlipala |
COUNT |
2008-08-28 |
Adam Chlipala |
SELECTed expressions in ORDER BY |
2008-08-28 |
Adam Chlipala |
SELECTing arbitrary expressions |
2008-08-21 |
Adam Chlipala |
OFFSET |
2008-08-21 |
Adam Chlipala |
LIMIT |
2008-08-21 |
Adam Chlipala |
ORDER BY |
2008-08-21 |
Adam Chlipala |
Relational operators; string literals for SQL |
2008-08-21 |
Adam Chlipala |
Resolving lingering type class constraints |
2008-08-21 |
Adam Chlipala |
GROUP BY and HAVING |
2008-08-21 |
Adam Chlipala |
Basic GROUP BY |
2008-08-21 |
Adam Chlipala |
Change [sql_field] type to get 'where' test to check again |
2008-08-21 |
Adam Chlipala |
GROUP BY added to query type, with trivial parsing, for now |
2008-08-21 |
Adam Chlipala |
Queries back to working as well as before, after start of refactoring to support grouping |
2008-08-16 |
Adam Chlipala |
Integer and float constants in SQL |
2008-08-16 |
Adam Chlipala |
Fields in SQL expressions |
2008-08-16 |
Adam Chlipala |
SQL boolean operators |
2008-08-16 |
Adam Chlipala |
SQL comparison operators |
2008-08-16 |
Adam Chlipala |
Signature ascription for type classes |
2008-08-16 |
Adam Chlipala |
Fun with type classes and modules |
2008-08-16 |
Adam Chlipala |
Looking up in a type class from a module |
2008-08-16 |
Adam Chlipala |
Compiling a con-tuple-using test case |
2008-08-16 |
Adam Chlipala |
Corifying con-tuples |
2008-08-16 |
Adam Chlipala |
Explifying type classes |
2008-08-16 |
Adam Chlipala |
Testing type-class-parameterized functions |
2008-08-16 |
Adam Chlipala |
Initial type class support |
2008-08-16 |
Adam Chlipala |
Inferring sql_type's |
2008-08-16 |
Adam Chlipala |
Stub WHERE support |
2008-08-16 |
Adam Chlipala |
-timing option for command-line compiler |
2008-08-14 |
Adam Chlipala |
Non-star SELECT |
2008-08-14 |
Adam Chlipala |
Remove extraneous disjointness goal |
2008-08-14 |
Adam Chlipala |
Elaborating 'SELECT *' queries |
2008-08-14 |
Adam Chlipala |
Parsing the simplest SQL query |
2008-08-14 |
Adam Chlipala |
Parsing and elaborating 'table' |
2008-08-12 |
Adam Chlipala |
Finish moving all phases to the new interface |
2008-08-12 |
Adam Chlipala |
Consolidating compiler phase interface and adding timing |
2008-08-10 |
Adam Chlipala |
Urlifying records |
2008-08-09 |
Adam Chlipala |
strings get 'Option' datatype handling; fix datatype unurlifying |
2008-08-09 |
Adam Chlipala |
'Option' datatype encoding |
2008-08-09 |
Adam Chlipala |
Re-consistent-ify naming of union members |
2008-08-09 |
Adam Chlipala |
Lists all the way through |
2008-08-09 |
Adam Chlipala |
Tuples syntactic sugar |
2008-08-09 |
Adam Chlipala |
A multi-parameter datatype all the way through |
2008-08-08 |
Adam Chlipala |
Specialization of single-parameter datatypes |
2008-08-08 |
Adam Chlipala |
Parametrized datatypes through corify |
2008-08-08 |
Adam Chlipala |
Parametrized datatypes through explify |
2008-08-07 |
Adam Chlipala |
Checkboxes |
2008-08-03 |
Adam Chlipala |
Update bool to follow datatype representation change |
2008-08-03 |
Adam Chlipala |
Datatype representation optimization |
2008-08-03 |
Adam Chlipala |
Mono_opt for urlifying bools |
2008-08-03 |
Adam Chlipala |
bool in Basis |
2008-08-03 |
Adam Chlipala |
FFI datatypes |
2008-08-03 |
Adam Chlipala |
Push write inside case |
2008-08-03 |
Adam Chlipala |
Optimizing 'case' in Mono_reduce |
2008-08-03 |
Adam Chlipala |
Compiled pattern matching to C |
2008-08-03 |
Adam Chlipala |
Cjrize ECon |
2008-08-03 |
Adam Chlipala |
Cjrize EStrcat |
2008-08-03 |
Adam Chlipala |
Cases through monoize |
2008-08-03 |
Adam Chlipala |
First part of getting cases through monoize |
2008-08-02 |
Adam Chlipala |
Case through corify |
2008-07-31 |
Adam Chlipala |
Case through explify |
2008-07-31 |
Adam Chlipala |
Elaborating record patterns |
2008-07-31 |
Adam Chlipala |
Elaborating module constructor patterns; parsing record patterns |
2008-07-31 |
Adam Chlipala |
Patterns for int and string constants |
2008-07-31 |
Adam Chlipala |
Pattern match coverage checking |
2008-07-31 |
Adam Chlipala |
Elaborating some basic pattern matching |
2008-07-29 |
Adam Chlipala |
Parsing basic patterns |
2008-07-29 |
Adam Chlipala |
Took more advantage of new ability to exit with an error message |
2008-07-29 |
Adam Chlipala |
Storing datatype constructors in type references past monoize |
2008-07-29 |
Adam Chlipala |
Unurlifying a datatype; longjmp-based error signaling mechanism |
2008-07-29 |
Adam Chlipala |
Start of unurlify for datatypes |
2008-07-29 |
Adam Chlipala |
Datatypes through cjrize, modulo decoding |
2008-07-29 |
Adam Chlipala |
Datatypes through monoize |
2008-07-29 |
Adam Chlipala |
Datatypes through corify |
2008-07-29 |
Adam Chlipala |
Add datatype import constructor annotations; datatypes through explify |
2008-07-24 |
Adam Chlipala |
Normalize datatype choice during SgiDatatypeImp elaboration |
2008-07-24 |
Adam Chlipala |
Datatype import signature-matches abstract datatype |
2008-07-24 |
Adam Chlipala |
Abstracting datatypes with signature ascription |
2008-07-24 |
Adam Chlipala |
More datatype module stuff |
2008-07-24 |
Adam Chlipala |
Basic datatype importing works |
2008-07-24 |
Adam Chlipala |
Start of datatype support |
2008-07-24 |
Adam Chlipala |
Password inputs |
2008-07-24 |
Adam Chlipala |
HTML select |
2008-07-24 |
Adam Chlipala |
radio and radioOption |
2008-07-24 |
Adam Chlipala |
textarea |
2008-07-24 |
Adam Chlipala |
gformText test |
2008-07-24 |
Adam Chlipala |
Full gform test works |
2008-07-24 |
Adam Chlipala |
Record cut |
2008-07-22 |
Adam Chlipala |
gform in proper order |
2008-07-22 |
Adam Chlipala |
Meta-programming forms |
2008-07-22 |
Adam Chlipala |
Fix opening and corifying of functors |
2008-07-22 |
Adam Chlipala |
Fix GET parsing for inputs without = |
2008-07-22 |
Adam Chlipala |
Simple forms work |
2008-07-20 |
Adam Chlipala |
Almost ready to have a form work |
2008-07-20 |
Adam Chlipala |
Form submission type-checking |
2008-07-20 |
Adam Chlipala |
Initial form support |
2008-07-20 |
Adam Chlipala |
A simpler context encoding |
2008-07-20 |
Adam Chlipala |
Form binding parameters threaded through |
2008-07-19 |
Adam Chlipala |
Change driver to use Pthreads |
2008-07-17 |
Adam Chlipala |
Replaced allocation stubs |
2008-07-17 |
Adam Chlipala |
Dynamic arena allocation |
2008-07-17 |
Adam Chlipala |
Proper escaping of cdata |
2008-07-17 |
Adam Chlipala |
MonoShake |
2008-07-17 |
Adam Chlipala |
MonoReduce |
2008-07-17 |
Adam Chlipala |
Proper topological sorting in untangle |
2008-07-17 |
Adam Chlipala |
Untangle |
2008-07-17 |
Adam Chlipala |
Compiled mutual 'val rec' |
2008-07-17 |
Adam Chlipala |
Compiled (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Monoizing (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Reducing (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Tagging (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Corifying (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Explifying (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Parsing and elaborating (non-mutual) 'val rec' |
2008-07-14 |
Adam Chlipala |
Three-argument web function test |
2008-07-14 |
Adam Chlipala |
Multiple arguments to web functions |
2008-07-14 |
Adam Chlipala |
Passing an argument to a web function |
2008-07-13 |
Adam Chlipala |
Proper handling of non-function-call links |
2008-07-13 |
Adam Chlipala |
Serving pages with links |
2008-07-13 |
Adam Chlipala |
Serving pages |
2008-07-13 |
Adam Chlipala |
Basic web server |
2008-07-13 |
Adam Chlipala |
Cjr ready for dispatch code generation |
2008-07-13 |
Adam Chlipala |
Print a message on Laconic compilation failure |
2008-07-13 |
Adam Chlipala |
Turn on gcc -O3 |
2008-07-13 |
Adam Chlipala |
Handling duplicate tags |
2008-07-13 |
Adam Chlipala |
Closure code generation almost there |
2008-07-13 |
Adam Chlipala |
Starting with closure links |
2008-07-13 |
Adam Chlipala |
Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
2008-07-10 |
Adam Chlipala |
Fix dependency graph mismatch in sources |
2008-07-10 |
Adam Chlipala |
Optimizing attrification of constants |
2008-07-10 |
Adam Chlipala |
More with attributes and efficient serialization |
2008-07-10 |
Adam Chlipala |
Stringifying attributes |
2008-07-10 |
Adam Chlipala |
Initial HTML attributes support |
2008-07-10 |
Adam Chlipala |
Command-line compiler goes the whole nine yards |
2008-07-10 |
Adam Chlipala |
Writing HTML |
2008-07-10 |
Adam Chlipala |
First executable generated |
2008-07-10 |
Adam Chlipala |
page declaration, up through monoize |
2008-07-10 |
Adam Chlipala |
Fix record type comparison |
2008-07-10 |
Adam Chlipala |
Fill in more types during closure conversion |
2008-07-03 |
Adam Chlipala |
Simplify HTML examples, until the dispatching is ready |
2008-07-03 |
Adam Chlipala |
Mono optimizations (start with string concat and space eating) |
2008-07-03 |
Adam Chlipala |
Monoizing joins and tags |
2008-07-03 |
Adam Chlipala |
Monoizing cdata |
2008-07-03 |
Adam Chlipala |
More fun with HTML |
2008-07-03 |
Adam Chlipala |
XML tags with contents |
2008-07-03 |
Adam Chlipala |
Basic XML stuff |
2008-07-03 |
Adam Chlipala |
Fancier head normalization pushed inside of Disjoint |
2008-07-01 |
Adam Chlipala |
Tested constraints through functors |
2008-07-01 |
Adam Chlipala |
Constraints in modules |
2008-07-01 |
Adam Chlipala |
Push KUnit and CUnit through the phases |
2008-07-01 |
Adam Chlipala |
More with disjointness assumptions |
2008-07-01 |
Adam Chlipala |
Disjointness assumptions in expressions |
2008-07-01 |
Adam Chlipala |
Disjointness assumptions |
2008-07-01 |
Adam Chlipala |
Threading disjointness conditions through Elaborate |
2008-07-01 |
Adam Chlipala |
Initial disjointness prover |
2008-07-01 |
Adam Chlipala |
Factor some operations into ElabOps |
2008-06-29 |
Adam Chlipala |
A little more conservative unification |
2008-06-29 |
Adam Chlipala |
More hardcore unification |
2008-06-29 |
Adam Chlipala |
Implicit structure members |
2008-06-29 |
Adam Chlipala |
Another test of broad unification |
2008-06-29 |
Adam Chlipala |
Broaden unification context |
2008-06-26 |
Adam Chlipala |
Folding through a functor |
2008-06-26 |
Adam Chlipala |
Reduce efold |
2008-06-26 |
Adam Chlipala |
Corify efold |
2008-06-26 |
Adam Chlipala |
Explify efold |
2008-06-26 |
Adam Chlipala |
Elaborate efold |
2008-06-26 |
Adam Chlipala |
Cjrize cfold |
2008-06-26 |
Adam Chlipala |
Corify cfold |
2008-06-26 |
Adam Chlipala |
Explify cfold |
2008-06-26 |
Adam Chlipala |
Elaborating cfold |
2008-06-26 |
Adam Chlipala |
Proper subsignaturing for sub-structures |
2008-06-26 |
Adam Chlipala |
Proper subsignaturing for sub-signatures |
2008-06-26 |
Adam Chlipala |
Proper hiding of shadowed bindings in principal signatures |
2008-06-23 |
Adam Chlipala |
Signature duplicate entry checking for principal signatures |
2008-06-22 |
Adam Chlipala |
Signature duplicate entry checking |
2008-06-22 |
Adam Chlipala |
open |
2008-06-22 |
Adam Chlipala |
Subsignatures example |
2008-06-22 |
Adam Chlipala |
Subsignatures |
2008-06-22 |
Adam Chlipala |
include |
2008-06-22 |
Adam Chlipala |
Update main.mlton for group compilation |
2008-06-22 |
Adam Chlipala |
Separate compilation and automatic basis importation |
2008-06-22 |
Adam Chlipala |
Parsing signature files |
2008-06-22 |
Adam Chlipala |
Lexer/parser hacks to share code between regular and signature file parsers |
2008-06-22 |
Adam Chlipala |
FFI through cjrize |
2008-06-22 |
Adam Chlipala |
FFI through cloconv |
2008-06-22 |
Adam Chlipala |
FFI through monoize |
2008-06-22 |
Adam Chlipala |
Better FFI function handling |
2008-06-22 |
Adam Chlipala |
Detecting FFI functions |
2008-06-22 |
Adam Chlipala |
Start of FFI |
2008-06-19 |
Adam Chlipala |
Give functor.lac a 'main' |
2008-06-19 |
Adam Chlipala |
Corifying functors |
2008-06-19 |
Adam Chlipala |
Explifying functors |
2008-06-19 |
Adam Chlipala |
Elaborating functor applications |
2008-06-19 |
Adam Chlipala |
Subtyping for functor signatures |
2008-06-19 |
Adam Chlipala |
Elaborating 'where' |
2008-06-19 |
Adam Chlipala |
Beginning of functor elaboration |
2008-06-19 |
Adam Chlipala |
Functor parsing |
2008-06-19 |
Adam Chlipala |
Corify removes modules |
2008-06-19 |
Adam Chlipala |
Explify |
2008-06-17 |
Adam Chlipala |
Beefier nested selfification test |
2008-06-17 |
Adam Chlipala |
Nested selfification test |
2008-06-17 |
Adam Chlipala |
Proper selfification |
2008-06-17 |
Adam Chlipala |
Elaborating module projection |
2008-06-12 |
Adam Chlipala |
Matching structures in signatures |
2008-06-12 |
Adam Chlipala |
Matching values in signatures |
2008-06-12 |
Adam Chlipala |
Simple signature matching |
2008-06-12 |
Adam Chlipala |
Parsing and printing basic module system |
2008-06-10 |
Adam Chlipala |
Translation to Cjr |
2008-06-10 |
Adam Chlipala |
Field sorting for Flat |
2008-06-10 |
Adam Chlipala |
Update main.mlton |
2008-06-10 |
Adam Chlipala |
Closure conversion |
2008-06-10 |
Adam Chlipala |
Monoize |
2008-06-08 |
Adam Chlipala |
Run a shake before reducing |
2008-06-08 |
Adam Chlipala |
Tree-shaking |
2008-06-08 |
Adam Chlipala |
Reducing known record projections |
2008-06-08 |
Adam Chlipala |
Beta reductions for expressions |
2008-06-08 |
Adam Chlipala |
Some con reducing |
2008-06-08 |
Adam Chlipala |
Testing constructor equivalences |
2008-06-08 |
Adam Chlipala |
Unification wildcards |
2008-06-08 |
Adam Chlipala |
Further experiments with implicit arguments |
2008-06-08 |
Adam Chlipala |
Conversion to Core |
2008-06-08 |
Adam Chlipala |
Implicit constructor arguments |
2008-06-08 |
Adam Chlipala |
Primitive type constants |
2008-06-08 |
Adam Chlipala |
Lifting cons in ElabEnv |
2008-03-28 |
Adam Chlipala |
Fun with records |
2008-03-28 |
Adam Chlipala |
Simple elaboration working |
2008-03-28 |
Adam Chlipala |
Start of elaborating expressions |
2008-01-26 |
Adam Chlipala |
Added simple expression constructors to Elab |
2008-01-26 |
Adam Chlipala |
Parsing basic expressions |
2008-01-26 |
Adam Chlipala |
Add type keyword |
2008-01-26 |
Adam Chlipala |
Check for leftover kind unifs |
2008-01-26 |
Adam Chlipala |
Elaborating files |
2008-01-26 |
Adam Chlipala |
Rename Laconic* modules to Source* |
2008-01-26 |
Adam Chlipala |
Elaborating cons and decls |
2008-01-26 |
Adam Chlipala |
Start of elaboration |
2008-01-26 |
Adam Chlipala |
Initial parsing and pretty-printing |
2008-01-26 |
Adam Chlipala |
Initial skeleton |