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 |
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' |
Fri, 31 Oct 2008 09:30:22 -0400 |
Adam Chlipala |
Replace 'with' with '++' |
Thu, 30 Oct 2008 17:07:34 -0400 |
Adam Chlipala |
Remove _espec tag; add some tag fields |
Thu, 30 Oct 2008 16:58:54 -0400 |
Adam Chlipala |
Especialize |
Thu, 30 Oct 2008 15:39:06 -0400 |
Adam Chlipala |
Don't inline case expressions |
Thu, 30 Oct 2008 15:33:28 -0400 |
Adam Chlipala |
CURRENT_TIMESTAMP |
Thu, 30 Oct 2008 15:16:37 -0400 |
Adam Chlipala |
Time MIN/MAX |
Thu, 30 Oct 2008 15:11:37 -0400 |
Adam Chlipala |
Marshaling time to SQL |
Thu, 30 Oct 2008 14:57:15 -0400 |
Adam Chlipala |
Reading timestamps from SQL |
Thu, 30 Oct 2008 14:40:42 -0400 |
Adam Chlipala |
Add time to some type classes |
Thu, 30 Oct 2008 14:36:48 -0400 |
Adam Chlipala |
time type |
Tue, 28 Oct 2008 15:05:16 -0400 |
Adam Chlipala |
GCCARGS configure option |
Mon, 27 Oct 2008 08:27:45 -0400 |
Adam Chlipala |
Remove need for '() <-' notation |
Mon, 27 Oct 2008 08:16:19 -0400 |
Adam Chlipala |
Switch exit(1) call to uw_error() |
Sun, 26 Oct 2008 08:41:17 -0400 |
Adam Chlipala |
Avoid using libpq when unneeded |
Sat, 25 Oct 2008 18:58:45 -0400 |
Adam Chlipala |
Change 'sed' invocation to work in OSX |
Sat, 25 Oct 2008 12:18:33 -0400 |
Adam Chlipala |
mkdir -p BIN |
Sat, 25 Oct 2008 12:07:10 -0400 |
Adam Chlipala |
Use configure --prefix |
Fri, 24 Oct 2008 19:59:17 -0400 |
adamc |
Make *_w function prototypes match header file |
Fri, 24 Oct 2008 17:39:47 -0400 |
Adam Chlipala |
Add 'package' make target; add LICENSE |
Fri, 24 Oct 2008 17:35:33 -0400 |
Adam Chlipala |
Remove debug print for optional inputs |
Fri, 24 Oct 2008 17:30:07 -0400 |
Adam Chlipala |
Properly freeing libpq results on errors |
Fri, 24 Oct 2008 16:47:18 -0400 |
Adam Chlipala |
Transactions seem to be working |
Fri, 24 Oct 2008 16:13:53 -0400 |
Adam Chlipala |
Stop including functors in paths |
Thu, 23 Oct 2008 18:45:10 -0400 |
Adam Chlipala |
Crud2 demo |
Thu, 23 Oct 2008 18:18:51 -0400 |
Adam Chlipala |
Crud demo |
Thu, 23 Oct 2008 17:52:04 -0400 |
Adam Chlipala |
Prose for Ref and Metaform |
Thu, 23 Oct 2008 17:35:10 -0400 |
Adam Chlipala |
Fix bug with bringing functor argument instances into scope; Ref demo, minus prose |
Thu, 23 Oct 2008 14:03:12 -0400 |
Adam Chlipala |
Metaform demos, minus prose |
Thu, 23 Oct 2008 12:58:35 -0400 |
Adam Chlipala |
Fix nasty de Bruijn substitution bug; TcSum demo |
Thu, 23 Oct 2008 11:59:48 -0400 |
Adam Chlipala |
Counter demo |
Thu, 23 Oct 2008 11:38:31 -0400 |
adamc |
Add newline at end of file |
Thu, 23 Oct 2008 11:13:11 -0400 |
Adam Chlipala |
sml-util -> urweb-util |
Tue, 21 Oct 2008 19:56:20 -0400 |
Adam Chlipala |
Sum prose |
Tue, 21 Oct 2008 19:31:11 -0400 |
Adam Chlipala |
Infering sum rows |
Tue, 21 Oct 2008 19:24:39 -0400 |
Adam Chlipala |
Sum demo, minus inference of {Unit}s |
Tue, 21 Oct 2008 18:44:52 -0400 |
Adam Chlipala |
Sql demo |
Tue, 21 Oct 2008 17:49:14 -0400 |
Adam Chlipala |
Note about demo.sql |
Tue, 21 Oct 2008 17:44:03 -0400 |
Adam Chlipala |
ListShop prose |
Tue, 21 Oct 2008 17:34:20 -0400 |
Adam Chlipala |
Rec demo |
Tue, 21 Oct 2008 17:30:06 -0400 |
Adam Chlipala |
Form example |
Tue, 21 Oct 2008 17:12:22 -0400 |
Adam Chlipala |
Hello prose |
Tue, 21 Oct 2008 17:02:03 -0400 |
Adam Chlipala |
Intro prose |
Tue, 21 Oct 2008 16:41:11 -0400 |
Adam Chlipala |
New implicit argument handling |
Tue, 21 Oct 2008 15:11:42 -0400 |
Adam Chlipala |
Recursive unurlify for Default datatypes |
Tue, 21 Oct 2008 13:56:38 -0400 |
Adam Chlipala |
Remove printing of HTTP headers |
Tue, 21 Oct 2008 13:54:48 -0400 |
Adam Chlipala |
Fix a nasty driver bug, involving memory restarts and marked-up request strings |
Tue, 21 Oct 2008 13:41:03 -0400 |
Adam Chlipala |
listFun uses length |
Tue, 21 Oct 2008 13:24:54 -0400 |
Adam Chlipala |
Simple listShop working |
Tue, 21 Oct 2008 12:06:35 -0400 |
Adam Chlipala |
ListShop skeleton |
Tue, 21 Oct 2008 11:39:13 -0400 |
Adam Chlipala |
Fix XML indenting to ignore comparison operators |
Tue, 21 Oct 2008 11:22:10 -0400 |
Adam Chlipala |
ord_string |
Tue, 21 Oct 2008 11:19:17 -0400 |
Adam Chlipala |
ord_float and ord_bool |
Tue, 21 Oct 2008 11:13:03 -0400 |
Adam Chlipala |
Fix XML detection in presence of comparison operators |
Tue, 21 Oct 2008 11:04:24 -0400 |
Adam Chlipala |
gt, ge |
Tue, 21 Oct 2008 10:56:43 -0400 |
Adam Chlipala |
lt, le working for int |
Tue, 21 Oct 2008 10:40:22 -0400 |
Adam Chlipala |
num_float |
Tue, 21 Oct 2008 10:34:07 -0400 |
Adam Chlipala |
num working for int |
Tue, 21 Oct 2008 09:52:52 -0400 |
Adam Chlipala |
Monoize eq_[bool|string] |
Tue, 21 Oct 2008 09:50:19 -0400 |
Adam Chlipala |
Binops; equality tested on int; lame 404 substitute |
Sun, 19 Oct 2008 16:49:09 -0400 |
Adam Chlipala |
Fix a nasty indent bug, found while working on listFun |
Sun, 19 Oct 2008 15:47:47 -0400 |
Adam Chlipala |
Support for URL prefixes that works with local demo |
Sun, 19 Oct 2008 15:19:41 -0400 |
Adam Chlipala |
Building combined demo app |
Sun, 19 Oct 2008 14:53:38 -0400 |
Adam Chlipala |
Small demo prettifications |
Sun, 19 Oct 2008 14:51:12 -0400 |
Adam Chlipala |
Generating fontified source files |
Sun, 19 Oct 2008 14:13:08 -0400 |
Adam Chlipala |
Generating urp HTML |
Sun, 19 Oct 2008 14:05:00 -0400 |
Adam Chlipala |
Demo HTML generation, minus source code |
Sun, 19 Oct 2008 12:50:49 -0400 |
Adam Chlipala |
Link demo |