log

age author description
Sun, 22 Mar 2009 15:16:34 -0400 Adam Chlipala Press a button to send a message
Sun, 22 Mar 2009 15:05:07 -0400 Adam Chlipala First message send delivered, but not interpreted
Thu, 19 Mar 2009 16:34:13 -0400 Adam Chlipala Dummy message delivery to clients
Thu, 19 Mar 2009 13:47:02 -0400 Adam Chlipala Factor out some common buffer functionality
Thu, 12 Mar 2009 12:37:02 -0400 Adam Chlipala Mention src/coq in CHANGELOG
Thu, 12 Mar 2009 12:34:39 -0400 Adam Chlipala Spell-check manual
Thu, 12 Mar 2009 12:30:21 -0400 Adam Chlipala Update CHANGELOG
Thu, 12 Mar 2009 12:25:05 -0400 Adam Chlipala Add guard elim rule
Thu, 12 Mar 2009 12:23:23 -0400 Adam Chlipala Update compiler phases
Thu, 12 Mar 2009 12:18:11 -0400 Adam Chlipala Describe AJAX RPC structure
Thu, 12 Mar 2009 12:10:02 -0400 Adam Chlipala Functional-reactive subsection
Thu, 12 Mar 2009 11:56:10 -0400 Adam Chlipala Update old Ur/Web library section, before adding new stuff
Thu, 12 Mar 2009 11:36:27 -0400 Adam Chlipala Describe folders
Thu, 12 Mar 2009 11:27:23 -0400 Adam Chlipala Revise type inference section
Thu, 12 Mar 2009 11:18:54 -0400 Adam Chlipala Revise manual, through static semantics
Thu, 12 Mar 2009 10:38:13 -0400 Adam Chlipala Revise manual, through end of Syntax
Thu, 12 Mar 2009 10:26:04 -0400 Adam Chlipala Change location/type of [fold] to be more uniform w.r.t. derived folders
Thu, 12 Mar 2009 10:16:59 -0400 Adam Chlipala Revising manual, through main syntax section
Tue, 10 Mar 2009 17:29:03 -0400 Adam Chlipala Noisy demo
Tue, 10 Mar 2009 16:38:38 -0400 Adam Chlipala BatchG demo
Tue, 10 Mar 2009 15:17:23 -0400 Adam Chlipala Batch example
Tue, 10 Mar 2009 13:57:09 -0400 Adam Chlipala Increment demo
Tue, 10 Mar 2009 13:46:45 -0400 Adam Chlipala Prose for ListEdit
Tue, 10 Mar 2009 12:44:40 -0400 Adam Chlipala ListEdit demo, minus prose
Tue, 10 Mar 2009 11:18:01 -0400 Adam Chlipala React demo
Tue, 10 Mar 2009 10:49:18 -0400 Adam Chlipala Alert demo
Tue, 10 Mar 2009 10:44:26 -0400 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
Sun, 08 Mar 2009 20:34:21 -0400 Adam Chlipala Conversion of functions to CPS, to facilitate ServerCall
Sun, 08 Mar 2009 13:41:55 -0400 Adam Chlipala RPC returning an option
Sun, 08 Mar 2009 13:28:21 -0400 Adam Chlipala RPC returning a default datatype
Sun, 08 Mar 2009 12:54:07 -0400 Adam Chlipala RPC returning an option datatype
Sun, 08 Mar 2009 12:37:42 -0400 Adam Chlipala RPC returning an enumeration
Thu, 26 Feb 2009 16:16:54 -0500 Adam Chlipala Kind-polymorphic [fst] and friends
Thu, 26 Feb 2009 13:56:54 -0500 Adam Chlipala Coq README
Tue, 24 Feb 2009 16:08:14 -0500 Adam Chlipala Coq formalization uses TDisjoint
Tue, 24 Feb 2009 15:54:05 -0500 Adam Chlipala Folder generation for functors
Tue, 24 Feb 2009 15:38:01 -0500 Adam Chlipala Folder generation for functions
Tue, 24 Feb 2009 15:12:13 -0500 Adam Chlipala Demos compile again, with manual folders
Tue, 24 Feb 2009 14:04:07 -0500 Adam Chlipala Make folders abstract
Tue, 24 Feb 2009 13:50:39 -0500 Adam Chlipala Top.Fold.mp
Tue, 24 Feb 2009 13:46:08 -0500 Adam Chlipala Top.Fold.concat elaborates
Tue, 24 Feb 2009 12:01:24 -0500 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
Sun, 22 Feb 2009 17:39:55 -0500 Adam Chlipala demo/sum working with manual folders
Sun, 22 Feb 2009 17:17:01 -0500 Adam Chlipala demo/hello compiles with kind polymorphism
Sun, 22 Feb 2009 16:33:55 -0500 Adam Chlipala Turned off termination checking, for now
Sun, 22 Feb 2009 16:32:56 -0500 Adam Chlipala Kind polymorphism through Explify
Sun, 22 Feb 2009 16:10:25 -0500 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
Sat, 21 Feb 2009 16:11:56 -0500 Adam Chlipala Debug reverse-engineering unification
Sat, 21 Feb 2009 15:33:20 -0500 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
Sat, 21 Feb 2009 14:10:06 -0500 Adam Chlipala Finish semantics for Featherweight Ur
Sat, 21 Feb 2009 13:22:30 -0500 Adam Chlipala Time to start thinking about guards
Sat, 21 Feb 2009 13:17:06 -0500 Adam Chlipala Most of expression semantics
Sat, 21 Feb 2009 11:23:24 -0500 Adam Chlipala map-only syntax and semantics
Wed, 18 Feb 2009 09:32:17 -0500 Adam Chlipala Semantics for ordered rows only
Tue, 17 Feb 2009 14:49:28 -0500 Adam Chlipala Start of Featherweight Ur semantics
Sun, 15 Feb 2009 13:03:09 -0500 Adam Chlipala Parameterized RPC query
Sun, 15 Feb 2009 12:33:41 -0500 Adam Chlipala Initial parsing of RPC results
Sun, 15 Feb 2009 11:33:53 -0500 Adam Chlipala Detect AJAX call failures
Sun, 15 Feb 2009 11:24:16 -0500 Adam Chlipala Avoid extra slashes in Cjr urlification
Sun, 15 Feb 2009 10:54:00 -0500 Adam Chlipala Reading and displaying value via AJAX
Sun, 15 Feb 2009 10:32:50 -0500 Adam Chlipala First gimpy RPC
Sun, 15 Feb 2009 09:27:36 -0500 Adam Chlipala Export RPC functions and push RPC calls through to Mono
Sat, 14 Feb 2009 14:07:56 -0500 Adam Chlipala Start of RPCification
Tue, 27 Jan 2009 09:53:51 -0500 Adam Chlipala Use normal fields of ctextboxes
Sat, 17 Jan 2009 09:55:12 -0500 Adam Chlipala dlist2 working swimmingly
Sat, 17 Jan 2009 09:47:30 -0500 Adam Chlipala Add dynamic content under proper parents
Fri, 16 Jan 2009 15:49:10 -0500 Adam Chlipala dlist example working
Tue, 13 Jan 2009 15:23:48 -0500 Adam Chlipala Combine lib* directories
Tue, 13 Jan 2009 15:17:11 -0500 Adam Chlipala Initial experiments with nested <dyn>
Sun, 11 Jan 2009 10:41:38 -0500 Adam Chlipala Do proper insertion of dynamic content within nested DOM containers
Sun, 11 Jan 2009 10:22:19 -0500 Adam Chlipala Use header to set default script type
Sun, 11 Jan 2009 10:05:06 -0500 Adam Chlipala Hooking a source into an input
Thu, 08 Jan 2009 10:30:14 -0500 Adam Chlipala Injected a non-special-case datatype
Thu, 08 Jan 2009 10:15:45 -0500 Adam Chlipala Injected a polymorphic, recursive type
Thu, 08 Jan 2009 09:57:45 -0500 Adam Chlipala Injected an enumeration
Fri, 02 Jan 2009 13:03:22 -0500 Adam Chlipala Injected an option
Fri, 02 Jan 2009 12:42:39 -0500 Adam Chlipala Injected a record
Thu, 01 Jan 2009 16:11:42 -0500 Adam Chlipala Injecting strings and bools
Thu, 01 Jan 2009 15:59:02 -0500 Adam Chlipala Injecting a float
Thu, 01 Jan 2009 15:11:17 -0500 Adam Chlipala Injecting an int
Thu, 01 Jan 2009 11:58:00 -0500 Adam Chlipala Included a recursive function in JavaScript
Thu, 01 Jan 2009 11:26:34 -0500 Adam Chlipala Basic datatype reactives
Thu, 01 Jan 2009 11:16:57 -0500 Adam Chlipala Reactive if
Thu, 01 Jan 2009 11:13:08 -0500 Adam Chlipala Reactive bool
Thu, 01 Jan 2009 11:04:09 -0500 Adam Chlipala Reactive record pattern
Thu, 01 Jan 2009 10:49:42 -0500 Adam Chlipala Used an option as a source
Thu, 01 Jan 2009 10:18:20 -0500 Adam Chlipala Reactive computation with more base types and records
Thu, 01 Jan 2009 10:08:22 -0500 Adam Chlipala Source containing an int
Tue, 30 Dec 2008 16:11:29 -0500 Adam Chlipala Double-bind works
Tue, 30 Dec 2008 16:08:25 -0500 Adam Chlipala Propagating a change through a bind
Tue, 30 Dec 2008 15:53:04 -0500 Adam Chlipala Propagated a source change into a dynamic document element
Tue, 30 Dec 2008 11:33:31 -0500 Adam Chlipala Harmonized source-setting between server and client
Tue, 30 Dec 2008 10:49:42 -0500 Adam Chlipala Setting a source server-side
Tue, 30 Dec 2008 09:43:45 -0500 Adam Chlipala Merge
Tue, 30 Dec 2008 09:43:41 -0500 Adam Chlipala Starting to implement source set
Sun, 21 Dec 2008 12:56:39 -0500 Adam Chlipala Trivial use of a source
Wed, 24 Dec 2008 10:48:31 -0500 Adam Chlipala More manual bug reports from megacz
Sun, 21 Dec 2008 12:30:57 -0500 Adam Chlipala Handling singnal bind
Sun, 21 Dec 2008 12:01:00 -0500 Adam Chlipala Switch to using dyn() function in JavaScript
Sat, 20 Dec 2008 18:24:12 -0500 Adam Chlipala Typo report from megacz
Sat, 20 Dec 2008 16:19:26 -0500 Adam Chlipala Successfully generated a page element from a signal
Sat, 20 Dec 2008 15:46:48 -0500 Adam Chlipala Initial <dyn> support
Sat, 20 Dec 2008 14:19:21 -0500 Adam Chlipala Start of JsComp
Fri, 19 Dec 2008 12:38:11 -0500 Adam Chlipala Displayed an alert dialog
Fri, 19 Dec 2008 11:47:18 -0500 Adam Chlipala Creation of sources in server code
Fri, 19 Dec 2008 10:27:58 -0500 Adam Chlipala Monad type class seems to be working
Fri, 19 Dec 2008 10:03:31 -0500 Adam Chlipala Initial conversion to arbitrary-kind classes
Fri, 19 Dec 2008 09:35:44 -0500 Adam Chlipala Add initial C support for reactive
Tue, 09 Dec 2008 14:44:52 -0500 Adam Chlipala Prepare to release
Tue, 09 Dec 2008 14:43:43 -0500 Adam Chlipala Spell check
Tue, 09 Dec 2008 14:41:19 -0500 Adam Chlipala Add SQL arithmetic operators
Tue, 09 Dec 2008 14:06:51 -0500 Adam Chlipala Proofreading pass
Tue, 09 Dec 2008 11:57:17 -0500 Adam Chlipala Building an application
Tue, 09 Dec 2008 11:52:56 -0500 Adam Chlipala .urp files
Tue, 09 Dec 2008 11:40:51 -0500 Adam Chlipala Installation
Sun, 07 Dec 2008 15:10:59 -0500 Adam Chlipala Intro
Sun, 07 Dec 2008 15:01:21 -0500 Adam Chlipala The structure of web applications
Sun, 07 Dec 2008 14:50:03 -0500 Adam Chlipala Compiler phases
Sun, 07 Dec 2008 12:21:47 -0500 Adam Chlipala XML syntax
Sun, 07 Dec 2008 12:10:51 -0500 Adam Chlipala DML
Sun, 07 Dec 2008 12:02:54 -0500 Adam Chlipala Query syntax
Sun, 07 Dec 2008 11:19:13 -0500 Adam Chlipala Treat user-provided error messages as XML
Sun, 07 Dec 2008 10:59:14 -0500 Adam Chlipala XML
Sun, 07 Dec 2008 10:25:55 -0500 Adam Chlipala Sequences
Sun, 07 Dec 2008 10:24:23 -0500 Adam Chlipala DML
Sun, 07 Dec 2008 10:02:04 -0500 Adam Chlipala Finish documenting queries; remove a stray [unit] argument
Sun, 07 Dec 2008 09:19:53 -0500 Adam Chlipala Start of sql_exp
Sat, 06 Dec 2008 13:04:48 -0500 Adam Chlipala Start of Ur/Web library
Sat, 06 Dec 2008 12:01:12 -0500 Adam Chlipala Type inference
Sat, 29 Nov 2008 15:04:57 -0500 Adam Chlipala Module projection
Sat, 29 Nov 2008 14:32:33 -0500 Adam Chlipala selfify
Sat, 29 Nov 2008 14:09:43 -0500 Adam Chlipala Module typing
Sat, 29 Nov 2008 13:50:53 -0500 Adam Chlipala Signature compatibility
Sat, 29 Nov 2008 12:58:58 -0500 Adam Chlipala Signature compatibility
Sat, 29 Nov 2008 11:33:51 -0500 Adam Chlipala Declaration typing
Sat, 29 Nov 2008 10:49:47 -0500 Adam Chlipala Pattern typing
Sat, 29 Nov 2008 10:34:56 -0500 Adam Chlipala Typing
Sat, 29 Nov 2008 10:05:46 -0500 Adam Chlipala Definitional equality
Sat, 29 Nov 2008 09:48:10 -0500 Adam Chlipala Disjointness
Sat, 29 Nov 2008 09:34:11 -0500 Adam Chlipala Kinding
Thu, 27 Nov 2008 16:55:30 -0500 Adam Chlipala Shorthands
Thu, 27 Nov 2008 15:43:10 -0500 Adam Chlipala Declarations and modules
Thu, 27 Nov 2008 15:27:17 -0500 Adam Chlipala Expressions
Thu, 27 Nov 2008 15:06:29 -0500 Adam Chlipala Patterns
Thu, 27 Nov 2008 14:57:47 -0500 Adam Chlipala Signatures
Thu, 27 Nov 2008 14:38:53 -0500 Adam Chlipala Start of manual
Thu, 27 Nov 2008 13:43:15 -0500 Adam Chlipala Note optimizations in changelog
Thu, 27 Nov 2008 12:43:28 -0500 Adam Chlipala Avoid Especializing polymorphic code
Thu, 27 Nov 2008 12:34:44 -0500 Adam Chlipala Ditch use of ElabEnv.env in Especialize, to realize big speed-up
Thu, 27 Nov 2008 12:04:54 -0500 Adam Chlipala Untangle and shake within Especialize loop
Thu, 27 Nov 2008 11:40:13 -0500 Adam Chlipala Optimize CoreUntangle
Thu, 27 Nov 2008 11:17:56 -0500 Adam Chlipala Remove some isUnitCon cases
Thu, 27 Nov 2008 11:06:10 -0500 Adam Chlipala Catch another unneeded lift in ElabEnv.pushCRel
Thu, 27 Nov 2008 10:57:56 -0500 Adam Chlipala Optimized ElabOps.subConInCon
Thu, 27 Nov 2008 10:46:45 -0500 Adam Chlipala Stop using redundant Defunc pass
Thu, 27 Nov 2008 10:40:29 -0500 Adam Chlipala Remove unnecessary lifts in ElabEnv.pushCRel
Thu, 27 Nov 2008 10:13:22 -0500 Adam Chlipala Remove unnecessary [kindof] calls
Wed, 26 Nov 2008 15:42:00 -0500 Adam Chlipala Port Reduce improvements to ReduceLocal
Wed, 26 Nov 2008 15:03:45 -0500 Adam Chlipala crud1 compiles with new Reduce
Wed, 26 Nov 2008 14:51:52 -0500 Adam Chlipala Fix environments for repeat visits for exp reduction
Wed, 26 Nov 2008 12:59:32 -0500 Adam Chlipala Most exp rules for new Reduce
Wed, 26 Nov 2008 12:13:00 -0500 Adam Chlipala Start of new Reduce
Tue, 25 Nov 2008 15:57:16 -0500 Adam Chlipala Profiling in Makefile
Tue, 25 Nov 2008 10:05:44 -0500 Adam Chlipala Fusing writes with recursive function calls
Sun, 23 Nov 2008 11:47:28 -0500 Adam Chlipala Ignore SIGPIPE
Thu, 20 Nov 2008 14:51:14 -0500 Adam Chlipala Update CHANGELOG for 20081120
Thu, 20 Nov 2008 13:54:03 -0500 Adam Chlipala Fixing demo prose
Thu, 20 Nov 2008 12:16:30 -0500 Adam Chlipala Profiling support
Thu, 20 Nov 2008 11:34:36 -0500 Adam Chlipala Some demo improvements
Thu, 20 Nov 2008 10:44:28 -0500 Adam Chlipala Fix missing initial <html> after restarts
Thu, 20 Nov 2008 10:41:58 -0500 Adam Chlipala Update Crud demo to use local functions
Tue, 18 Nov 2008 13:47:23 -0500 Adam Chlipala Extend prose about server .exes
Tue, 18 Nov 2008 13:28:44 -0500 Adam Chlipala Tag CHANGELOG with release number
Tue, 18 Nov 2008 13:27:33 -0500 Adam Chlipala Mention Especialize in CHANGELOG
Tue, 11 Nov 2008 20:24:55 -0500 Adam Chlipala Fix type calculation for applying-a-case optimization
Tue, 11 Nov 2008 19:58:25 -0500 Adam Chlipala Map distributivity rule in hnormCon
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Tue, 11 Nov 2008 18:39:38 -0500 Adam Chlipala Handle nullary transaction pages; avoid marking up headers array when reading cookies
Tue, 11 Nov 2008 16:51:45 -0500 Adam Chlipala Fix demo regression
Tue, 11 Nov 2008 16:27:51 -0500 Adam Chlipala More ThreadedBlog progress
Tue, 11 Nov 2008 15:32:10 -0500 Adam Chlipala Ignore UseRel effects in [let] expansions
Tue, 11 Nov 2008 15:12:24 -0500 Adam Chlipala Get preliminary ThreadedBlog working
Tue, 11 Nov 2008 11:49:51 -0500 Adam Chlipala Get threadedBlog to work
Sun, 09 Nov 2008 18:19:47 -0500 Adam Chlipala Remove some allocation
Sun, 09 Nov 2008 17:27:34 -0500 Adam Chlipala Prevent overzealous Especialization
Sun, 09 Nov 2008 16:54:42 -0500 Adam Chlipala Defunctionalization gets CommentBlog working
Sun, 09 Nov 2008 12:41:34 -0500 Adam Chlipala Remove an extra line
Sun, 09 Nov 2008 11:53:52 -0500 Adam Chlipala Especialize working reasonably well; need to add new closure representation pass
Sat, 08 Nov 2008 16:47:04 -0500 Adam Chlipala Better detection of [let] substitution opportunities
Sat, 08 Nov 2008 16:02:59 -0500 Adam Chlipala Especialize handles records better
Sat, 08 Nov 2008 14:42:52 -0500 Adam Chlipala Broaden set of possible especializations
Sat, 08 Nov 2008 13:15:00 -0500 Adam Chlipala Some small changes while failing to write [restrict]
Sat, 08 Nov 2008 12:24:23 -0500 Adam Chlipala Add help text for generated web servers
Sat, 08 Nov 2008 12:12:50 -0500 Adam Chlipala Handle EError returning a function; handle multiple cookies in one input header
Sat, 08 Nov 2008 10:58:59 -0500 Adam Chlipala Fix parsing of last input header
Sat, 08 Nov 2008 10:46:14 -0500 Adam Chlipala [getCookie] reads cookie settings from current page generation
Sat, 08 Nov 2008 10:33:58 -0500 Adam Chlipala Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files
Sat, 08 Nov 2008 09:55:36 -0500 Adam Chlipala Generated web servers use getopt()
Thu, 06 Nov 2008 19:43:48 -0500 Adam Chlipala Tree demo working (and other assorted regressions fixed)
Thu, 06 Nov 2008 18:49:38 -0500 Adam Chlipala Tree demo works
Thu, 06 Nov 2008 17:09:53 -0500 Adam Chlipala About to begin optimization of recursive transaction functions
Thu, 06 Nov 2008 15:52:13 -0500 Adam Chlipala Ensql'ing nullables
Thu, 06 Nov 2008 15:37:38 -0500 Adam Chlipala Inserted a NULL value
Thu, 06 Nov 2008 14:03:50 -0500 Adam Chlipala Cookies work across pages
Thu, 06 Nov 2008 12:46:45 -0500 Adam Chlipala Cookie prose; fix bugs that broke demo compilation
Thu, 06 Nov 2008 12:22:50 -0500 Adam Chlipala Cookie demo code; fix error message display
Thu, 06 Nov 2008 12:08:41 -0500 Adam Chlipala Reading cookies works
Thu, 06 Nov 2008 11:29:16 -0500 Adam Chlipala Setting a cookie
Thu, 06 Nov 2008 10:48:02 -0500 Adam Chlipala Cookies through shake2
Thu, 06 Nov 2008 10:43:48 -0500 Adam Chlipala Cookies through explify
Thu, 06 Nov 2008 10:29:55 -0500 Adam Chlipala Cookies through elaborate
Thu, 06 Nov 2008 10:04:03 -0500 Adam Chlipala Avoid allocating strings for requestHeader
Thu, 06 Nov 2008 09:47:16 -0500 Adam Chlipala Request header reading works
Thu, 06 Nov 2008 09:21:34 -0500 Adam Chlipala Monoizing FFI transactions correctly
Tue, 04 Nov 2008 09:33:35 -0500 Adam Chlipala Nested demo
Sat, 01 Nov 2008 21:24:43 -0400 Adam Chlipala Nested save compiles
Sat, 01 Nov 2008 21:19:43 -0400 Adam Chlipala Almost have that nested save function compiling
Sat, 01 Nov 2008 17:19:12 -0400 Adam Chlipala Fix some type-class detection
Sat, 01 Nov 2008 16:50:28 -0400 Adam Chlipala Remove empty writes
Sat, 01 Nov 2008 16:46:16 -0400 Adam Chlipala Wrapping works in Blog
Sat, 01 Nov 2008 16:08:39 -0400 Adam Chlipala Explify 'let'
Sat, 01 Nov 2008 15:58:55 -0400 Adam Chlipala First Unnest tests working
Sat, 01 Nov 2008 11:17:29 -0400 Adam Chlipala Elaborating 'let'
Sat, 01 Nov 2008 10:47:10 -0400 Adam Chlipala Parsing 'let'