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 |