log

age author description
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