log

age author description
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