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) |