| Mon, 02 Nov 2009 14:11:08 -0500 |
Adam Chlipala |
Saving paper assignments |
| Mon, 02 Nov 2009 11:37:41 -0500 |
Adam Chlipala |
Switch Monoize back to POST forms |
| Sun, 01 Nov 2009 14:26:20 -0500 |
Adam Chlipala |
Initial form for paper assignment |
| Sun, 01 Nov 2009 10:31:18 -0500 |
Adam Chlipala |
Optimizing str1 in MonoOpt |
| Sun, 01 Nov 2009 10:20:20 -0500 |
Adam Chlipala |
Bidding interface |
| Sat, 31 Oct 2009 15:51:50 -0400 |
Adam Chlipala |
Start of bidding implementation compiles |
| Sun, 25 Oct 2009 15:29:21 -0400 |
Adam Chlipala |
Use call/cc for recv and sleep |
| Sun, 25 Oct 2009 14:07:10 -0400 |
Adam Chlipala |
RPC uses VM support for call/cc |
| Sun, 25 Oct 2009 13:12:24 -0400 |
Adam Chlipala |
Always inline records |
| Sun, 25 Oct 2009 13:02:13 -0400 |
Adam Chlipala |
Extend Fuse to work on non-recursive functions |
| Sun, 25 Oct 2009 12:48:50 -0400 |
Adam Chlipala |
Inlining threshold for Mono_reduce |
| Sun, 25 Oct 2009 12:08:21 -0400 |
Adam Chlipala |
Inlining threshold for Reduce |
| Sun, 25 Oct 2009 11:03:42 -0400 |
Adam Chlipala |
Factor Dnat into separate module |
| Thu, 22 Oct 2009 17:36:30 -0400 |
Adam Chlipala |
Chars working with SQLite |
| Thu, 22 Oct 2009 17:04:37 -0400 |
Adam Chlipala |
Get char working with MySQL |
| Thu, 22 Oct 2009 16:25:31 -0400 |
Adam Chlipala |
Setting and updating your own review |
| Thu, 22 Oct 2009 16:15:56 -0400 |
Adam Chlipala |
Initial support for char in SQL |
| Thu, 22 Oct 2009 14:05:48 -0400 |
Adam Chlipala |
authorship table |
| Thu, 22 Oct 2009 12:16:31 -0400 |
Adam Chlipala |
Viewing papers |
| Thu, 22 Oct 2009 11:51:31 -0400 |
Adam Chlipala |
Move stuff from bulkEdit to meta |
| Thu, 22 Oct 2009 11:37:58 -0400 |
Adam Chlipala |
Title and abstract |
| Thu, 22 Oct 2009 11:15:37 -0400 |
Adam Chlipala |
Checking deadline; sign-in |
| Tue, 20 Oct 2009 13:08:42 -0400 |
Adam Chlipala |
Saving changes to user list |
| Tue, 20 Oct 2009 12:48:53 -0400 |
Adam Chlipala |
Start of user management |
| Tue, 20 Oct 2009 11:05:58 -0400 |
Adam Chlipala |
Registering for Conference1 |
| Tue, 20 Oct 2009 10:29:17 -0400 |
Adam Chlipala |
Adapted existing demos to tuple pattern-matching |
| Tue, 20 Oct 2009 10:19:00 -0400 |
Adam Chlipala |
Add tuple pattern-matching at the constructor level |
| Thu, 15 Oct 2009 14:27:38 -0400 |
Adam Chlipala |
Better subSgn error locations |
| Mon, 12 Oct 2009 18:17:57 -0400 |
Adam Chlipala |
New release |
| Mon, 12 Oct 2009 18:16:42 -0400 |
Adam Chlipala |
Fix some MySQL hijinks |
| Fri, 09 Oct 2009 09:50:26 -0400 |
Adam Chlipala |
Put right date stamp in CHANGELOG |
| Fri, 09 Oct 2009 09:16:32 -0400 |
Adam Chlipala |
New release |
| Tue, 06 Oct 2009 17:36:45 -0400 |
Adam Chlipala |
Versioned1 demo working |
| Tue, 06 Oct 2009 15:59:11 -0400 |
Adam Chlipala |
Initial versioned1 demo working |
| Tue, 06 Oct 2009 15:39:27 -0400 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
| Tue, 06 Oct 2009 13:11:03 -0400 |
Adam Chlipala |
Finalized Orm1 demo |
| Tue, 06 Oct 2009 10:34:27 -0400 |
Adam Chlipala |
Initial Orm1 demo |
| Tue, 06 Oct 2009 10:15:26 -0400 |
Adam Chlipala |
Fix a de Bruijn index bug in map fusion |
| Mon, 05 Oct 2009 17:24:21 -0400 |
Adam Chlipala |
Orm searching |
| Mon, 05 Oct 2009 17:00:04 -0400 |
Adam Chlipala |
Basic CRUD operations in Orm |
| Mon, 05 Oct 2009 16:36:38 -0400 |
Adam Chlipala |
Better location calculation for record unification error messages; infer kind arguments to module-projected variables |
| Mon, 05 Oct 2009 12:51:17 -0400 |
Adam Chlipala |
Mangle local table names to avoid keyword clashes in SQL |
| Sat, 26 Sep 2009 12:57:01 -0400 |
Adam Chlipala |
New release |
| Sat, 26 Sep 2009 12:45:19 -0400 |
Adam Chlipala |
Whitelisting tags that may be self-closed |
| Thu, 24 Sep 2009 15:45:37 -0400 |
Adam Chlipala |
Add tail call optimization to interpretation |
| Thu, 24 Sep 2009 15:36:44 -0400 |
Adam Chlipala |
Grid1 seems to work in latest Firefox |
| Thu, 24 Sep 2009 12:26:30 -0400 |
Adam Chlipala |
Fix sel() generation bug |
| Thu, 24 Sep 2009 11:15:21 -0400 |
Adam Chlipala |
demo/more compiles; small problem left with foreign keys in Grid1 |
| Thu, 24 Sep 2009 10:50:23 -0400 |
Adam Chlipala |
Main demo pieces all seem to work with interpretation |
| Thu, 24 Sep 2009 10:42:59 -0400 |
Adam Chlipala |
demo/increment works with interpretation |
| Thu, 24 Sep 2009 07:52:57 -0400 |
Adam Chlipala |
Might have fixed demo/listEdit |
| Tue, 22 Sep 2009 17:12:20 -0400 |
Adam Chlipala |
demo/react works with interpretation |
| Tue, 22 Sep 2009 15:12:09 -0400 |
Adam Chlipala |
Quoting JavaScript working |
| Tue, 22 Sep 2009 14:15:29 -0400 |
Adam Chlipala |
Compiled an 'option' pattern-match |
| Tue, 22 Sep 2009 13:41:23 -0400 |
Adam Chlipala |
More interpreter debugging |
| Tue, 22 Sep 2009 13:27:47 -0400 |
Adam Chlipala |
Functions working with interpretation |
| Tue, 22 Sep 2009 13:23:27 -0400 |
Adam Chlipala |
Basic arithmetic working with interpretation |
| Tue, 22 Sep 2009 12:23:21 -0400 |
Adam Chlipala |
Hopefully complete refactoring of Jscomp to output ASTs; partial implementation of interpreter in runtime system (demo/alert works) |
| Tue, 22 Sep 2009 09:53:05 -0400 |
Adam Chlipala |
Iterative versions of some JavaScript list functions |
| Sat, 19 Sep 2009 16:18:54 -0400 |
Adam Chlipala |
New release |
| Sat, 19 Sep 2009 15:59:22 -0400 |
Adam Chlipala |
Plugged a JavaScript memory leak |
| Sat, 19 Sep 2009 14:56:03 -0400 |
Adam Chlipala |
Paging + filtering seemingly working, but runtime system isn't GCing signals properly, so performance goes south quickly |
| Sat, 19 Sep 2009 14:42:36 -0400 |
Adam Chlipala |
Progress on sorting + filtering |
| Sat, 19 Sep 2009 14:21:25 -0400 |
Adam Chlipala |
Paging mostly working; just need to get it working properly with filtering |
| Sat, 19 Sep 2009 13:55:37 -0400 |
Adam Chlipala |
Testing Dlist MaxLength with constant value |
| Sat, 19 Sep 2009 13:44:12 -0400 |
Adam Chlipala |
Testing Dlist StartPosition with constant offset |
| Sat, 19 Sep 2009 13:32:33 -0400 |
Adam Chlipala |
Grid sorting working |
| Sat, 19 Sep 2009 10:56:09 -0400 |
Adam Chlipala |
Hopefully fixed Jscomp bug that was breaking Grid |
| Fri, 18 Sep 2009 19:30:09 -0400 |
Adam Chlipala |
Fix C substring implementation |
| Thu, 17 Sep 2009 19:15:10 -0400 |
Adam Chlipala |
Pseudo-sort working with filters |
| Thu, 17 Sep 2009 19:01:04 -0400 |
Adam Chlipala |
Grid changed to use Dlist.replace; filters stopped working |
| Thu, 17 Sep 2009 17:17:49 -0400 |
Adam Chlipala |
Don't try to check if functions are already tail-recursive |
| Thu, 17 Sep 2009 17:11:23 -0400 |
Adam Chlipala |
tail example working |
| Thu, 17 Sep 2009 16:35:11 -0400 |
Adam Chlipala |
Basic tail recursion introduction seems to be working |
| Thu, 17 Sep 2009 14:57:38 -0400 |
Adam Chlipala |
Bad sort functions tested |
| Thu, 17 Sep 2009 14:42:02 -0400 |
Adam Chlipala |
Insert dummy Sort parameter |
| Thu, 17 Sep 2009 14:27:00 -0400 |
Adam Chlipala |
Make filter argument to render, not create |
| Thu, 17 Sep 2009 13:44:08 -0400 |
Adam Chlipala |
Don't try to compile sigString() calls to JavaScript |
| Thu, 17 Sep 2009 13:30:56 -0400 |
Adam Chlipala |
Disable GCC inlining to stop goofy errors |
| Thu, 17 Sep 2009 12:55:22 -0400 |
Adam Chlipala |
Find more opportunities for 'let' inlining with better purity information |
| Thu, 17 Sep 2009 09:25:03 -0400 |
Adam Chlipala |
Print char patterns in C |
| Tue, 15 Sep 2009 16:27:24 -0400 |
Adam Chlipala |
Filters displaying properly |
| Tue, 15 Sep 2009 16:06:12 -0400 |
Adam Chlipala |
Filters displaying awfully |
| Tue, 15 Sep 2009 15:48:53 -0400 |
Adam Chlipala |
Filters implementation type-checking |
| Tue, 15 Sep 2009 13:07:57 -0400 |
Adam Chlipala |
Fix JavaScript char literals; don't generate demo links to nonexistent files |
| Tue, 15 Sep 2009 12:41:54 -0400 |
Adam Chlipala |
Escape character constants; lift indices properly in Reduce 'case' simplification |
| Tue, 15 Sep 2009 12:23:42 -0400 |
Adam Chlipala |
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid |
| Tue, 15 Sep 2009 11:18:20 -0400 |
Adam Chlipala |
Selection working, but switching it on isn't |
| Tue, 15 Sep 2009 10:50:49 -0400 |
Adam Chlipala |
Fix Postgres timestamp round-tripping |
| Tue, 15 Sep 2009 10:43:01 -0400 |
Adam Chlipala |
Fix MySQL timestamp input |
| Tue, 15 Sep 2009 10:18:56 -0400 |
Adam Chlipala |
Summary row with aggregates |
| Tue, 15 Sep 2009 09:45:46 -0400 |
Adam Chlipala |
Include 'key' type in Grid |
| Tue, 15 Sep 2009 09:40:51 -0400 |
Adam Chlipala |
Dropped in initial aggregate types |
| Mon, 14 Sep 2009 19:04:38 -0400 |
Adam Chlipala |
Fix a bug in Jscomp environment calculation for EQuery; smarter embedding of record projection in JavaScript |
| Sun, 13 Sep 2009 15:33:11 -0400 |
Adam Chlipala |
Fix some MySQL bugs |
| Sun, 13 Sep 2009 13:25:09 -0400 |
Adam Chlipala |
Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce |
| Sun, 13 Sep 2009 12:00:34 -0400 |
Adam Chlipala |
Have nullable columns working with Dbgrid |
| Sat, 12 Sep 2009 15:08:16 -0400 |
Adam Chlipala |
Nullable columns *might* be working, but too much JS is generated for the page to load in finite time |
| Sat, 12 Sep 2009 10:36:17 -0400 |
Adam Chlipala |
New release |
| Sat, 12 Sep 2009 10:31:49 -0400 |
Adam Chlipala |
Merge |
| Sat, 12 Sep 2009 10:31:34 -0400 |
Adam Chlipala |
Debugging new string urlification |
| Sat, 12 Sep 2009 10:03:12 -0400 |
Adam Chlipala |
Prevent event bubbling |
| Sat, 12 Sep 2009 09:31:50 -0400 |
Adam Chlipala |
Change string URLification to avoid using the empty string, which confuses Apache no2slash() |
| Thu, 10 Sep 2009 14:55:27 -0400 |
Adam Chlipala |
Add grid CSS ACL |
| Thu, 10 Sep 2009 14:54:47 -0400 |
Adam Chlipala |
Add grid CSS |
| Wed, 09 Sep 2009 08:15:46 -0400 |
Adam Chlipala |
Find chances to use mstrcat() |
| Wed, 09 Sep 2009 08:00:45 -0400 |
Adam Chlipala |
Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining |
| Tue, 08 Sep 2009 20:12:17 -0400 |
Adam Chlipala |
Fix memmem() signature; fix mono_reduce environment bookkeeping |
| Tue, 08 Sep 2009 19:42:12 -0400 |
Adam Chlipala |
'more' demos working after optimizer fix |
| Tue, 08 Sep 2009 11:02:53 -0400 |
Adam Chlipala |
Use cdata for shorter Monad map |
| Tue, 08 Sep 2009 10:55:49 -0400 |
Adam Chlipala |
dragList demo working, save for Gecko load delay and highlighting |
| Tue, 08 Sep 2009 10:18:19 -0400 |
Adam Chlipala |
dragList almost kinda works |
| Tue, 08 Sep 2009 07:48:57 -0400 |
Adam Chlipala |
Start 'more' demo with dbgrid |
| Tue, 25 Aug 2009 17:33:13 -0400 |
Adam Chlipala |
New release |
| Tue, 25 Aug 2009 17:12:21 -0400 |
Adam Chlipala |
Fix structure wildification to take concrete con decls into account |
| Tue, 25 Aug 2009 15:19:00 -0400 |
Adam Chlipala |
Fix inconsistency in bool URLification between C and JavaScript |
| Tue, 25 Aug 2009 14:50:19 -0400 |
Adam Chlipala |
Fix list jsification bug; grid1 working with foreign key, but booleans not getting into database properly |
| Tue, 25 Aug 2009 13:57:56 -0400 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
| Sat, 22 Aug 2009 16:32:31 -0400 |
Adam Chlipala |
Fixed bug in reduce bind-commutation |
| Sat, 22 Aug 2009 12:55:18 -0400 |
Adam Chlipala |
Convert to requiring explicit 'rpc' marker |
| Tue, 11 Aug 2009 12:01:54 -0400 |
Adam Chlipala |
JavaScript urlifying of bools; correct Link attribute escaping |
| Tue, 11 Aug 2009 11:26:37 -0400 |
Adam Chlipala |
Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?: |
| Sun, 09 Aug 2009 16:13:27 -0400 |
Adam Chlipala |
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |
| Thu, 06 Aug 2009 15:23:04 -0400 |
Adam Chlipala |
Fix type class resolution infinite loop, discovered while meeting with Ezra |
| Thu, 06 Aug 2009 14:57:44 -0400 |
Adam Chlipala |
<dyn> inside <tr> |
| Thu, 06 Aug 2009 14:39:03 -0400 |
Adam Chlipala |
dlist add and delete both working in Iceape and Konqueror |
| Thu, 06 Aug 2009 14:24:40 -0400 |
Adam Chlipala |
dlist row add working with Konqueror |
| Thu, 06 Aug 2009 11:58:38 -0400 |
Adam Chlipala |
Tweaking dyn() implementation to get grid working |
| Thu, 06 Aug 2009 11:54:28 -0400 |
Adam Chlipala |
dtable example and demos both working |
| Sun, 19 Jul 2009 17:45:02 -0400 |
Adam Chlipala |
Working on Grid; have gone from one dynamic table bizareness to another |
| Sat, 18 Jul 2009 15:08:21 -0400 |
Adam Chlipala |
FFI manual section |
| Sat, 18 Jul 2009 13:46:22 -0400 |
Adam Chlipala |
New command-line options; describe simple SQLite build in demo intro |
| Sat, 18 Jul 2009 12:53:26 -0400 |
Adam Chlipala |
Key events get key code input |
| Sat, 18 Jul 2009 12:37:19 -0400 |
Adam Chlipala |
Testing new events |
| Sat, 18 Jul 2009 12:28:25 -0400 |
Adam Chlipala |
Goodbye <font>; hello <h5> and <h6> |
| Sat, 18 Jul 2009 11:58:54 -0400 |
Adam Chlipala |
Try to add all applicable JavaScript events |
| Sat, 18 Jul 2009 11:01:48 -0400 |
Adam Chlipala |
More command-line options |
| Sat, 18 Jul 2009 10:27:32 -0400 |
Adam Chlipala |
Blobs tested in MySQL and SQLite |
| Fri, 17 Jul 2009 18:13:02 -0400 |
Adam Chlipala |
Tweaking demos a bit |
| Fri, 17 Jul 2009 17:14:23 -0400 |
Adam Chlipala |
Fix month off-by-one for MySQL timestamps |
| Fri, 17 Jul 2009 17:09:55 -0400 |
Adam Chlipala |
Timestamps working with SQLite |
| Fri, 17 Jul 2009 17:03:37 -0400 |
Adam Chlipala |
Most of demo working with SQLite |
| Fri, 17 Jul 2009 16:29:36 -0400 |
Adam Chlipala |
demo/sql works with SQLite |
| Fri, 17 Jul 2009 14:04:05 -0400 |
Adam Chlipala |
Check for existence of sequences (MySQL) |
| Fri, 17 Jul 2009 13:19:41 -0400 |
Adam Chlipala |
Avoid preparing the same statement twice |
| Fri, 17 Jul 2009 12:58:37 -0400 |
Adam Chlipala |
MySQL CGI working |
| Fri, 17 Jul 2009 12:34:00 -0400 |
Adam Chlipala |
Fix dependency misordering |
| Fri, 17 Jul 2009 12:25:34 -0400 |
Adam Chlipala |
Testing nested queries |
| Thu, 16 Jul 2009 18:10:29 -0400 |
Adam Chlipala |
Demo working with MySQL |
| Thu, 16 Jul 2009 16:29:13 -0400 |
Adam Chlipala |
Sequence code compiles in MySQL |
| Thu, 16 Jul 2009 13:59:30 -0400 |
Adam Chlipala |
MySQL accepts generated demo DDL |
| Sun, 12 Jul 2009 16:09:54 -0400 |
Adam Chlipala |
Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet |
| Sun, 12 Jul 2009 15:42:24 -0400 |
Adam Chlipala |
demo/sql working with MySQL |
| Sun, 12 Jul 2009 15:05:40 -0400 |
Adam Chlipala |
MySQL demo/sql succeeds in reading no rows |
| Sun, 12 Jul 2009 13:16:05 -0400 |
Adam Chlipala |
MySQL query gets up to C linking |
| Tue, 30 Jun 2009 16:17:32 -0400 |
Adam Chlipala |
Validating views |
| Tue, 30 Jun 2009 15:59:41 -0400 |
Adam Chlipala |
Switch to Information Schema from Postgres catalog |
| Tue, 30 Jun 2009 15:45:10 -0400 |
Adam Chlipala |
Move all DBMS initialization to #init |
| Sun, 28 Jun 2009 16:41:10 -0400 |
Adam Chlipala |
Moved nextval code into Settings |
| Sun, 28 Jun 2009 16:22:17 -0400 |
Adam Chlipala |
Moved dml code into Settings |
| Sun, 28 Jun 2009 16:03:00 -0400 |
Adam Chlipala |
Moved query code into Settings |
| Sun, 28 Jun 2009 13:49:32 -0400 |
Adam Chlipala |
Start of multi-DBMS support |
| Sun, 28 Jun 2009 11:49:04 -0400 |
Adam Chlipala |
Move http protocol into its own file |
| Sat, 27 Jun 2009 19:07:28 -0400 |
Adam Chlipala |
FastCGI working with lighttpd |
| Sat, 27 Jun 2009 17:50:31 -0400 |
Adam Chlipala |
.msgs processing in FastCGI |
| Sat, 27 Jun 2009 16:56:32 -0400 |
Adam Chlipala |
Fix memory leak in fastcgi environment management |
| Sat, 27 Jun 2009 15:36:56 -0400 |
Adam Chlipala |
Fix env-reading bug in fastcgi; a bunch of non-AJAXy demos working |
| Sat, 27 Jun 2009 14:44:00 -0400 |
Adam Chlipala |
Serving Hello via FastCGI |
| Sat, 27 Jun 2009 12:38:23 -0400 |
Adam Chlipala |
Successfully starting FastCGI sessions with Apache |
| Sat, 27 Jun 2009 10:50:45 -0400 |
Adam Chlipala |
Avoid using prepared statements for non-persistent protocols |
| Sat, 27 Jun 2009 10:30:51 -0400 |
Adam Chlipala |
-debug from the command line |
| Tue, 23 Jun 2009 17:59:23 -0400 |
Adam Chlipala |
cgi protocol |
| Tue, 23 Jun 2009 15:56:04 -0400 |
Adam Chlipala |
Initial implementation of protocols in Settings |
| Tue, 23 Jun 2009 15:40:35 -0400 |
Adam Chlipala |
Further refactoring of request.c to work with CGI |
| Tue, 23 Jun 2009 14:05:12 -0400 |
Adam Chlipala |
Factor out common request functionality, in preparation for supporting different protocols |
| Tue, 23 Jun 2009 12:53:47 -0400 |
Adam Chlipala |
New release |
| Thu, 18 Jun 2009 18:06:15 -0400 |
Adam Chlipala |
Fix a bug with 'Some p' patterns, where 'p' needs specialization |
| Tue, 16 Jun 2009 17:52:44 -0400 |
Adam Chlipala |
Fix a variable capture bug in nested JavaScript; some more list stuff |
| Tue, 16 Jun 2009 14:38:01 -0400 |
Adam Chlipala |
Fix a bug in type class enrichment from substructures |
| Sat, 13 Jun 2009 15:42:24 -0400 |
Adam Chlipala |
Fix MonoReduce unsoundness with lets and fns |
| Sat, 13 Jun 2009 14:29:36 -0400 |
Adam Chlipala |
<dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls |
| Tue, 09 Jun 2009 18:11:59 -0400 |
Adam Chlipala |
Some standard library reorgs and additions; handle mutual datatypes better in Specialize |
| Tue, 09 Jun 2009 11:12:34 -0400 |
Adam Chlipala |
Mark current as effectful; add List functions |
| Sun, 07 Jun 2009 16:45:00 -0400 |
Adam Chlipala |
Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff |
| Sun, 07 Jun 2009 14:15:22 -0400 |
Adam Chlipala |
List.all; fix ANDALSO/ORELSE parsing precedence |
| Sun, 07 Jun 2009 12:01:55 -0400 |
Adam Chlipala |
&& and || |
| Sun, 07 Jun 2009 11:13:18 -0400 |
Adam Chlipala |
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable |
| Sat, 06 Jun 2009 15:29:34 -0400 |
Adam Chlipala |
Fix unbound name problem in Jscomp injectors; more List stuff |
| Sat, 06 Jun 2009 14:09:30 -0400 |
Adam Chlipala |
List library additions; fix another substructure unification bug |
| Tue, 02 Jun 2009 19:28:25 -0400 |
Adam Chlipala |
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp |
| Tue, 02 Jun 2009 15:43:18 -0400 |
Adam Chlipala |
Tweak -- precedence; use right env for final exhaustiveness errors |
| Tue, 02 Jun 2009 13:55:10 -0400 |
Adam Chlipala |
Fix relative precedence of ; and case-stuff |
| Tue, 02 Jun 2009 12:40:09 -0400 |
Adam Chlipala |
Less whining about match failures; fix singleton record Jscomp bug |
| Tue, 02 Jun 2009 11:50:53 -0400 |
Adam Chlipala |
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module |
| Sun, 31 May 2009 15:25:27 -0400 |
Adam Chlipala |
Expose resolveClass from Elaborate |
| Sun, 31 May 2009 13:43:02 -0400 |
Adam Chlipala |
Fix pathmap bug; expose lower-level heap manipulation from C |
| Sun, 31 May 2009 12:41:34 -0400 |
Adam Chlipala |
strcspn and friends |
| Sat, 30 May 2009 14:44:29 -0400 |
Adam Chlipala |
Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly |
| Sat, 30 May 2009 13:29:00 -0400 |
Adam Chlipala |
Substring functions; fix a nasty MonoReduce pattern match substitution bug |
| Sat, 30 May 2009 09:59:10 -0400 |
Adam Chlipala |
String.length |
| Thu, 28 May 2009 13:47:05 -0400 |
Adam Chlipala |
Fix variable adjustment bug in fn/case alternation |
| Thu, 28 May 2009 12:40:55 -0400 |
Adam Chlipala |
Fix EDLet elab_util bug |
| Thu, 28 May 2009 12:07:05 -0400 |
Adam Chlipala |
Destructing local let, to the point where demo compiles |
| Thu, 28 May 2009 11:45:45 -0400 |
Adam Chlipala |
Use a timeout to avoid errors after unload |
| Thu, 28 May 2009 10:35:25 -0400 |
Adam Chlipala |
Demo compiles with pattern-matching-fu |
| Thu, 28 May 2009 10:16:50 -0400 |
Adam Chlipala |
fn-pattern code in but not tested yet; hello compiles |
| Tue, 26 May 2009 12:25:06 -0400 |
Adam Chlipala |
Chars and more string operations |
| Sat, 23 May 2009 10:14:51 -0400 |
Adam Chlipala |
Change monoization of monads to allow partial applications of operations |
| Sat, 23 May 2009 09:45:02 -0400 |
Adam Chlipala |
Switch to Maranget's pattern exhaustiveness algorithm |
| Thu, 21 May 2009 11:45:04 -0400 |
Adam Chlipala |
Change List.mapM' to avoid leaving functions around |
| Thu, 21 May 2009 10:34:56 -0400 |
Adam Chlipala |
ccheckbox |
| Thu, 21 May 2009 10:18:20 -0400 |
Adam Chlipala |
Split JavaScript inp() into separate functions |
| Sun, 17 May 2009 18:41:43 -0400 |
Adam Chlipala |
Redo Jscomp |
| Sun, 17 May 2009 14:36:55 -0400 |
Adam Chlipala |
Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce |
| Sun, 17 May 2009 13:25:57 -0400 |
Adam Chlipala |
Corify FFI datatypes properly; eliminate nested JavaScript markers |
| Sat, 16 May 2009 18:09:14 -0400 |
Adam Chlipala |
Loading an FCKeditor |
| Sat, 16 May 2009 16:59:24 -0400 |
Adam Chlipala |
Fix initialization of cselect from source |
| Sat, 16 May 2009 16:37:48 -0400 |
Adam Chlipala |
Fix another problem with overwrites during JavaScript pattern matching |
| Sat, 16 May 2009 16:02:17 -0400 |
Adam Chlipala |
Mutual datatypes through Cjrize |
| Sat, 16 May 2009 15:55:15 -0400 |
Adam Chlipala |
Mutual datatypes through Pathcheck |
| Sat, 16 May 2009 15:45:12 -0400 |
Adam Chlipala |
Mutual datatypes through Effectize |
| Sat, 16 May 2009 15:22:05 -0400 |
Adam Chlipala |
Mutual datatypes through Corify |
| Sat, 16 May 2009 15:14:17 -0400 |
Adam Chlipala |
Mutual datatypes through Elaborate |
| Sat, 16 May 2009 13:10:52 -0400 |
Adam Chlipala |
Add extra XML preamble nonsense |
| Sat, 16 May 2009 12:47:01 -0400 |
Adam Chlipala |
Catch more unclosed bodyless tags in Monoize |
| Sat, 16 May 2009 12:41:33 -0400 |
Adam Chlipala |
Fix a Core_untangle bug that missed closure variable references; XHTMLize |
| Thu, 14 May 2009 18:13:09 -0400 |
Adam Chlipala |
Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp |
| Thu, 14 May 2009 13:18:31 -0400 |
Adam Chlipala |
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
| Thu, 14 May 2009 11:04:56 -0400 |
Adam Chlipala |
cselect.onchange |
| Thu, 14 May 2009 10:31:11 -0400 |
Adam Chlipala |
Improvements while working on Graftid |
| Thu, 14 May 2009 09:33:48 -0400 |
Adam Chlipala |
cselect |
| Thu, 14 May 2009 09:11:58 -0400 |
Adam Chlipala |
Fix a nasty binding bug in CoreUtil |
| Thu, 14 May 2009 08:15:36 -0400 |
Adam Chlipala |
Testing custom paths |
| Thu, 14 May 2009 08:13:54 -0400 |
Adam Chlipala |
Improving/reordering Unpoly and Especialize; pathmaps |
| Tue, 12 May 2009 20:15:11 -0400 |
Adam Chlipala |
Stop potential buffer overrun of path_copy |
| Tue, 12 May 2009 18:02:25 -0400 |
Adam Chlipala |
Improvements while working on Graftid |
| Sun, 10 May 2009 10:13:41 -0400 |
Adam Chlipala |
Use Ur/Web library .mlb |
| Tue, 05 May 2009 14:47:11 -0400 |
Adam Chlipala |
Tag CHANGELOG with release date |
| Tue, 05 May 2009 14:45:21 -0400 |
Adam Chlipala |
Describe GET/POST |
| Tue, 05 May 2009 14:36:16 -0400 |
Adam Chlipala |
Constraint syntax |
| Tue, 05 May 2009 14:15:55 -0400 |
Adam Chlipala |
on* handlers |
| Tue, 05 May 2009 13:21:26 -0400 |
Adam Chlipala |
Revised query types |
| Tue, 05 May 2009 12:49:16 -0400 |
Adam Chlipala |
Table constraint Ur code |
| Tue, 05 May 2009 11:59:50 -0400 |
Adam Chlipala |
Revising manual through end of Section 6 |
| Tue, 05 May 2009 11:45:03 -0400 |
Adam Chlipala |
Revising manual through end of Section 3 |
| Tue, 05 May 2009 10:23:16 -0400 |
Adam Chlipala |
Make Effectize more precise |
| Sun, 03 May 2009 16:00:43 -0400 |
Adam Chlipala |
crud3 demo |
| Sun, 03 May 2009 15:53:29 -0400 |
Adam Chlipala |
subforms demo |
| Sun, 03 May 2009 15:38:49 -0400 |
Adam Chlipala |
cookieSec demo |
| Sun, 03 May 2009 15:13:00 -0400 |
Adam Chlipala |
view demo |
| Sun, 03 May 2009 14:57:33 -0400 |
Adam Chlipala |
outer demo |
| Sun, 03 May 2009 12:49:47 -0400 |
Adam Chlipala |
upload demo |
| Sun, 03 May 2009 12:36:25 -0400 |
Adam Chlipala |
css demo |
| Sun, 03 May 2009 12:24:39 -0400 |
Adam Chlipala |
url demo |
| Sun, 03 May 2009 12:01:55 -0400 |
Adam Chlipala |
constraints demo |
| Sat, 02 May 2009 18:46:00 -0400 |
Adam Chlipala |
Update FFI type of Basis.self |
| Sat, 02 May 2009 18:41:21 -0400 |
Adam Chlipala |
FFI transactionals |
| Sat, 02 May 2009 18:20:15 -0400 |
Adam Chlipala |
Runtime URL and MIME type filtering |
| Sat, 02 May 2009 13:37:52 -0400 |
Adam Chlipala |
allow/deny working in Mono_opt |
| Sat, 02 May 2009 13:23:07 -0400 |
Adam Chlipala |
Path rewriting |
| Sat, 02 May 2009 12:50:52 -0400 |
Adam Chlipala |
Add 'library' directive |
| Sat, 02 May 2009 12:10:43 -0400 |
Adam Chlipala |
More FFI compiler options |
| Sat, 02 May 2009 11:27:26 -0400 |
Adam Chlipala |
Successfully influenced effectful-ness status of FFI func |
| Thu, 30 Apr 2009 17:15:14 -0400 |
Adam Chlipala |
C FFI compiler options |
| Thu, 30 Apr 2009 16:25:27 -0400 |
Adam Chlipala |
Lexing character entities |
| Thu, 30 Apr 2009 15:10:13 -0400 |
Adam Chlipala |
List notations |
| Thu, 30 Apr 2009 14:48:23 -0400 |
Adam Chlipala |
<input type='hidden'> |
| Thu, 30 Apr 2009 14:43:55 -0400 |
Adam Chlipala |
Megaform test |
| Thu, 30 Apr 2009 13:47:46 -0400 |
Adam Chlipala |
subforms working |
| Thu, 30 Apr 2009 11:48:56 -0400 |
Adam Chlipala |
Subforms type-checks; lists urlified and unurlified |
| Thu, 30 Apr 2009 11:07:29 -0400 |
Adam Chlipala |
Basis.list |
| Tue, 28 Apr 2009 17:26:53 -0400 |
Adam Chlipala |
Subforms |
| Tue, 28 Apr 2009 15:15:21 -0400 |
Adam Chlipala |
Views in CHANGELOG |
| Tue, 28 Apr 2009 15:04:37 -0400 |
Adam Chlipala |
A view query works |
| Tue, 28 Apr 2009 14:02:23 -0400 |
Adam Chlipala |
Preparing to allow views in SELECT FROM clauses |
| Tue, 28 Apr 2009 11:18:27 -0400 |
Adam Chlipala |
Outer joins in CHANGELOG |
| Tue, 28 Apr 2009 11:14:24 -0400 |
Adam Chlipala |
RIGHT and FULL JOIN |
| Tue, 28 Apr 2009 11:05:28 -0400 |
Adam Chlipala |
LEFT JOIN |
| Tue, 28 Apr 2009 10:11:56 -0400 |
Adam Chlipala |
INNER JOIN |
| Tue, 28 Apr 2009 09:45:17 -0400 |
Adam Chlipala |
Switch to using sql_from_items |
| Sun, 26 Apr 2009 12:47:53 -0400 |
Adam Chlipala |
Extra checks on assumptions about SQL results |
| Sun, 26 Apr 2009 12:35:45 -0400 |
Adam Chlipala |
sql_ufunc and octet_length |
| Sun, 26 Apr 2009 11:07:25 -0400 |
Adam Chlipala |
blobSize |
| Sun, 26 Apr 2009 10:54:45 -0400 |
Adam Chlipala |
Blobs in CHANGELOG |
| Sun, 26 Apr 2009 10:53:36 -0400 |
Adam Chlipala |
Handling nullable blobs |
| Sun, 26 Apr 2009 10:45:59 -0400 |
Adam Chlipala |
Reading blobs from the database |
| Sun, 26 Apr 2009 09:02:17 -0400 |
Adam Chlipala |
Returning a blob as page result |
| Sat, 25 Apr 2009 14:47:16 -0400 |
Adam Chlipala |
Add MIME type to file |
| Sat, 25 Apr 2009 14:35:49 -0400 |
Adam Chlipala |
Only allow single-file upload per control |
| Sat, 25 Apr 2009 14:04:38 -0400 |
Adam Chlipala |
Prepared statements with blobs |
| Sat, 25 Apr 2009 13:59:11 -0400 |
Adam Chlipala |
Initial support for blobs and upload |
| Thu, 23 Apr 2009 16:13:02 -0400 |
Adam Chlipala |
Cookie signatures for RPCs |
| Thu, 23 Apr 2009 14:10:10 -0400 |
Adam Chlipala |
Only use cookie signatures when cookies might be read |
| Thu, 16 Apr 2009 19:12:12 -0400 |
Adam Chlipala |
Cookie signing working for forms |
| Thu, 16 Apr 2009 15:38:01 -0400 |
Adam Chlipala |
Add more buttons to demo, to avoid effectful GET |
| Thu, 16 Apr 2009 15:29:39 -0400 |
Adam Chlipala |
Effectness analysis |
| Thu, 16 Apr 2009 14:49:25 -0400 |
Adam Chlipala |
Label exported symbols by effect-ness; factor out some common datatypes |
| Thu, 16 Apr 2009 14:35:01 -0400 |
Adam Chlipala |
POST support |
| Thu, 16 Apr 2009 13:47:20 -0400 |
Adam Chlipala |
Some client-side error handling |
| Thu, 16 Apr 2009 13:00:40 -0400 |
Adam Chlipala |
Avoid thread death via message receive |
| Thu, 16 Apr 2009 12:43:55 -0400 |
Adam Chlipala |
Show XML |
| Thu, 16 Apr 2009 12:36:01 -0400 |
Adam Chlipala |
onError |
| Thu, 16 Apr 2009 12:07:21 -0400 |
Adam Chlipala |
Catching duplicate cookie and style paths |
| Thu, 16 Apr 2009 12:00:44 -0400 |
Adam Chlipala |
<link> |
| Mon, 13 Apr 2009 08:44:32 -0400 |
Adam Chlipala |
Simplify type class requirement for tree demo |
| Sun, 12 Apr 2009 14:21:19 -0400 |
Adam Chlipala |
Tiny increment to style test |
| Sun, 12 Apr 2009 14:19:15 -0400 |
Adam Chlipala |
Classes as optional arguments to Basis.tag |
| Sun, 12 Apr 2009 12:31:54 -0400 |
Adam Chlipala |
Stop tracking CSS classes in XML types |
| Sun, 12 Apr 2009 11:08:00 -0400 |
Adam Chlipala |
hello compiles with CSS |
| Sun, 12 Apr 2009 10:08:11 -0400 |
Adam Chlipala |
style declarations |
| Thu, 09 Apr 2009 16:36:50 -0400 |
Adam Chlipala |
URLs |
| Thu, 09 Apr 2009 15:58:36 -0400 |
Adam Chlipala |
Update CHANGELOG |
| Thu, 09 Apr 2009 15:51:50 -0400 |
Adam Chlipala |
Use FOREIGN KEY in Tree demo |
| Thu, 09 Apr 2009 15:30:15 -0400 |
Adam Chlipala |
CHECK constraints |
| Thu, 09 Apr 2009 14:59:29 -0400 |
Adam Chlipala |
Retry failed record summary unifications at the end, in hopes that more has been learned |
| Thu, 09 Apr 2009 13:59:34 -0400 |
Adam Chlipala |
More flexible foreign keying |
| Thu, 09 Apr 2009 12:31:56 -0400 |
Adam Chlipala |
Made type class system very general; demo compiles |
| Tue, 07 Apr 2009 20:38:01 -0400 |
Adam Chlipala |
Get demo type-inferring again |
| Tue, 07 Apr 2009 18:47:47 -0400 |
Adam Chlipala |
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference) |
| Tue, 07 Apr 2009 16:22:11 -0400 |
Adam Chlipala |
Add primary keys to demo |
| Tue, 07 Apr 2009 16:14:31 -0400 |
Adam Chlipala |
PRIMARY KEY |
| Tue, 07 Apr 2009 15:04:07 -0400 |
Adam Chlipala |
Enhance table sig item support and get demo compiling again |
| Tue, 07 Apr 2009 14:11:32 -0400 |
Adam Chlipala |
Track uniqueness sets in table types |
| Tue, 07 Apr 2009 12:24:31 -0400 |
Adam Chlipala |
UNIQUE constraints |
| Sun, 05 Apr 2009 16:17:32 -0400 |
Adam Chlipala |
Fixing some regressions and other bugs |
| Sun, 05 Apr 2009 12:41:41 -0400 |
Adam Chlipala |
CHANGELOG before release |
| Sun, 05 Apr 2009 12:37:38 -0400 |
Adam Chlipala |
Update the manual |
| Sun, 05 Apr 2009 12:05:19 -0400 |
Adam Chlipala |
Initialize contexts a little more vigorously |
| Sun, 05 Apr 2009 11:48:55 -0400 |
Adam Chlipala |
Chat demo |
| Sun, 05 Apr 2009 11:24:55 -0400 |
Adam Chlipala |
RoundTrip demo |
| Sun, 05 Apr 2009 10:48:11 -0400 |
Adam Chlipala |
Threads demo |
| Sun, 05 Apr 2009 09:26:00 -0400 |
Adam Chlipala |
Avoid generating empty <script> blocks |
| Sat, 04 Apr 2009 15:56:47 -0400 |
Adam Chlipala |
sleep and better Scriptcheck |
| Sat, 04 Apr 2009 14:55:36 -0400 |
Adam Chlipala |
spawn |
| Sat, 04 Apr 2009 14:03:39 -0400 |
Adam Chlipala |
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned |
| Sat, 04 Apr 2009 12:54:39 -0400 |
Adam Chlipala |
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active |
| Sat, 04 Apr 2009 11:46:24 -0400 |
Adam Chlipala |
Checking spans in dyns |
| Thu, 02 Apr 2009 15:12:06 -0400 |
Adam Chlipala |
Redo signal implementation to avoid memory leaks |
| Thu, 02 Apr 2009 13:48:59 -0400 |
Adam Chlipala |
Make sure only one pull request runs at a time for each client |
| Thu, 02 Apr 2009 13:31:13 -0400 |
Adam Chlipala |
Detect serialization failures |
| Thu, 02 Apr 2009 11:42:26 -0400 |
Adam Chlipala |
On start-up, delete/nullify rows mentioning clients or channels |
| Thu, 02 Apr 2009 10:57:14 -0400 |
Adam Chlipala |
Don't self-update ctextboxes unnecessarily |
| Thu, 02 Apr 2009 10:55:00 -0400 |
Adam Chlipala |
Stop holding client locks throughout request processing |
| Sun, 29 Mar 2009 14:13:50 -0400 |
Adam Chlipala |
Expunging nullable fields |
| Sun, 29 Mar 2009 13:30:01 -0400 |
Adam Chlipala |
Expunging non-nullable rows |
| Sun, 29 Mar 2009 11:37:29 -0400 |
Adam Chlipala |
Redo channels, making them single-client |
| Sat, 28 Mar 2009 11:15:42 -0400 |
Adam Chlipala |
Switch back to starting listener on load |
| Sat, 28 Mar 2009 11:13:36 -0400 |
Adam Chlipala |
Marshalcheck |
| Thu, 26 Mar 2009 18:26:50 -0400 |
Adam Chlipala |
Chat example working nicely, but without dead channel removal |
| Thu, 26 Mar 2009 16:22:34 -0400 |
Adam Chlipala |
Preliminary work supporting channels in databases |
| Thu, 26 Mar 2009 15:54:04 -0400 |
Adam Chlipala |
Enforce termination of type class instances |
| Thu, 26 Mar 2009 15:26:35 -0400 |
Adam Chlipala |
Make sql_injectable class nicer with inclusion |
| Thu, 26 Mar 2009 15:13:36 -0400 |
Adam Chlipala |
Type class inclusions |
| Thu, 26 Mar 2009 14:37:31 -0400 |
Adam Chlipala |
Type class reductions, but no inclusions yet |
| Tue, 24 Mar 2009 15:35:46 -0400 |
Adam Chlipala |
Variable timeouts and client keep-alive |
| Tue, 24 Mar 2009 15:05:28 -0400 |
Adam Chlipala |
Fix some AJAX annoyances |
| Tue, 24 Mar 2009 14:44:45 -0400 |
Adam Chlipala |
Transactionalize channel operations |
| Sun, 22 Mar 2009 16:03:45 -0400 |
Adam Chlipala |
Proper recv |
| 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 |
