| 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 |
| Sun, 19 Oct 2008 12:47:10 -0400 |
Adam Chlipala |
Proper configuration and installation |
| Sun, 19 Oct 2008 12:12:59 -0400 |
Adam Chlipala |
Proper generation of relation names; checking that sequences exist |
| Sun, 19 Oct 2008 11:11:49 -0400 |
Adam Chlipala |
Simple generation of persistent paths |
| Thu, 16 Oct 2008 17:31:24 -0400 |
Adam Chlipala |
Fixing overzealous SQL paren-nester |
| Thu, 16 Oct 2008 17:15:21 -0400 |
Adam Chlipala |
Indenting paren-nested SQL expressions |
| Thu, 16 Oct 2008 16:24:19 -0400 |
Adam Chlipala |
Indenting simple DML properly |
| Thu, 16 Oct 2008 16:15:17 -0400 |
Adam Chlipala |
Indenting SELECT sub-clauses properly |
| Thu, 16 Oct 2008 16:00:58 -0400 |
Adam Chlipala |
Crud auto-indented correctly |
| Thu, 16 Oct 2008 14:52:50 -0400 |
Adam Chlipala |
Fix problem with sig/struct indenting |
| Thu, 16 Oct 2008 14:40:28 -0400 |
Adam Chlipala |
Crud indented properly, except for <xml>...</xml> outside parens and sig/struct |
| Thu, 16 Oct 2008 14:17:55 -0400 |
Adam Chlipala |
Removed handling of <,> as operators, for now |
| Thu, 16 Oct 2008 13:30:40 -0400 |
Adam Chlipala |
Improving indentation of XML after antiquote |
| Thu, 16 Oct 2008 13:17:09 -0400 |
Adam Chlipala |
Proper indenting of normal ML-y code after </xml> |
| Thu, 16 Oct 2008 13:01:24 -0400 |
Adam Chlipala |
Special case indenting for <xml>...</xml> |
| Thu, 16 Oct 2008 12:55:16 -0400 |
Adam Chlipala |
Fix XML indent not to take two tab-tries |
| Thu, 16 Oct 2008 12:50:59 -0400 |
Adam Chlipala |
Reasonable indenting for pure XML |
| Tue, 14 Oct 2008 17:18:59 -0400 |
Adam Chlipala |
Reusable column handlers for Crud |
| Tue, 14 Oct 2008 16:41:48 -0400 |
Adam Chlipala |
lform -> form |
| Tue, 14 Oct 2008 16:37:43 -0400 |
Adam Chlipala |
Syntax highlighting for embedded XML |
| Mon, 13 Oct 2008 15:31:02 -0400 |
Adam Chlipala |
Reorder font-lock rules to deal better with CDATA |
| Sun, 12 Oct 2008 21:33:52 -0400 |
Adam Chlipala |
Good progress on highlighting embedded XML |
| Sun, 12 Oct 2008 12:53:45 -0400 |
Adam Chlipala |
Highlighting HTML tags |
| Sun, 12 Oct 2008 12:21:54 -0400 |
Adam Chlipala |
Basis and Top syntax-highlight, indent, parse, and type-check |
| Sun, 12 Oct 2008 11:50:21 -0400 |
Adam Chlipala |
top.urs indents and type-checks with new twiddle syntax |
| Sun, 12 Oct 2008 11:44:43 -0400 |
Adam Chlipala |
Basis indents and type-checks with new twiddle syntax |
| Sun, 12 Oct 2008 10:48:01 -0400 |
Adam Chlipala |
More indenting |
| Sun, 12 Oct 2008 10:30:08 -0400 |
Adam Chlipala |
Get type definitions font-locking again |
| Sun, 12 Oct 2008 10:22:50 -0400 |
Adam Chlipala |
Customized font faces |
| Sun, 12 Oct 2008 10:04:17 -0400 |
Adam Chlipala |
First sort-of-working run of urweb-mode |
| Sat, 04 Oct 2008 20:05:50 -0400 |
Adam Chlipala |
Expand cases where expression wildcards are allowed |
