log

age author description
Sun, 22 Nov 2009 17:57:15 -0500 Adam Chlipala Proper initial values of dynamic checkboxes in IE
Sun, 22 Nov 2009 16:40:09 -0500 Adam Chlipala Get dynamic <select> working in IE
Sun, 22 Nov 2009 15:30:15 -0500 Adam Chlipala grid0 working in IE
Sat, 21 Nov 2009 15:48:08 -0500 Adam Chlipala Get message-passing working in IE6
Sat, 21 Nov 2009 14:29:35 -0500 Adam Chlipala Send RPCs with POST, to avoid caching
Sat, 21 Nov 2009 13:50:59 -0500 Adam Chlipala Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags)
Sat, 21 Nov 2009 13:08:01 -0500 Adam Chlipala Fix for lack of 'apply' method of IE6 native functions
Tue, 17 Nov 2009 12:44:14 -0500 Adam Chlipala Hooks for measuring how much interesting proving is going on in elaboration
Sun, 08 Nov 2009 12:26:03 -0500 Adam Chlipala New release
Sat, 07 Nov 2009 11:06:38 -0500 Adam Chlipala Saving paper decisions
Mon, 02 Nov 2009 15:54:22 -0500 Adam Chlipala Decision status placeholder
Mon, 02 Nov 2009 15:48:06 -0500 Adam Chlipala Start of Decision
Mon, 02 Nov 2009 14:22:29 -0500 Adam Chlipala Seeing others' reviews
Mon, 02 Nov 2009 14:14:32 -0500 Adam Chlipala Preload current assignment status
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