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 |