2009-12-05 |
Adam Chlipala |
Recursive hnormSgn for projections of signatures from modules |
2009-12-05 |
Adam Chlipala |
Represent FFI function names as strings, to deal with cross-file recursion |
2009-12-03 |
Adam Chlipala |
New release |
2009-12-03 |
Adam Chlipala |
Merge |
2009-12-03 |
Adam Chlipala |
UTF-8 in dynamic escaping |
2009-12-03 |
Adam Chlipala |
Escaping UTF-8 in MonoOpt |
2009-11-27 |
Adam Chlipala |
Fix handling of clearCookie/getCookie in same page gen |
2009-11-26 |
Adam Chlipala |
Port rest of demo to new cookie signature; fix parsing of multiple incoming cookies |
2009-11-26 |
Adam Chlipala |
More fun with cookies |
2009-11-26 |
Adam Chlipala |
Fix parsing of long FastCGI lengths |
2009-11-25 |
Adam Chlipala |
Hint about disallowed attributes |
2009-11-25 |
Adam Chlipala |
Add 'id' attributes and <label> |
2009-11-25 |
Adam Chlipala |
Better error message for link-handler conflicts |
2009-11-25 |
Adam Chlipala |
Refactor compile functions; allow empty tag contents |
2009-11-25 |
Adam Chlipala |
Exit code of 1 on compilation failure |
2009-11-24 |
Adam Chlipala |
New release |
2009-11-24 |
Adam Chlipala |
Explicitly abort in-flight RPCs onunload |
2009-11-22 |
Adam Chlipala |
Proper initial values of dynamic checkboxes in IE |
2009-11-22 |
Adam Chlipala |
Get dynamic <select> working in IE |
2009-11-22 |
Adam Chlipala |
grid0 working in IE |
2009-11-21 |
Adam Chlipala |
Get message-passing working in IE6 |
2009-11-21 |
Adam Chlipala |
Send RPCs with POST, to avoid caching |
2009-11-21 |
Adam Chlipala |
Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags) |
2009-11-21 |
Adam Chlipala |
Fix for lack of 'apply' method of IE6 native functions |
2009-11-17 |
Adam Chlipala |
Hooks for measuring how much interesting proving is going on in elaboration |
2009-11-08 |
Adam Chlipala |
New release |
2009-11-07 |
Adam Chlipala |
Saving paper decisions |
2009-11-02 |
Adam Chlipala |
Decision status placeholder |
2009-11-02 |
Adam Chlipala |
Start of Decision |
2009-11-02 |
Adam Chlipala |
Seeing others' reviews |
2009-11-02 |
Adam Chlipala |
Preload current assignment status |
2009-11-02 |
Adam Chlipala |
Saving paper assignments |
2009-11-02 |
Adam Chlipala |
Switch Monoize back to POST forms |
2009-11-01 |
Adam Chlipala |
Initial form for paper assignment |
2009-11-01 |
Adam Chlipala |
Optimizing str1 in MonoOpt |
2009-11-01 |
Adam Chlipala |
Bidding interface |
2009-10-31 |
Adam Chlipala |
Start of bidding implementation compiles |
2009-10-25 |
Adam Chlipala |
Use call/cc for recv and sleep |
2009-10-25 |
Adam Chlipala |
RPC uses VM support for call/cc |
2009-10-25 |
Adam Chlipala |
Always inline records |
2009-10-25 |
Adam Chlipala |
Extend Fuse to work on non-recursive functions |
2009-10-25 |
Adam Chlipala |
Inlining threshold for Mono_reduce |
2009-10-25 |
Adam Chlipala |
Inlining threshold for Reduce |
2009-10-25 |
Adam Chlipala |
Factor Dnat into separate module |
2009-10-22 |
Adam Chlipala |
Chars working with SQLite |
2009-10-22 |
Adam Chlipala |
Get char working with MySQL |
2009-10-22 |
Adam Chlipala |
Setting and updating your own review |
2009-10-22 |
Adam Chlipala |
Initial support for char in SQL |
2009-10-22 |
Adam Chlipala |
authorship table |
2009-10-22 |
Adam Chlipala |
Viewing papers |
2009-10-22 |
Adam Chlipala |
Move stuff from bulkEdit to meta |
2009-10-22 |
Adam Chlipala |
Title and abstract |
2009-10-22 |
Adam Chlipala |
Checking deadline; sign-in |
2009-10-20 |
Adam Chlipala |
Saving changes to user list |
2009-10-20 |
Adam Chlipala |
Start of user management |
2009-10-20 |
Adam Chlipala |
Registering for Conference1 |
2009-10-20 |
Adam Chlipala |
Adapted existing demos to tuple pattern-matching |
2009-10-20 |
Adam Chlipala |
Add tuple pattern-matching at the constructor level |
2009-10-15 |
Adam Chlipala |
Better subSgn error locations |
2009-10-12 |
Adam Chlipala |
New release |
2009-10-12 |
Adam Chlipala |
Fix some MySQL hijinks |
2009-10-09 |
Adam Chlipala |
Put right date stamp in CHANGELOG |
2009-10-09 |
Adam Chlipala |
New release |
2009-10-06 |
Adam Chlipala |
Versioned1 demo working |
2009-10-06 |
Adam Chlipala |
Initial versioned1 demo working |
2009-10-06 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
2009-10-06 |
Adam Chlipala |
Finalized Orm1 demo |
2009-10-06 |
Adam Chlipala |
Initial Orm1 demo |
2009-10-06 |
Adam Chlipala |
Fix a de Bruijn index bug in map fusion |
2009-10-05 |
Adam Chlipala |
Orm searching |
2009-10-05 |
Adam Chlipala |
Basic CRUD operations in Orm |
2009-10-05 |
Adam Chlipala |
Better location calculation for record unification error messages; infer kind arguments to module-projected variables |
2009-10-05 |
Adam Chlipala |
Mangle local table names to avoid keyword clashes in SQL |
2009-09-26 |
Adam Chlipala |
New release |
2009-09-26 |
Adam Chlipala |
Whitelisting tags that may be self-closed |
2009-09-24 |
Adam Chlipala |
Add tail call optimization to interpretation |
2009-09-24 |
Adam Chlipala |
Grid1 seems to work in latest Firefox |
2009-09-24 |
Adam Chlipala |
Fix sel() generation bug |
2009-09-24 |
Adam Chlipala |
demo/more compiles; small problem left with foreign keys in Grid1 |
2009-09-24 |
Adam Chlipala |
Main demo pieces all seem to work with interpretation |
2009-09-24 |
Adam Chlipala |
demo/increment works with interpretation |
2009-09-24 |
Adam Chlipala |
Might have fixed demo/listEdit |
2009-09-22 |
Adam Chlipala |
demo/react works with interpretation |
2009-09-22 |
Adam Chlipala |
Quoting JavaScript working |
2009-09-22 |
Adam Chlipala |
Compiled an 'option' pattern-match |
2009-09-22 |
Adam Chlipala |
More interpreter debugging |
2009-09-22 |
Adam Chlipala |
Functions working with interpretation |
2009-09-22 |
Adam Chlipala |
Basic arithmetic working with interpretation |
2009-09-22 |
Adam Chlipala |
Hopefully complete refactoring of Jscomp to output ASTs; partial implementation of interpreter in runtime system (demo/alert works) |
2009-09-22 |
Adam Chlipala |
Iterative versions of some JavaScript list functions |
2009-09-19 |
Adam Chlipala |
New release |
2009-09-19 |
Adam Chlipala |
Plugged a JavaScript memory leak |
2009-09-19 |
Adam Chlipala |
Paging + filtering seemingly working, but runtime system isn't GCing signals properly, so performance goes south quickly |
2009-09-19 |
Adam Chlipala |
Progress on sorting + filtering |
2009-09-19 |
Adam Chlipala |
Paging mostly working; just need to get it working properly with filtering |
2009-09-19 |
Adam Chlipala |
Testing Dlist MaxLength with constant value |
2009-09-19 |
Adam Chlipala |
Testing Dlist StartPosition with constant offset |
2009-09-19 |
Adam Chlipala |
Grid sorting working |
2009-09-19 |
Adam Chlipala |
Hopefully fixed Jscomp bug that was breaking Grid |
2009-09-18 |
Adam Chlipala |
Fix C substring implementation |
2009-09-17 |
Adam Chlipala |
Pseudo-sort working with filters |
2009-09-17 |
Adam Chlipala |
Grid changed to use Dlist.replace; filters stopped working |
2009-09-17 |
Adam Chlipala |
Don't try to check if functions are already tail-recursive |
2009-09-17 |
Adam Chlipala |
tail example working |
2009-09-17 |
Adam Chlipala |
Basic tail recursion introduction seems to be working |
2009-09-17 |
Adam Chlipala |
Bad sort functions tested |
2009-09-17 |
Adam Chlipala |
Insert dummy Sort parameter |
2009-09-17 |
Adam Chlipala |
Make filter argument to render, not create |
2009-09-17 |
Adam Chlipala |
Don't try to compile sigString() calls to JavaScript |
2009-09-17 |
Adam Chlipala |
Disable GCC inlining to stop goofy errors |
2009-09-17 |
Adam Chlipala |
Find more opportunities for 'let' inlining with better purity information |
2009-09-17 |
Adam Chlipala |
Print char patterns in C |
2009-09-15 |
Adam Chlipala |
Filters displaying properly |
2009-09-15 |
Adam Chlipala |
Filters displaying awfully |
2009-09-15 |
Adam Chlipala |
Filters implementation type-checking |
2009-09-15 |
Adam Chlipala |
Fix JavaScript char literals; don't generate demo links to nonexistent files |
2009-09-15 |
Adam Chlipala |
Escape character constants; lift indices properly in Reduce 'case' simplification |
2009-09-15 |
Adam Chlipala |
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid |
2009-09-15 |
Adam Chlipala |
Selection working, but switching it on isn't |
2009-09-15 |
Adam Chlipala |
Fix Postgres timestamp round-tripping |
2009-09-15 |
Adam Chlipala |
Fix MySQL timestamp input |
2009-09-15 |
Adam Chlipala |
Summary row with aggregates |
2009-09-15 |
Adam Chlipala |
Include 'key' type in Grid |
2009-09-15 |
Adam Chlipala |
Dropped in initial aggregate types |
2009-09-14 |
Adam Chlipala |
Fix a bug in Jscomp environment calculation for EQuery; smarter embedding of record projection in JavaScript |
2009-09-13 |
Adam Chlipala |
Fix some MySQL bugs |
2009-09-13 |
Adam Chlipala |
Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce |
2009-09-13 |
Adam Chlipala |
Have nullable columns working with Dbgrid |
2009-09-12 |
Adam Chlipala |
Nullable columns *might* be working, but too much JS is generated for the page to load in finite time |
2009-09-12 |
Adam Chlipala |
New release |
2009-09-12 |
Adam Chlipala |
Merge |
2009-09-12 |
Adam Chlipala |
Debugging new string urlification |
2009-09-12 |
Adam Chlipala |
Prevent event bubbling |
2009-09-12 |
Adam Chlipala |
Change string URLification to avoid using the empty string, which confuses Apache no2slash() |
2009-09-10 |
Adam Chlipala |
Add grid CSS ACL |
2009-09-10 |
Adam Chlipala |
Add grid CSS |
2009-09-09 |
Adam Chlipala |
Find chances to use mstrcat() |
2009-09-09 |
Adam Chlipala |
Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining |
2009-09-09 |
Adam Chlipala |
Fix memmem() signature; fix mono_reduce environment bookkeeping |
2009-09-08 |
Adam Chlipala |
'more' demos working after optimizer fix |
2009-09-08 |
Adam Chlipala |
Use cdata for shorter Monad map |
2009-09-08 |
Adam Chlipala |
dragList demo working, save for Gecko load delay and highlighting |
2009-09-08 |
Adam Chlipala |
dragList almost kinda works |
2009-09-08 |
Adam Chlipala |
Start 'more' demo with dbgrid |
2009-08-25 |
Adam Chlipala |
New release |
2009-08-25 |
Adam Chlipala |
Fix structure wildification to take concrete con decls into account |
2009-08-25 |
Adam Chlipala |
Fix inconsistency in bool URLification between C and JavaScript |
2009-08-25 |
Adam Chlipala |
Fix list jsification bug; grid1 working with foreign key, but booleans not getting into database properly |
2009-08-25 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
2009-08-22 |
Adam Chlipala |
Fixed bug in reduce bind-commutation |
2009-08-22 |
Adam Chlipala |
Convert to requiring explicit 'rpc' marker |
2009-08-11 |
Adam Chlipala |
JavaScript urlifying of bools; correct Link attribute escaping |
2009-08-11 |
Adam Chlipala |
Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?: |
2009-08-09 |
Adam Chlipala |
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |
2009-08-06 |
Adam Chlipala |
Fix type class resolution infinite loop, discovered while meeting with Ezra |
2009-08-06 |
Adam Chlipala |
<dyn> inside <tr> |
2009-08-06 |
Adam Chlipala |
dlist add and delete both working in Iceape and Konqueror |
2009-08-06 |
Adam Chlipala |
dlist row add working with Konqueror |
2009-08-06 |
Adam Chlipala |
Tweaking dyn() implementation to get grid working |
2009-08-06 |
Adam Chlipala |
dtable example and demos both working |
2009-07-19 |
Adam Chlipala |
Working on Grid; have gone from one dynamic table bizareness to another |
2009-07-18 |
Adam Chlipala |
FFI manual section |
2009-07-18 |
Adam Chlipala |
New command-line options; describe simple SQLite build in demo intro |
2009-07-18 |
Adam Chlipala |
Key events get key code input |
2009-07-18 |
Adam Chlipala |
Testing new events |
2009-07-18 |
Adam Chlipala |
Goodbye <font>; hello <h5> and <h6> |
2009-07-18 |
Adam Chlipala |
Try to add all applicable JavaScript events |
2009-07-18 |
Adam Chlipala |
More command-line options |
2009-07-18 |
Adam Chlipala |
Blobs tested in MySQL and SQLite |
2009-07-17 |
Adam Chlipala |
Tweaking demos a bit |
2009-07-17 |
Adam Chlipala |
Fix month off-by-one for MySQL timestamps |
2009-07-17 |
Adam Chlipala |
Timestamps working with SQLite |
2009-07-17 |
Adam Chlipala |
Most of demo working with SQLite |
2009-07-17 |
Adam Chlipala |
demo/sql works with SQLite |
2009-07-17 |
Adam Chlipala |
Check for existence of sequences (MySQL) |
2009-07-17 |
Adam Chlipala |
Avoid preparing the same statement twice |
2009-07-17 |
Adam Chlipala |
MySQL CGI working |
2009-07-17 |
Adam Chlipala |
Fix dependency misordering |
2009-07-17 |
Adam Chlipala |
Testing nested queries |
2009-07-16 |
Adam Chlipala |
Demo working with MySQL |
2009-07-16 |
Adam Chlipala |
Sequence code compiles in MySQL |
2009-07-16 |
Adam Chlipala |
MySQL accepts generated demo DDL |
2009-07-12 |
Adam Chlipala |
Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet |
2009-07-12 |
Adam Chlipala |
demo/sql working with MySQL |
2009-07-12 |
Adam Chlipala |
MySQL demo/sql succeeds in reading no rows |
2009-07-12 |
Adam Chlipala |
MySQL query gets up to C linking |
2009-06-30 |
Adam Chlipala |
Validating views |
2009-06-30 |
Adam Chlipala |
Switch to Information Schema from Postgres catalog |
2009-06-30 |
Adam Chlipala |
Move all DBMS initialization to #init |
2009-06-28 |
Adam Chlipala |
Moved nextval code into Settings |
2009-06-28 |
Adam Chlipala |
Moved dml code into Settings |
2009-06-28 |
Adam Chlipala |
Moved query code into Settings |
2009-06-28 |
Adam Chlipala |
Start of multi-DBMS support |
2009-06-28 |
Adam Chlipala |
Move http protocol into its own file |
2009-06-27 |
Adam Chlipala |
FastCGI working with lighttpd |
2009-06-27 |
Adam Chlipala |
.msgs processing in FastCGI |
2009-06-27 |
Adam Chlipala |
Fix memory leak in fastcgi environment management |
2009-06-27 |
Adam Chlipala |
Fix env-reading bug in fastcgi; a bunch of non-AJAXy demos working |
2009-06-27 |
Adam Chlipala |
Serving Hello via FastCGI |
2009-06-27 |
Adam Chlipala |
Successfully starting FastCGI sessions with Apache |
2009-06-27 |
Adam Chlipala |
Avoid using prepared statements for non-persistent protocols |
2009-06-27 |
Adam Chlipala |
-debug from the command line |
2009-06-23 |
Adam Chlipala |
cgi protocol |
2009-06-23 |
Adam Chlipala |
Initial implementation of protocols in Settings |
2009-06-23 |
Adam Chlipala |
Further refactoring of request.c to work with CGI |
2009-06-23 |
Adam Chlipala |
Factor out common request functionality, in preparation for supporting different protocols |
2009-06-23 |
Adam Chlipala |
New release |
2009-06-18 |
Adam Chlipala |
Fix a bug with 'Some p' patterns, where 'p' needs specialization |
2009-06-16 |
Adam Chlipala |
Fix a variable capture bug in nested JavaScript; some more list stuff |
2009-06-16 |
Adam Chlipala |
Fix a bug in type class enrichment from substructures |
2009-06-13 |
Adam Chlipala |
Fix MonoReduce unsoundness with lets and fns |
2009-06-13 |
Adam Chlipala |
<dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls |
2009-06-09 |
Adam Chlipala |
Some standard library reorgs and additions; handle mutual datatypes better in Specialize |
2009-06-09 |
Adam Chlipala |
Mark current as effectful; add List functions |
2009-06-07 |
Adam Chlipala |
Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff |
2009-06-07 |
Adam Chlipala |
List.all; fix ANDALSO/ORELSE parsing precedence |
2009-06-07 |
Adam Chlipala |
&& and || |
2009-06-07 |
Adam Chlipala |
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable |
2009-06-06 |
Adam Chlipala |
Fix unbound name problem in Jscomp injectors; more List stuff |
2009-06-06 |
Adam Chlipala |
List library additions; fix another substructure unification bug |
2009-06-02 |
Adam Chlipala |
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp |
2009-06-02 |
Adam Chlipala |
Tweak -- precedence; use right env for final exhaustiveness errors |
2009-06-02 |
Adam Chlipala |
Fix relative precedence of ; and case-stuff |
2009-06-02 |
Adam Chlipala |
Less whining about match failures; fix singleton record Jscomp bug |
2009-06-02 |
Adam Chlipala |
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module |
2009-05-31 |
Adam Chlipala |
Expose resolveClass from Elaborate |
2009-05-31 |
Adam Chlipala |
Fix pathmap bug; expose lower-level heap manipulation from C |
2009-05-31 |
Adam Chlipala |
strcspn and friends |
2009-05-30 |
Adam Chlipala |
Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly |
2009-05-30 |
Adam Chlipala |
Substring functions; fix a nasty MonoReduce pattern match substitution bug |
2009-05-30 |
Adam Chlipala |
String.length |
2009-05-28 |
Adam Chlipala |
Fix variable adjustment bug in fn/case alternation |
2009-05-28 |
Adam Chlipala |
Fix EDLet elab_util bug |
2009-05-28 |
Adam Chlipala |
Destructing local let, to the point where demo compiles |
2009-05-28 |
Adam Chlipala |
Use a timeout to avoid errors after unload |
2009-05-28 |
Adam Chlipala |
Demo compiles with pattern-matching-fu |
2009-05-28 |
Adam Chlipala |
fn-pattern code in but not tested yet; hello compiles |
2009-05-26 |
Adam Chlipala |
Chars and more string operations |
2009-05-23 |
Adam Chlipala |
Change monoization of monads to allow partial applications of operations |
2009-05-23 |
Adam Chlipala |
Switch to Maranget's pattern exhaustiveness algorithm |
2009-05-21 |
Adam Chlipala |
Change List.mapM' to avoid leaving functions around |
2009-05-21 |
Adam Chlipala |
ccheckbox |
2009-05-21 |
Adam Chlipala |
Split JavaScript inp() into separate functions |
2009-05-17 |
Adam Chlipala |
Redo Jscomp |
2009-05-17 |
Adam Chlipala |
Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce |
2009-05-17 |
Adam Chlipala |
Corify FFI datatypes properly; eliminate nested JavaScript markers |
2009-05-16 |
Adam Chlipala |
Loading an FCKeditor |
2009-05-16 |
Adam Chlipala |
Fix initialization of cselect from source |
2009-05-16 |
Adam Chlipala |
Fix another problem with overwrites during JavaScript pattern matching |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Cjrize |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Pathcheck |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Effectize |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Corify |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Elaborate |
2009-05-16 |
Adam Chlipala |
Add extra XML preamble nonsense |
2009-05-16 |
Adam Chlipala |
Catch more unclosed bodyless tags in Monoize |
2009-05-16 |
Adam Chlipala |
Fix a Core_untangle bug that missed closure variable references; XHTMLize |
2009-05-14 |
Adam Chlipala |
Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp |
2009-05-14 |
Adam Chlipala |
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
2009-05-14 |
Adam Chlipala |
cselect.onchange |
2009-05-14 |
Adam Chlipala |
Improvements while working on Graftid |
2009-05-14 |
Adam Chlipala |
cselect |
2009-05-14 |
Adam Chlipala |
Fix a nasty binding bug in CoreUtil |
2009-05-14 |
Adam Chlipala |
Testing custom paths |
2009-05-14 |
Adam Chlipala |
Improving/reordering Unpoly and Especialize; pathmaps |
2009-05-13 |
Adam Chlipala |
Stop potential buffer overrun of path_copy |
2009-05-12 |
Adam Chlipala |
Improvements while working on Graftid |
2009-05-10 |
Adam Chlipala |
Use Ur/Web library .mlb |
2009-05-05 |
Adam Chlipala |
Tag CHANGELOG with release date |
2009-05-05 |
Adam Chlipala |
Describe GET/POST |
2009-05-05 |
Adam Chlipala |
Constraint syntax |
2009-05-05 |
Adam Chlipala |
on* handlers |
2009-05-05 |
Adam Chlipala |
Revised query types |
2009-05-05 |
Adam Chlipala |
Table constraint Ur code |
2009-05-05 |
Adam Chlipala |
Revising manual through end of Section 6 |
2009-05-05 |
Adam Chlipala |
Revising manual through end of Section 3 |
2009-05-05 |
Adam Chlipala |
Make Effectize more precise |
2009-05-03 |
Adam Chlipala |
crud3 demo |
2009-05-03 |
Adam Chlipala |
subforms demo |
2009-05-03 |
Adam Chlipala |
cookieSec demo |
2009-05-03 |
Adam Chlipala |
view demo |
2009-05-03 |
Adam Chlipala |
outer demo |
2009-05-03 |
Adam Chlipala |
upload demo |
2009-05-03 |
Adam Chlipala |
css demo |
2009-05-03 |
Adam Chlipala |
url demo |
2009-05-03 |
Adam Chlipala |
constraints demo |
2009-05-02 |
Adam Chlipala |
Update FFI type of Basis.self |
2009-05-02 |
Adam Chlipala |
FFI transactionals |
2009-05-02 |
Adam Chlipala |
Runtime URL and MIME type filtering |
2009-05-02 |
Adam Chlipala |
allow/deny working in Mono_opt |
2009-05-02 |
Adam Chlipala |
Path rewriting |
2009-05-02 |
Adam Chlipala |
Add 'library' directive |
2009-05-02 |
Adam Chlipala |
More FFI compiler options |
2009-05-02 |
Adam Chlipala |
Successfully influenced effectful-ness status of FFI func |
2009-04-30 |
Adam Chlipala |
C FFI compiler options |
2009-04-30 |
Adam Chlipala |
Lexing character entities |
2009-04-30 |
Adam Chlipala |
List notations |
2009-04-30 |
Adam Chlipala |
<input type='hidden'> |
2009-04-30 |
Adam Chlipala |
Megaform test |
2009-04-30 |
Adam Chlipala |
subforms working |
2009-04-30 |
Adam Chlipala |
Subforms type-checks; lists urlified and unurlified |
2009-04-30 |
Adam Chlipala |
Basis.list |
2009-04-28 |
Adam Chlipala |
Subforms |
2009-04-28 |
Adam Chlipala |
Views in CHANGELOG |
2009-04-28 |
Adam Chlipala |
A view query works |
2009-04-28 |
Adam Chlipala |
Preparing to allow views in SELECT FROM clauses |
2009-04-28 |
Adam Chlipala |
Outer joins in CHANGELOG |
2009-04-28 |
Adam Chlipala |
RIGHT and FULL JOIN |
2009-04-28 |
Adam Chlipala |
LEFT JOIN |
2009-04-28 |
Adam Chlipala |
INNER JOIN |
2009-04-28 |
Adam Chlipala |
Switch to using sql_from_items |
2009-04-26 |
Adam Chlipala |
Extra checks on assumptions about SQL results |
2009-04-26 |
Adam Chlipala |
sql_ufunc and octet_length |
2009-04-26 |
Adam Chlipala |
blobSize |
2009-04-26 |
Adam Chlipala |
Blobs in CHANGELOG |
2009-04-26 |
Adam Chlipala |
Handling nullable blobs |
2009-04-26 |
Adam Chlipala |
Reading blobs from the database |
2009-04-26 |
Adam Chlipala |
Returning a blob as page result |
2009-04-25 |
Adam Chlipala |
Add MIME type to file |
2009-04-25 |
Adam Chlipala |
Only allow single-file upload per control |
2009-04-25 |
Adam Chlipala |
Prepared statements with blobs |
2009-04-25 |
Adam Chlipala |
Initial support for blobs and upload |
2009-04-23 |
Adam Chlipala |
Cookie signatures for RPCs |
2009-04-23 |
Adam Chlipala |
Only use cookie signatures when cookies might be read |
2009-04-16 |
Adam Chlipala |
Cookie signing working for forms |
2009-04-16 |
Adam Chlipala |
Add more buttons to demo, to avoid effectful GET |
2009-04-16 |
Adam Chlipala |
Effectness analysis |
2009-04-16 |
Adam Chlipala |
Label exported symbols by effect-ness; factor out some common datatypes |
2009-04-16 |
Adam Chlipala |
POST support |
2009-04-16 |
Adam Chlipala |
Some client-side error handling |
2009-04-16 |
Adam Chlipala |
Avoid thread death via message receive |
2009-04-16 |
Adam Chlipala |
Show XML |
2009-04-16 |
Adam Chlipala |
onError |
2009-04-16 |
Adam Chlipala |
Catching duplicate cookie and style paths |
2009-04-16 |
Adam Chlipala |
<link> |
2009-04-13 |
Adam Chlipala |
Simplify type class requirement for tree demo |
2009-04-12 |
Adam Chlipala |
Tiny increment to style test |
2009-04-12 |
Adam Chlipala |
Classes as optional arguments to Basis.tag |
2009-04-12 |
Adam Chlipala |
Stop tracking CSS classes in XML types |
2009-04-12 |
Adam Chlipala |
hello compiles with CSS |
2009-04-12 |
Adam Chlipala |
style declarations |
2009-04-09 |
Adam Chlipala |
URLs |
2009-04-09 |
Adam Chlipala |
Update CHANGELOG |
2009-04-09 |
Adam Chlipala |
Use FOREIGN KEY in Tree demo |
2009-04-09 |
Adam Chlipala |
CHECK constraints |
2009-04-09 |
Adam Chlipala |
Retry failed record summary unifications at the end, in hopes that more has been learned |
2009-04-09 |
Adam Chlipala |
More flexible foreign keying |
2009-04-09 |
Adam Chlipala |
Made type class system very general; demo compiles |
2009-04-08 |
Adam Chlipala |
Get demo type-inferring again |
2009-04-07 |
Adam Chlipala |
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference) |
2009-04-07 |
Adam Chlipala |
Add primary keys to demo |
2009-04-07 |
Adam Chlipala |
PRIMARY KEY |
2009-04-07 |
Adam Chlipala |
Enhance table sig item support and get demo compiling again |
2009-04-07 |
Adam Chlipala |
Track uniqueness sets in table types |
2009-04-07 |
Adam Chlipala |
UNIQUE constraints |
2009-04-05 |
Adam Chlipala |
Fixing some regressions and other bugs |
2009-04-05 |
Adam Chlipala |
CHANGELOG before release |
2009-04-05 |
Adam Chlipala |
Update the manual |
2009-04-05 |
Adam Chlipala |
Initialize contexts a little more vigorously |
2009-04-05 |
Adam Chlipala |
Chat demo |
2009-04-05 |
Adam Chlipala |
RoundTrip demo |
2009-04-05 |
Adam Chlipala |
Threads demo |
2009-04-05 |
Adam Chlipala |
Avoid generating empty <script> blocks |
2009-04-04 |
Adam Chlipala |
sleep and better Scriptcheck |
2009-04-04 |
Adam Chlipala |
spawn |
2009-04-04 |
Adam Chlipala |
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned |
2009-04-04 |
Adam Chlipala |
Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active |
2009-04-04 |
Adam Chlipala |
Checking spans in dyns |
2009-04-02 |
Adam Chlipala |
Redo signal implementation to avoid memory leaks |
2009-04-02 |
Adam Chlipala |
Make sure only one pull request runs at a time for each client |
2009-04-02 |
Adam Chlipala |
Detect serialization failures |
2009-04-02 |
Adam Chlipala |
On start-up, delete/nullify rows mentioning clients or channels |
2009-04-02 |
Adam Chlipala |
Don't self-update ctextboxes unnecessarily |
2009-04-02 |
Adam Chlipala |
Stop holding client locks throughout request processing |
2009-03-29 |
Adam Chlipala |
Expunging nullable fields |
2009-03-29 |
Adam Chlipala |
Expunging non-nullable rows |
2009-03-29 |
Adam Chlipala |
Redo channels, making them single-client |
2009-03-28 |
Adam Chlipala |
Switch back to starting listener on load |
2009-03-28 |
Adam Chlipala |
Marshalcheck |
2009-03-26 |
Adam Chlipala |
Chat example working nicely, but without dead channel removal |
2009-03-26 |
Adam Chlipala |
Preliminary work supporting channels in databases |
2009-03-26 |
Adam Chlipala |
Enforce termination of type class instances |
2009-03-26 |
Adam Chlipala |
Make sql_injectable class nicer with inclusion |
2009-03-26 |
Adam Chlipala |
Type class inclusions |
2009-03-26 |
Adam Chlipala |
Type class reductions, but no inclusions yet |
2009-03-24 |
Adam Chlipala |
Variable timeouts and client keep-alive |
2009-03-24 |
Adam Chlipala |
Fix some AJAX annoyances |
2009-03-24 |
Adam Chlipala |
Transactionalize channel operations |
2009-03-22 |
Adam Chlipala |
Proper recv |
2009-03-22 |
Adam Chlipala |
Press a button to send a message |
2009-03-22 |
Adam Chlipala |
First message send delivered, but not interpreted |
2009-03-19 |
Adam Chlipala |
Dummy message delivery to clients |
2009-03-19 |
Adam Chlipala |
Factor out some common buffer functionality |
2009-03-12 |
Adam Chlipala |
Mention src/coq in CHANGELOG |
2009-03-12 |
Adam Chlipala |
Spell-check manual |
2009-03-12 |
Adam Chlipala |
Update CHANGELOG |
2009-03-12 |
Adam Chlipala |
Add guard elim rule |
2009-03-12 |
Adam Chlipala |
Update compiler phases |
2009-03-12 |
Adam Chlipala |
Describe AJAX RPC structure |
2009-03-12 |
Adam Chlipala |
Functional-reactive subsection |
2009-03-12 |
Adam Chlipala |
Update old Ur/Web library section, before adding new stuff |
2009-03-12 |
Adam Chlipala |
Describe folders |
2009-03-12 |
Adam Chlipala |
Revise type inference section |
2009-03-12 |
Adam Chlipala |
Revise manual, through static semantics |
2009-03-12 |
Adam Chlipala |
Revise manual, through end of Syntax |
2009-03-12 |
Adam Chlipala |
Change location/type of [fold] to be more uniform w.r.t. derived folders |
2009-03-12 |
Adam Chlipala |
Revising manual, through main syntax section |
2009-03-10 |
Adam Chlipala |
Noisy demo |
2009-03-10 |
Adam Chlipala |
BatchG demo |
2009-03-10 |
Adam Chlipala |
Batch example |
2009-03-10 |
Adam Chlipala |
Increment demo |
2009-03-10 |
Adam Chlipala |
Prose for ListEdit |
2009-03-10 |
Adam Chlipala |
ListEdit demo, minus prose |
2009-03-10 |
Adam Chlipala |
React demo |
2009-03-10 |
Adam Chlipala |
Alert demo |
2009-03-10 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
2009-03-09 |
Adam Chlipala |
Conversion of functions to CPS, to facilitate ServerCall |
2009-03-08 |
Adam Chlipala |
RPC returning an option |
2009-03-08 |
Adam Chlipala |
RPC returning a default datatype |
2009-03-08 |
Adam Chlipala |
RPC returning an option datatype |
2009-03-08 |
Adam Chlipala |
RPC returning an enumeration |
2009-02-26 |
Adam Chlipala |
Kind-polymorphic [fst] and friends |
2009-02-26 |
Adam Chlipala |
Coq README |
2009-02-24 |
Adam Chlipala |
Coq formalization uses TDisjoint |
2009-02-24 |
Adam Chlipala |
Folder generation for functors |
2009-02-24 |
Adam Chlipala |
Folder generation for functions |
2009-02-24 |
Adam Chlipala |
Demos compile again, with manual folders |
2009-02-24 |
Adam Chlipala |
Make folders abstract |
2009-02-24 |
Adam Chlipala |
Top.Fold.mp |
2009-02-24 |
Adam Chlipala |
Top.Fold.concat elaborates |
2009-02-24 |
Adam Chlipala |
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses |
2009-02-22 |
Adam Chlipala |
demo/sum working with manual folders |
2009-02-22 |
Adam Chlipala |
demo/hello compiles with kind polymorphism |
2009-02-22 |
Adam Chlipala |
Turned off termination checking, for now |
2009-02-22 |
Adam Chlipala |
Kind polymorphism through Explify |
2009-02-22 |
Adam Chlipala |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
2009-02-21 |
Adam Chlipala |
Debug reverse-engineering unification |
2009-02-21 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
2009-02-21 |
Adam Chlipala |
Finish semantics for Featherweight Ur |
2009-02-21 |
Adam Chlipala |
Time to start thinking about guards |
2009-02-21 |
Adam Chlipala |
Most of expression semantics |
2009-02-21 |
Adam Chlipala |
map-only syntax and semantics |
2009-02-18 |
Adam Chlipala |
Semantics for ordered rows only |
2009-02-17 |
Adam Chlipala |
Start of Featherweight Ur semantics |
2009-02-15 |
Adam Chlipala |
Parameterized RPC query |
2009-02-15 |
Adam Chlipala |
Initial parsing of RPC results |
2009-02-15 |
Adam Chlipala |
Detect AJAX call failures |
2009-02-15 |
Adam Chlipala |
Avoid extra slashes in Cjr urlification |
2009-02-15 |
Adam Chlipala |
Reading and displaying value via AJAX |
2009-02-15 |
Adam Chlipala |
First gimpy RPC |
2009-02-15 |
Adam Chlipala |
Export RPC functions and push RPC calls through to Mono |
2009-02-14 |
Adam Chlipala |
Start of RPCification |
2009-01-27 |
Adam Chlipala |
Use normal fields of ctextboxes |
2009-01-17 |
Adam Chlipala |
dlist2 working swimmingly |
2009-01-17 |
Adam Chlipala |
Add dynamic content under proper parents |
2009-01-16 |
Adam Chlipala |
dlist example working |
2009-01-13 |
Adam Chlipala |
Combine lib* directories |
2009-01-13 |
Adam Chlipala |
Initial experiments with nested <dyn> |
2009-01-11 |
Adam Chlipala |
Do proper insertion of dynamic content within nested DOM containers |
2009-01-11 |
Adam Chlipala |
Use header to set default script type |
2009-01-11 |
Adam Chlipala |
Hooking a source into an input |
2009-01-08 |
Adam Chlipala |
Injected a non-special-case datatype |
2009-01-08 |
Adam Chlipala |
Injected a polymorphic, recursive type |
2009-01-08 |
Adam Chlipala |
Injected an enumeration |
2009-01-02 |
Adam Chlipala |
Injected an option |
2009-01-02 |
Adam Chlipala |
Injected a record |
2009-01-01 |
Adam Chlipala |
Injecting strings and bools |
2009-01-01 |
Adam Chlipala |
Injecting a float |
2009-01-01 |
Adam Chlipala |
Injecting an int |
2009-01-01 |
Adam Chlipala |
Included a recursive function in JavaScript |
2009-01-01 |
Adam Chlipala |
Basic datatype reactives |
2009-01-01 |
Adam Chlipala |
Reactive if |
2009-01-01 |
Adam Chlipala |
Reactive bool |
2009-01-01 |
Adam Chlipala |
Reactive record pattern |
2009-01-01 |
Adam Chlipala |
Used an option as a source |
2009-01-01 |
Adam Chlipala |
Reactive computation with more base types and records |
2009-01-01 |
Adam Chlipala |
Source containing an int |
2008-12-30 |
Adam Chlipala |
Double-bind works |
2008-12-30 |
Adam Chlipala |
Propagating a change through a bind |
2008-12-30 |
Adam Chlipala |
Propagated a source change into a dynamic document element |
2008-12-30 |
Adam Chlipala |
Harmonized source-setting between server and client |
2008-12-30 |
Adam Chlipala |
Setting a source server-side |
2008-12-30 |
Adam Chlipala |
Merge |
2008-12-30 |
Adam Chlipala |
Starting to implement source set |
2008-12-21 |
Adam Chlipala |
Trivial use of a source |
2008-12-24 |
Adam Chlipala |
More manual bug reports from megacz |
2008-12-21 |
Adam Chlipala |
Handling singnal bind |
2008-12-21 |
Adam Chlipala |
Switch to using dyn() function in JavaScript |
2008-12-20 |
Adam Chlipala |
Typo report from megacz |
2008-12-20 |
Adam Chlipala |
Successfully generated a page element from a signal |
2008-12-20 |
Adam Chlipala |
Initial <dyn> support |
2008-12-20 |
Adam Chlipala |
Start of JsComp |
2008-12-19 |
Adam Chlipala |
Displayed an alert dialog |
2008-12-19 |
Adam Chlipala |
Creation of sources in server code |
2008-12-19 |
Adam Chlipala |
Monad type class seems to be working |
2008-12-19 |
Adam Chlipala |
Initial conversion to arbitrary-kind classes |
2008-12-19 |
Adam Chlipala |
Add initial C support for reactive |
2008-12-09 |
Adam Chlipala |
Prepare to release |
2008-12-09 |
Adam Chlipala |
Spell check |
2008-12-09 |
Adam Chlipala |
Add SQL arithmetic operators |
2008-12-09 |
Adam Chlipala |
Proofreading pass |
2008-12-09 |
Adam Chlipala |
Building an application |
2008-12-09 |
Adam Chlipala |
.urp files |
2008-12-09 |
Adam Chlipala |
Installation |
2008-12-07 |
Adam Chlipala |
Intro |
2008-12-07 |
Adam Chlipala |
The structure of web applications |
2008-12-07 |
Adam Chlipala |
Compiler phases |
2008-12-07 |
Adam Chlipala |
XML syntax |
2008-12-07 |
Adam Chlipala |
DML |
2008-12-07 |
Adam Chlipala |
Query syntax |
2008-12-07 |
Adam Chlipala |
Treat user-provided error messages as XML |
2008-12-07 |
Adam Chlipala |
XML |
2008-12-07 |
Adam Chlipala |
Sequences |
2008-12-07 |
Adam Chlipala |
DML |
2008-12-07 |
Adam Chlipala |
Finish documenting queries; remove a stray [unit] argument |
2008-12-07 |
Adam Chlipala |
Start of sql_exp |
2008-12-06 |
Adam Chlipala |
Start of Ur/Web library |
2008-12-06 |
Adam Chlipala |
Type inference |
2008-11-29 |
Adam Chlipala |
Module projection |
2008-11-29 |
Adam Chlipala |
selfify |
2008-11-29 |
Adam Chlipala |
Module typing |
2008-11-29 |
Adam Chlipala |
Signature compatibility |
2008-11-29 |
Adam Chlipala |
Signature compatibility |
2008-11-29 |
Adam Chlipala |
Declaration typing |
2008-11-29 |
Adam Chlipala |
Pattern typing |
2008-11-29 |
Adam Chlipala |
Typing |
2008-11-29 |
Adam Chlipala |
Definitional equality |
2008-11-29 |
Adam Chlipala |
Disjointness |
2008-11-29 |
Adam Chlipala |
Kinding |
2008-11-27 |
Adam Chlipala |
Shorthands |
2008-11-27 |
Adam Chlipala |
Declarations and modules |
2008-11-27 |
Adam Chlipala |
Expressions |
2008-11-27 |
Adam Chlipala |
Patterns |
2008-11-27 |
Adam Chlipala |
Signatures |
2008-11-27 |
Adam Chlipala |
Start of manual |
2008-11-27 |
Adam Chlipala |
Note optimizations in changelog |
2008-11-27 |
Adam Chlipala |
Avoid Especializing polymorphic code |
2008-11-27 |
Adam Chlipala |
Ditch use of ElabEnv.env in Especialize, to realize big speed-up |
2008-11-27 |
Adam Chlipala |
Untangle and shake within Especialize loop |
2008-11-27 |
Adam Chlipala |
Optimize CoreUntangle |
2008-11-27 |
Adam Chlipala |
Remove some isUnitCon cases |
2008-11-27 |
Adam Chlipala |
Catch another unneeded lift in ElabEnv.pushCRel |
2008-11-27 |
Adam Chlipala |
Optimized ElabOps.subConInCon |
2008-11-27 |
Adam Chlipala |
Stop using redundant Defunc pass |
2008-11-27 |
Adam Chlipala |
Remove unnecessary lifts in ElabEnv.pushCRel |
2008-11-27 |
Adam Chlipala |
Remove unnecessary [kindof] calls |
2008-11-26 |
Adam Chlipala |
Port Reduce improvements to ReduceLocal |
2008-11-26 |
Adam Chlipala |
crud1 compiles with new Reduce |
2008-11-26 |
Adam Chlipala |
Fix environments for repeat visits for exp reduction |
2008-11-26 |
Adam Chlipala |
Most exp rules for new Reduce |
2008-11-26 |
Adam Chlipala |
Start of new Reduce |
2008-11-25 |
Adam Chlipala |
Profiling in Makefile |
2008-11-25 |
Adam Chlipala |
Fusing writes with recursive function calls |
2008-11-23 |
Adam Chlipala |
Ignore SIGPIPE |
2008-11-20 |
Adam Chlipala |
Update CHANGELOG for 20081120 |
2008-11-20 |
Adam Chlipala |
Fixing demo prose |
2008-11-20 |
Adam Chlipala |
Profiling support |
2008-11-20 |
Adam Chlipala |
Some demo improvements |
2008-11-20 |
Adam Chlipala |
Fix missing initial <html> after restarts |
2008-11-20 |
Adam Chlipala |
Update Crud demo to use local functions |
2008-11-18 |
Adam Chlipala |
Extend prose about server .exes |
2008-11-18 |
Adam Chlipala |
Tag CHANGELOG with release number |
2008-11-18 |
Adam Chlipala |
Mention Especialize in CHANGELOG |
2008-11-12 |
Adam Chlipala |
Fix type calculation for applying-a-case optimization |
2008-11-12 |
Adam Chlipala |
Map distributivity rule in hnormCon |
2008-11-12 |
Adam Chlipala |
Add CutMulti |
2008-11-11 |
Adam Chlipala |
Handle nullary transaction pages; avoid marking up headers array when reading cookies |
2008-11-11 |
Adam Chlipala |
Fix demo regression |
2008-11-11 |
Adam Chlipala |
More ThreadedBlog progress |
2008-11-11 |
Adam Chlipala |
Ignore UseRel effects in [let] expansions |
2008-11-11 |
Adam Chlipala |
Get preliminary ThreadedBlog working |
2008-11-11 |
Adam Chlipala |
Get threadedBlog to work |
2008-11-09 |
Adam Chlipala |
Remove some allocation |
2008-11-09 |
Adam Chlipala |
Prevent overzealous Especialization |
2008-11-09 |
Adam Chlipala |
Defunctionalization gets CommentBlog working |
2008-11-09 |
Adam Chlipala |
Remove an extra line |
2008-11-09 |
Adam Chlipala |
Especialize working reasonably well; need to add new closure representation pass |
2008-11-08 |
Adam Chlipala |
Better detection of [let] substitution opportunities |
2008-11-08 |
Adam Chlipala |
Especialize handles records better |
2008-11-08 |
Adam Chlipala |
Broaden set of possible especializations |
2008-11-08 |
Adam Chlipala |
Some small changes while failing to write [restrict] |
2008-11-08 |
Adam Chlipala |
Add help text for generated web servers |
2008-11-08 |
Adam Chlipala |
Handle EError returning a function; handle multiple cookies in one input header |
2008-11-08 |
Adam Chlipala |
Fix parsing of last input header |
2008-11-08 |
Adam Chlipala |
[getCookie] reads cookie settings from current page generation |
2008-11-08 |
Adam Chlipala |
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files |
2008-11-08 |
Adam Chlipala |
Generated web servers use getopt() |
2008-11-07 |
Adam Chlipala |
Tree demo working (and other assorted regressions fixed) |
2008-11-06 |
Adam Chlipala |
Tree demo works |
2008-11-06 |
Adam Chlipala |
About to begin optimization of recursive transaction functions |
2008-11-06 |
Adam Chlipala |
Ensql'ing nullables |
2008-11-06 |
Adam Chlipala |
Inserted a NULL value |
2008-11-06 |
Adam Chlipala |
Cookies work across pages |
2008-11-06 |
Adam Chlipala |
Cookie prose; fix bugs that broke demo compilation |
2008-11-06 |
Adam Chlipala |
Cookie demo code; fix error message display |
2008-11-06 |
Adam Chlipala |
Reading cookies works |
2008-11-06 |
Adam Chlipala |
Setting a cookie |
2008-11-06 |
Adam Chlipala |
Cookies through shake2 |
2008-11-06 |
Adam Chlipala |
Cookies through explify |
2008-11-06 |
Adam Chlipala |
Cookies through elaborate |
2008-11-06 |
Adam Chlipala |
Avoid allocating strings for requestHeader |
2008-11-06 |
Adam Chlipala |
Request header reading works |
2008-11-06 |
Adam Chlipala |
Monoizing FFI transactions correctly |
2008-11-04 |
Adam Chlipala |
Nested demo |
2008-11-02 |
Adam Chlipala |
Nested save compiles |
2008-11-02 |
Adam Chlipala |
Almost have that nested save function compiling |
2008-11-01 |
Adam Chlipala |
Fix some type-class detection |
2008-11-01 |
Adam Chlipala |
Remove empty writes |
2008-11-01 |
Adam Chlipala |
Wrapping works in Blog |
2008-11-01 |
Adam Chlipala |
Explify 'let' |
2008-11-01 |
Adam Chlipala |
First Unnest tests working |
2008-11-01 |
Adam Chlipala |
Elaborating 'let' |
2008-11-01 |
Adam Chlipala |
Parsing 'let' |
2008-10-31 |
Adam Chlipala |
Replace 'with' with '++' |
2008-10-30 |
Adam Chlipala |
Remove _espec tag; add some tag fields |
2008-10-30 |
Adam Chlipala |
Especialize |
2008-10-30 |
Adam Chlipala |
Don't inline case expressions |
2008-10-30 |
Adam Chlipala |
CURRENT_TIMESTAMP |
2008-10-30 |
Adam Chlipala |
Time MIN/MAX |
2008-10-30 |
Adam Chlipala |
Marshaling time to SQL |
2008-10-30 |
Adam Chlipala |
Reading timestamps from SQL |
2008-10-30 |
Adam Chlipala |
Add time to some type classes |
2008-10-30 |
Adam Chlipala |
time type |
2008-10-28 |
Adam Chlipala |
GCCARGS configure option |
2008-10-27 |
Adam Chlipala |
Remove need for '() <-' notation |
2008-10-27 |
Adam Chlipala |
Switch exit(1) call to uw_error() |
2008-10-26 |
Adam Chlipala |
Avoid using libpq when unneeded |
2008-10-25 |
Adam Chlipala |
Change 'sed' invocation to work in OSX |
2008-10-25 |
Adam Chlipala |
mkdir -p BIN |
2008-10-25 |
Adam Chlipala |
Use configure --prefix |
2008-10-24 |
adamc |
Make *_w function prototypes match header file |
2008-10-24 |
Adam Chlipala |
Add 'package' make target; add LICENSE |
2008-10-24 |
Adam Chlipala |
Remove debug print for optional inputs |
2008-10-24 |
Adam Chlipala |
Properly freeing libpq results on errors |
2008-10-24 |
Adam Chlipala |
Transactions seem to be working |
2008-10-24 |
Adam Chlipala |
Stop including functors in paths |
2008-10-23 |
Adam Chlipala |
Crud2 demo |
2008-10-23 |
Adam Chlipala |
Crud demo |
2008-10-23 |
Adam Chlipala |
Prose for Ref and Metaform |
2008-10-23 |
Adam Chlipala |
Fix bug with bringing functor argument instances into scope; Ref demo, minus prose |
2008-10-23 |
Adam Chlipala |
Metaform demos, minus prose |
2008-10-23 |
Adam Chlipala |
Fix nasty de Bruijn substitution bug; TcSum demo |
2008-10-23 |
Adam Chlipala |
Counter demo |
2008-10-23 |
adamc |
Add newline at end of file |
2008-10-23 |
Adam Chlipala |
sml-util -> urweb-util |
2008-10-21 |
Adam Chlipala |
Sum prose |
2008-10-21 |
Adam Chlipala |
Infering sum rows |
2008-10-21 |
Adam Chlipala |
Sum demo, minus inference of {Unit}s |
2008-10-21 |
Adam Chlipala |
Sql demo |
2008-10-21 |
Adam Chlipala |
Note about demo.sql |
2008-10-21 |
Adam Chlipala |
ListShop prose |
2008-10-21 |
Adam Chlipala |
Rec demo |
2008-10-21 |
Adam Chlipala |
Form example |
2008-10-21 |
Adam Chlipala |
Hello prose |
2008-10-21 |
Adam Chlipala |
Intro prose |
2008-10-21 |
Adam Chlipala |
New implicit argument handling |
2008-10-21 |
Adam Chlipala |
Recursive unurlify for Default datatypes |
2008-10-21 |
Adam Chlipala |
Remove printing of HTTP headers |
2008-10-21 |
Adam Chlipala |
Fix a nasty driver bug, involving memory restarts and marked-up request strings |
2008-10-21 |
Adam Chlipala |
listFun uses length |
2008-10-21 |
Adam Chlipala |
Simple listShop working |
2008-10-21 |
Adam Chlipala |
ListShop skeleton |
2008-10-21 |
Adam Chlipala |
Fix XML indenting to ignore comparison operators |
2008-10-21 |
Adam Chlipala |
ord_string |
2008-10-21 |
Adam Chlipala |
ord_float and ord_bool |
2008-10-21 |
Adam Chlipala |
Fix XML detection in presence of comparison operators |
2008-10-21 |
Adam Chlipala |
gt, ge |
2008-10-21 |
Adam Chlipala |
lt, le working for int |
2008-10-21 |
Adam Chlipala |
num_float |
2008-10-21 |
Adam Chlipala |
num working for int |
2008-10-21 |
Adam Chlipala |
Monoize eq_[bool|string] |
2008-10-21 |
Adam Chlipala |
Binops; equality tested on int; lame 404 substitute |
2008-10-19 |
Adam Chlipala |
Fix a nasty indent bug, found while working on listFun |
2008-10-19 |
Adam Chlipala |
Support for URL prefixes that works with local demo |
2008-10-19 |
Adam Chlipala |
Building combined demo app |
2008-10-19 |
Adam Chlipala |
Small demo prettifications |
2008-10-19 |
Adam Chlipala |
Generating fontified source files |
2008-10-19 |
Adam Chlipala |
Generating urp HTML |
2008-10-19 |
Adam Chlipala |
Demo HTML generation, minus source code |
2008-10-19 |
Adam Chlipala |
Link demo |
2008-10-19 |
Adam Chlipala |
Proper configuration and installation |
2008-10-19 |
Adam Chlipala |
Proper generation of relation names; checking that sequences exist |
2008-10-19 |
Adam Chlipala |
Simple generation of persistent paths |
2008-10-16 |
Adam Chlipala |
Fixing overzealous SQL paren-nester |
2008-10-16 |
Adam Chlipala |
Indenting paren-nested SQL expressions |
2008-10-16 |
Adam Chlipala |
Indenting simple DML properly |
2008-10-16 |
Adam Chlipala |
Indenting SELECT sub-clauses properly |
2008-10-16 |
Adam Chlipala |
Crud auto-indented correctly |
2008-10-16 |
Adam Chlipala |
Fix problem with sig/struct indenting |
2008-10-16 |
Adam Chlipala |
Crud indented properly, except for <xml>...</xml> outside parens and sig/struct |
2008-10-16 |
Adam Chlipala |
Removed handling of <,> as operators, for now |
2008-10-16 |
Adam Chlipala |
Improving indentation of XML after antiquote |
2008-10-16 |
Adam Chlipala |
Proper indenting of normal ML-y code after </xml> |
2008-10-16 |
Adam Chlipala |
Special case indenting for <xml>...</xml> |
2008-10-16 |
Adam Chlipala |
Fix XML indent not to take two tab-tries |
2008-10-16 |
Adam Chlipala |
Reasonable indenting for pure XML |
2008-10-14 |
Adam Chlipala |
Reusable column handlers for Crud |
2008-10-14 |
Adam Chlipala |
lform -> form |
2008-10-14 |
Adam Chlipala |
Syntax highlighting for embedded XML |
2008-10-13 |
Adam Chlipala |
Reorder font-lock rules to deal better with CDATA |
2008-10-13 |
Adam Chlipala |
Good progress on highlighting embedded XML |
2008-10-12 |
Adam Chlipala |
Highlighting HTML tags |
2008-10-12 |
Adam Chlipala |
Basis and Top syntax-highlight, indent, parse, and type-check |
2008-10-12 |
Adam Chlipala |
top.urs indents and type-checks with new twiddle syntax |
2008-10-12 |
Adam Chlipala |
Basis indents and type-checks with new twiddle syntax |
2008-10-12 |
Adam Chlipala |
More indenting |
2008-10-12 |
Adam Chlipala |
Get type definitions font-locking again |
2008-10-12 |
Adam Chlipala |
Customized font faces |
2008-10-12 |
Adam Chlipala |
First sort-of-working run of urweb-mode |
2008-10-05 |
Adam Chlipala |
Expand cases where expression wildcards are allowed |
2008-10-04 |
Adam Chlipala |
Improved inference of records of tuples |
2008-10-04 |
Adam Chlipala |
Use checkbox in CRUD example |
2008-10-04 |
Adam Chlipala |
Small clean-ups in crud; Compiler.check |
2008-10-04 |
Adam Chlipala |
Merge CDisjoint and TDisjoint |
2008-09-18 |
Adam Chlipala |
Force existence of bin and clib directories |
2008-09-14 |
Adam Chlipala |
Fix inexhaustive match |
2008-09-14 |
Adam Chlipala |
Crud completed |
2008-09-14 |
Adam Chlipala |
Crud update form |
2008-09-14 |
Adam Chlipala |
Push writes inside lets |
2008-09-14 |
Adam Chlipala |
Crud supports INSERT |
2008-09-14 |
Adam Chlipala |
SQL sequences |
2008-09-14 |
Adam Chlipala |
Deletion for Crud |
2008-09-14 |
Adam Chlipala |
Crud gets column headings |
2008-09-13 |
Adam Chlipala |
Name disjointness check changed to case insensitive |
2008-09-13 |
Adam Chlipala |
queryX |
2008-09-13 |
Adam Chlipala |
Change prefix.cm to work with latest smlnj Debian package |
2008-09-13 |
Adam Chlipala |
foldTRX2 |
2008-09-13 |
Adam Chlipala |
Optimize immediate writes of query results |
2008-09-13 |
Adam Chlipala |
Remove unneeded 'rec' in Reduce |
2008-09-13 |
Adam Chlipala |
foldTR2 |
2008-09-11 |
Adam Chlipala |
Fixed a mind-numbing De Bruijn bug |
2008-09-11 |
Adam Chlipala |
Fix bug in subsignature check for con synonyms |
2008-09-11 |
Adam Chlipala |
Crud list works |
2008-09-11 |
Adam Chlipala |
Crud listing IDs |
2008-09-11 |
Adam Chlipala |
More opportunities to use regions and lack of string copying |
2008-09-11 |
Adam Chlipala |
Region memory allocation for query parameters |
2008-09-11 |
Adam Chlipala |
Improve detection of opportunities for prepared statements with bool parameters |
2008-09-11 |
Adam Chlipala |
Fix memory management bug |
2008-09-11 |
Adam Chlipala |
Expand scope of base type conversion coalesce optimizations |
2008-09-11 |
Adam Chlipala |
Improve linear-let optimization |
2008-09-11 |
Adam Chlipala |
Optimization removes linear let-bindings of impure expressions |
2008-09-11 |
Adam Chlipala |
Fix memory bounds checks; specialization of multi-argument polymorphic function works |
2008-09-11 |
Adam Chlipala |
Unpolyed a polymorphic function of two arguments |
2008-09-11 |
Adam Chlipala |
Unpoly non-recursive function |
2008-09-09 |
Adam Chlipala |
Termination checking allows anything in links and actions |
2008-09-09 |
Adam Chlipala |
Termination checking |
2008-09-09 |
Adam Chlipala |
Datatype positivity check |
2008-09-07 |
Adam Chlipala |
Rename 'lw' prefixes to 'uw' |
2008-09-07 |
Adam Chlipala |
Automatically add table annotations in UPDATE and DELETE |
2008-09-07 |
Adam Chlipala |
First DELETE works |
2008-09-07 |
Adam Chlipala |
First UPDATE works |
2008-09-07 |
Adam Chlipala |
First INSERT works |
2008-09-07 |
Adam Chlipala |
Scratch that change.... |
2008-09-07 |
Adam Chlipala |
Remove need to mention table name in expressions for UPDATE and DELETE |
2008-09-07 |
Adam Chlipala |
Parsing DELETE |
2008-09-07 |
Adam Chlipala |
Parsing UPDATE |
2008-09-07 |
Adam Chlipala |
Parsing INSERT |
2008-09-07 |
Adam Chlipala |
Elaborated 'delete' |
2008-09-07 |
Adam Chlipala |
Elaborated 'update' |
2008-09-07 |
Adam Chlipala |
Elaborated 'insert' |
2008-09-07 |
Adam Chlipala |
Remove unneeded type annotations in pquery |
2008-09-07 |
Adam Chlipala |
pquery working with all four types of columns |
2008-09-07 |
Adam Chlipala |
Reading bools from SQL |
2008-09-07 |
Adam Chlipala |
Reading ints and floats from SQL |
2008-09-07 |
Adam Chlipala |
Error-parsing strings |
2008-09-07 |
Adam Chlipala |
Error-parsing floats and bools |
2008-09-07 |
Adam Chlipala |
Error-parsing ints |
2008-09-07 |
Adam Chlipala |
'read' for strings |
2008-09-07 |
Adam Chlipala |
'read' type class |
2008-09-07 |
Adam Chlipala |
Parsing strings for floats and bools |
2008-09-07 |
Adam Chlipala |
Converting string to int |
2008-09-07 |
Adam Chlipala |
Ask GCC to strip executables |
2008-09-07 |
Adam Chlipala |
'show' type class; htmlification optimizations |
2008-09-07 |
Adam Chlipala |
toString for float and bool |
2008-09-07 |
Adam Chlipala |
intToString |
2008-09-07 |
Adam Chlipala |
'error' function |
2008-09-07 |
Adam Chlipala |
Ran a prepared statement with one string parameter |
2008-09-04 |
Adam Chlipala |
Change sqlify[int|float|string] to annotate with SQL types |
2008-09-02 |
Adam Chlipala |
Compiling a parametrized query the inefficient way |
2008-09-02 |
Adam Chlipala |
Update MLton main file |
2008-09-02 |
Adam Chlipala |
First query example working |
2008-09-02 |
Adam Chlipala |
First query execution (not retrieving results yet) |
2008-09-02 |
Adam Chlipala |
Switch base types to 64-bit versions |
2008-09-02 |
Adam Chlipala |
Validating schema of a live database |
2008-09-02 |
Adam Chlipala |
Generating SQL files |
2008-09-02 |
Adam Chlipala |
Table declarations pushed to Cjr |
2008-09-02 |
Adam Chlipala |
Initializing database connection |
2008-09-02 |
Adam Chlipala |
'database' declaration threaded through compiler |
2008-09-02 |
Adam Chlipala |
Parsing jobs |
2008-09-02 |
Adam Chlipala |
Cjrize query |
2008-08-31 |
Adam Chlipala |
Monoize ASC/DESC |
2008-08-31 |
Adam Chlipala |
Changed EQuery not to use a function in its body |
2008-08-31 |
Adam Chlipala |
Monoize aggregates |
2008-08-31 |
Adam Chlipala |
Monoize COUNT(*) |
2008-08-31 |
Adam Chlipala |
Monoize unops |
2008-08-31 |
Adam Chlipala |
Monoize OFFSET |
2008-08-31 |
Adam Chlipala |
Monoize LIMIT |
2008-08-31 |
Adam Chlipala |
Monoize ORDER BY |
2008-08-31 |
Adam Chlipala |
Monoize relops |
2008-08-31 |
Adam Chlipala |
Monoize HAVING |
2008-08-31 |
Adam Chlipala |
Avoid unnecessary WHERE clause |
2008-08-31 |
Adam Chlipala |
Add 'ne' to 'eq' type class |
2008-08-31 |
Adam Chlipala |
'eq' type class |
2008-08-31 |
Adam Chlipala |
Monoized GROUP BY |
2008-08-31 |
Adam Chlipala |
Monoized binary operators |
2008-08-31 |
Adam Chlipala |
Monoized a WHERE clause with a comparison |
2008-08-31 |
Adam Chlipala |
Monoized and optimized initial query test |
2008-08-31 |
Adam Chlipala |
Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type |
2008-08-31 |
Adam Chlipala |
Fix Core con comparison |
2008-08-31 |
Adam Chlipala |
Corify transaction wrappers |
2008-08-31 |
Adam Chlipala |
Fix shaking of tables |
2008-08-31 |
Adam Chlipala |
Corify tables |
2008-08-31 |
Adam Chlipala |
Explify tables |
2008-08-31 |
Adam Chlipala |
Rename lacweb.c |
2008-08-31 |
Adam Chlipala |
Laconic -> Ur |
2008-08-28 |
Adam Chlipala |
Transactions and queries, at source level |
2008-08-28 |
Adam Chlipala |
Shorthand for multi-binding exp declaration |
2008-08-28 |
Adam Chlipala |
Shorthand for multi-binding exp 'fn' |
2008-08-28 |
Adam Chlipala |
Shorthand for multi-binding con declaration |
2008-08-28 |
Adam Chlipala |
Shorthand for multi-binding con 'fn' |
2008-08-28 |
Adam Chlipala |
Checking for well-formed 'val rec' |
2008-08-28 |
Adam Chlipala |
Tested aggregate functions with GROUP BY |
2008-08-28 |
Adam Chlipala |
More aggregate functions |
2008-08-28 |
Adam Chlipala |
COUNT |
2008-08-28 |
Adam Chlipala |
SELECTed expressions in ORDER BY |
2008-08-28 |
Adam Chlipala |
SELECTing arbitrary expressions |
2008-08-21 |
Adam Chlipala |
OFFSET |
2008-08-21 |
Adam Chlipala |
LIMIT |
2008-08-21 |
Adam Chlipala |
ORDER BY |
2008-08-21 |
Adam Chlipala |
Relational operators; string literals for SQL |
2008-08-21 |
Adam Chlipala |
Resolving lingering type class constraints |
2008-08-21 |
Adam Chlipala |
GROUP BY and HAVING |
2008-08-21 |
Adam Chlipala |
Basic GROUP BY |
2008-08-21 |
Adam Chlipala |
Change [sql_field] type to get 'where' test to check again |
2008-08-21 |
Adam Chlipala |
GROUP BY added to query type, with trivial parsing, for now |
2008-08-21 |
Adam Chlipala |
Queries back to working as well as before, after start of refactoring to support grouping |
2008-08-16 |
Adam Chlipala |
Integer and float constants in SQL |
2008-08-16 |
Adam Chlipala |
Fields in SQL expressions |
2008-08-16 |
Adam Chlipala |
SQL boolean operators |
2008-08-16 |
Adam Chlipala |
SQL comparison operators |
2008-08-16 |
Adam Chlipala |
Signature ascription for type classes |
2008-08-16 |
Adam Chlipala |
Fun with type classes and modules |
2008-08-16 |
Adam Chlipala |
Looking up in a type class from a module |
2008-08-16 |
Adam Chlipala |
Compiling a con-tuple-using test case |
2008-08-16 |
Adam Chlipala |
Corifying con-tuples |
2008-08-16 |
Adam Chlipala |
Explifying type classes |
2008-08-16 |
Adam Chlipala |
Testing type-class-parameterized functions |
2008-08-16 |
Adam Chlipala |
Initial type class support |
2008-08-16 |
Adam Chlipala |
Inferring sql_type's |
2008-08-16 |
Adam Chlipala |
Stub WHERE support |
2008-08-16 |
Adam Chlipala |
-timing option for command-line compiler |
2008-08-14 |
Adam Chlipala |
Non-star SELECT |
2008-08-14 |
Adam Chlipala |
Remove extraneous disjointness goal |
2008-08-14 |
Adam Chlipala |
Elaborating 'SELECT *' queries |
2008-08-14 |
Adam Chlipala |
Parsing the simplest SQL query |
2008-08-14 |
Adam Chlipala |
Parsing and elaborating 'table' |
2008-08-12 |
Adam Chlipala |
Finish moving all phases to the new interface |
2008-08-12 |
Adam Chlipala |
Consolidating compiler phase interface and adding timing |
2008-08-10 |
Adam Chlipala |
Urlifying records |
2008-08-09 |
Adam Chlipala |
strings get 'Option' datatype handling; fix datatype unurlifying |
2008-08-09 |
Adam Chlipala |
'Option' datatype encoding |
2008-08-09 |
Adam Chlipala |
Re-consistent-ify naming of union members |
2008-08-09 |
Adam Chlipala |
Lists all the way through |
2008-08-09 |
Adam Chlipala |
Tuples syntactic sugar |
2008-08-09 |
Adam Chlipala |
A multi-parameter datatype all the way through |
2008-08-08 |
Adam Chlipala |
Specialization of single-parameter datatypes |
2008-08-08 |
Adam Chlipala |
Parametrized datatypes through corify |
2008-08-08 |
Adam Chlipala |
Parametrized datatypes through explify |
2008-08-07 |
Adam Chlipala |
Checkboxes |
2008-08-03 |
Adam Chlipala |
Update bool to follow datatype representation change |
2008-08-03 |
Adam Chlipala |
Datatype representation optimization |
2008-08-03 |
Adam Chlipala |
Mono_opt for urlifying bools |
2008-08-03 |
Adam Chlipala |
bool in Basis |
2008-08-03 |
Adam Chlipala |
FFI datatypes |
2008-08-03 |
Adam Chlipala |
Push write inside case |
2008-08-03 |
Adam Chlipala |
Optimizing 'case' in Mono_reduce |
2008-08-03 |
Adam Chlipala |
Compiled pattern matching to C |
2008-08-03 |
Adam Chlipala |
Cjrize ECon |
2008-08-03 |
Adam Chlipala |
Cjrize EStrcat |
2008-08-03 |
Adam Chlipala |
Cases through monoize |
2008-08-03 |
Adam Chlipala |
First part of getting cases through monoize |
2008-08-02 |
Adam Chlipala |
Case through corify |
2008-07-31 |
Adam Chlipala |
Case through explify |
2008-07-31 |
Adam Chlipala |
Elaborating record patterns |
2008-07-31 |
Adam Chlipala |
Elaborating module constructor patterns; parsing record patterns |
2008-07-31 |
Adam Chlipala |
Patterns for int and string constants |
2008-07-31 |
Adam Chlipala |
Pattern match coverage checking |
2008-07-31 |
Adam Chlipala |
Elaborating some basic pattern matching |
2008-07-29 |
Adam Chlipala |
Parsing basic patterns |
2008-07-29 |
Adam Chlipala |
Took more advantage of new ability to exit with an error message |
2008-07-29 |
Adam Chlipala |
Storing datatype constructors in type references past monoize |
2008-07-29 |
Adam Chlipala |
Unurlifying a datatype; longjmp-based error signaling mechanism |
2008-07-29 |
Adam Chlipala |
Start of unurlify for datatypes |
2008-07-29 |
Adam Chlipala |
Datatypes through cjrize, modulo decoding |
2008-07-29 |
Adam Chlipala |
Datatypes through monoize |
2008-07-29 |
Adam Chlipala |
Datatypes through corify |
2008-07-29 |
Adam Chlipala |
Add datatype import constructor annotations; datatypes through explify |
2008-07-24 |
Adam Chlipala |
Normalize datatype choice during SgiDatatypeImp elaboration |
2008-07-24 |
Adam Chlipala |
Datatype import signature-matches abstract datatype |
2008-07-24 |
Adam Chlipala |
Abstracting datatypes with signature ascription |
2008-07-24 |
Adam Chlipala |
More datatype module stuff |
2008-07-24 |
Adam Chlipala |
Basic datatype importing works |
2008-07-24 |
Adam Chlipala |
Start of datatype support |
2008-07-24 |
Adam Chlipala |
Password inputs |
2008-07-24 |
Adam Chlipala |
HTML select |
2008-07-24 |
Adam Chlipala |
radio and radioOption |
2008-07-24 |
Adam Chlipala |
textarea |
2008-07-24 |
Adam Chlipala |
gformText test |
2008-07-24 |
Adam Chlipala |
Full gform test works |
2008-07-24 |
Adam Chlipala |
Record cut |
2008-07-22 |
Adam Chlipala |
gform in proper order |
2008-07-22 |
Adam Chlipala |
Meta-programming forms |
2008-07-22 |
Adam Chlipala |
Fix opening and corifying of functors |
2008-07-22 |
Adam Chlipala |
Fix GET parsing for inputs without = |
2008-07-22 |
Adam Chlipala |
Simple forms work |
2008-07-20 |
Adam Chlipala |
Almost ready to have a form work |
2008-07-20 |
Adam Chlipala |
Form submission type-checking |
2008-07-20 |
Adam Chlipala |
Initial form support |
2008-07-20 |
Adam Chlipala |
A simpler context encoding |
2008-07-20 |
Adam Chlipala |
Form binding parameters threaded through |
2008-07-19 |
Adam Chlipala |
Change driver to use Pthreads |
2008-07-17 |
Adam Chlipala |
Replaced allocation stubs |
2008-07-17 |
Adam Chlipala |
Dynamic arena allocation |
2008-07-17 |
Adam Chlipala |
Proper escaping of cdata |
2008-07-17 |
Adam Chlipala |
MonoShake |
2008-07-17 |
Adam Chlipala |
MonoReduce |
2008-07-17 |
Adam Chlipala |
Proper topological sorting in untangle |
2008-07-17 |
Adam Chlipala |
Untangle |
2008-07-17 |
Adam Chlipala |
Compiled mutual 'val rec' |
2008-07-17 |
Adam Chlipala |
Compiled (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Monoizing (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Reducing (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Tagging (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Corifying (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Explifying (non-mutual) 'val rec' |
2008-07-17 |
Adam Chlipala |
Parsing and elaborating (non-mutual) 'val rec' |
2008-07-14 |
Adam Chlipala |
Three-argument web function test |
2008-07-14 |
Adam Chlipala |
Multiple arguments to web functions |
2008-07-14 |
Adam Chlipala |
Passing an argument to a web function |
2008-07-13 |
Adam Chlipala |
Proper handling of non-function-call links |
2008-07-13 |
Adam Chlipala |
Serving pages with links |
2008-07-13 |
Adam Chlipala |
Serving pages |
2008-07-13 |
Adam Chlipala |
Basic web server |
2008-07-13 |
Adam Chlipala |
Cjr ready for dispatch code generation |
2008-07-13 |
Adam Chlipala |
Print a message on Laconic compilation failure |
2008-07-13 |
Adam Chlipala |
Turn on gcc -O3 |
2008-07-13 |
Adam Chlipala |
Handling duplicate tags |
2008-07-13 |
Adam Chlipala |
Closure code generation almost there |
2008-07-13 |
Adam Chlipala |
Starting with closure links |
2008-07-13 |
Adam Chlipala |
Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
2008-07-10 |
Adam Chlipala |
Fix dependency graph mismatch in sources |
2008-07-10 |
Adam Chlipala |
Optimizing attrification of constants |
2008-07-10 |
Adam Chlipala |
More with attributes and efficient serialization |
2008-07-10 |
Adam Chlipala |
Stringifying attributes |
2008-07-10 |
Adam Chlipala |
Initial HTML attributes support |
2008-07-10 |
Adam Chlipala |
Command-line compiler goes the whole nine yards |
2008-07-10 |
Adam Chlipala |
Writing HTML |
2008-07-10 |
Adam Chlipala |
First executable generated |
2008-07-10 |
Adam Chlipala |
page declaration, up through monoize |
2008-07-10 |
Adam Chlipala |
Fix record type comparison |
2008-07-10 |
Adam Chlipala |
Fill in more types during closure conversion |
2008-07-03 |
Adam Chlipala |
Simplify HTML examples, until the dispatching is ready |
2008-07-03 |
Adam Chlipala |
Mono optimizations (start with string concat and space eating) |
2008-07-03 |
Adam Chlipala |
Monoizing joins and tags |
2008-07-03 |
Adam Chlipala |
Monoizing cdata |
2008-07-03 |
Adam Chlipala |
More fun with HTML |
2008-07-03 |
Adam Chlipala |
XML tags with contents |
2008-07-03 |
Adam Chlipala |
Basic XML stuff |
2008-07-03 |
Adam Chlipala |
Fancier head normalization pushed inside of Disjoint |
2008-07-01 |
Adam Chlipala |
Tested constraints through functors |
2008-07-01 |
Adam Chlipala |
Constraints in modules |
2008-07-01 |
Adam Chlipala |
Push KUnit and CUnit through the phases |
2008-07-01 |
Adam Chlipala |
More with disjointness assumptions |
2008-07-01 |
Adam Chlipala |
Disjointness assumptions in expressions |
2008-07-01 |
Adam Chlipala |
Disjointness assumptions |
2008-07-01 |
Adam Chlipala |
Threading disjointness conditions through Elaborate |
2008-07-01 |
Adam Chlipala |
Initial disjointness prover |
2008-07-01 |
Adam Chlipala |
Factor some operations into ElabOps |
2008-06-29 |
Adam Chlipala |
A little more conservative unification |
2008-06-29 |
Adam Chlipala |
More hardcore unification |
2008-06-29 |
Adam Chlipala |
Implicit structure members |
2008-06-29 |
Adam Chlipala |
Another test of broad unification |
2008-06-29 |
Adam Chlipala |
Broaden unification context |
2008-06-26 |
Adam Chlipala |
Folding through a functor |
2008-06-26 |
Adam Chlipala |
Reduce efold |
2008-06-26 |
Adam Chlipala |
Corify efold |
2008-06-26 |
Adam Chlipala |
Explify efold |
2008-06-26 |
Adam Chlipala |
Elaborate efold |
2008-06-26 |
Adam Chlipala |
Cjrize cfold |
2008-06-26 |
Adam Chlipala |
Corify cfold |
2008-06-26 |
Adam Chlipala |
Explify cfold |
2008-06-26 |
Adam Chlipala |
Elaborating cfold |
2008-06-26 |
Adam Chlipala |
Proper subsignaturing for sub-structures |
2008-06-26 |
Adam Chlipala |
Proper subsignaturing for sub-signatures |
2008-06-26 |
Adam Chlipala |
Proper hiding of shadowed bindings in principal signatures |
2008-06-23 |
Adam Chlipala |
Signature duplicate entry checking for principal signatures |
2008-06-22 |
Adam Chlipala |
Signature duplicate entry checking |
2008-06-22 |
Adam Chlipala |
open |
2008-06-22 |
Adam Chlipala |
Subsignatures example |
2008-06-22 |
Adam Chlipala |
Subsignatures |
2008-06-22 |
Adam Chlipala |
include |
2008-06-22 |
Adam Chlipala |
Update main.mlton for group compilation |
2008-06-22 |
Adam Chlipala |
Separate compilation and automatic basis importation |
2008-06-22 |
Adam Chlipala |
Parsing signature files |
2008-06-22 |
Adam Chlipala |
Lexer/parser hacks to share code between regular and signature file parsers |
2008-06-22 |
Adam Chlipala |
FFI through cjrize |
2008-06-22 |
Adam Chlipala |
FFI through cloconv |
2008-06-22 |
Adam Chlipala |
FFI through monoize |
2008-06-22 |
Adam Chlipala |
Better FFI function handling |
2008-06-22 |
Adam Chlipala |
Detecting FFI functions |
2008-06-22 |
Adam Chlipala |
Start of FFI |
2008-06-19 |
Adam Chlipala |
Give functor.lac a 'main' |
2008-06-19 |
Adam Chlipala |
Corifying functors |
2008-06-19 |
Adam Chlipala |
Explifying functors |
2008-06-19 |
Adam Chlipala |
Elaborating functor applications |
2008-06-19 |
Adam Chlipala |
Subtyping for functor signatures |
2008-06-19 |
Adam Chlipala |
Elaborating 'where' |
2008-06-19 |
Adam Chlipala |
Beginning of functor elaboration |
2008-06-19 |
Adam Chlipala |
Functor parsing |
2008-06-19 |
Adam Chlipala |
Corify removes modules |
2008-06-19 |
Adam Chlipala |
Explify |
2008-06-17 |
Adam Chlipala |
Beefier nested selfification test |
2008-06-17 |
Adam Chlipala |
Nested selfification test |
2008-06-17 |
Adam Chlipala |
Proper selfification |
2008-06-17 |
Adam Chlipala |
Elaborating module projection |
2008-06-12 |
Adam Chlipala |
Matching structures in signatures |
2008-06-12 |
Adam Chlipala |
Matching values in signatures |
2008-06-12 |
Adam Chlipala |
Simple signature matching |
2008-06-12 |
Adam Chlipala |
Parsing and printing basic module system |
2008-06-10 |
Adam Chlipala |
Translation to Cjr |
2008-06-10 |
Adam Chlipala |
Field sorting for Flat |
2008-06-10 |
Adam Chlipala |
Update main.mlton |
2008-06-10 |
Adam Chlipala |
Closure conversion |
2008-06-10 |
Adam Chlipala |
Monoize |
2008-06-08 |
Adam Chlipala |
Run a shake before reducing |
2008-06-08 |
Adam Chlipala |
Tree-shaking |
2008-06-08 |
Adam Chlipala |
Reducing known record projections |
2008-06-08 |
Adam Chlipala |
Beta reductions for expressions |
2008-06-08 |
Adam Chlipala |
Some con reducing |
2008-06-08 |
Adam Chlipala |
Testing constructor equivalences |
2008-06-08 |
Adam Chlipala |
Unification wildcards |
2008-06-08 |
Adam Chlipala |
Further experiments with implicit arguments |
2008-06-08 |
Adam Chlipala |
Conversion to Core |
2008-06-08 |
Adam Chlipala |
Implicit constructor arguments |
2008-06-08 |
Adam Chlipala |
Primitive type constants |
2008-06-08 |
Adam Chlipala |
Lifting cons in ElabEnv |
2008-03-28 |
Adam Chlipala |
Fun with records |
2008-03-28 |
Adam Chlipala |
Simple elaboration working |
2008-03-28 |
Adam Chlipala |
Start of elaborating expressions |
2008-01-26 |
Adam Chlipala |
Added simple expression constructors to Elab |
2008-01-26 |
Adam Chlipala |
Parsing basic expressions |
2008-01-26 |
Adam Chlipala |
Add type keyword |
2008-01-26 |
Adam Chlipala |
Check for leftover kind unifs |
2008-01-26 |
Adam Chlipala |
Elaborating files |
2008-01-26 |
Adam Chlipala |
Rename Laconic* modules to Source* |
2008-01-26 |
Adam Chlipala |
Elaborating cons and decls |
2008-01-26 |
Adam Chlipala |
Start of elaboration |
2008-01-26 |
Adam Chlipala |
Initial parsing and pretty-printing |
2008-01-26 |
Adam Chlipala |
Initial skeleton |