log src/compiler.sml

age author description
2012-01-06 Adam Chlipala Change linking argument order, based on reported problems in Ubuntu 11.10
2011-12-17 Adam Chlipala Allow .urp libraries to set prefix
2011-12-04 Adam Chlipala timeFormat .urp directive
2011-11-21 Adam Chlipala Yet another fix to previous change
2011-11-21 Adam Chlipala Fix bug in previous change
2011-11-20 Adam Chlipala Don't treat comment-only lines as blank, in determining split point of .urp files
2011-11-14 Adam Chlipala Better error messages about server-side use of client-side functions
2011-09-11 Adam Chlipala Disable C optimization in debug mode
2011-08-15 Adam Chlipala Compiler frees as much memory as possible before passing control to C compiler
2011-08-04 Adam Chlipala Configure correct C compiler options for Pthreads
2011-08-02 Adam Chlipala Remove some GCC-specific identifier choice and documentation
2011-07-23 Adam Chlipala A few more tweaks to support Clang (including ending use of nested functions)
2011-07-23 Adam Chlipala Stop using -fno-inline by default
2011-07-03 Adam Chlipala For non-debug builds, leave out source location info in what is shown to user
2011-06-24 Adam Chlipala 'noXsrfProtection' .urp directive
2011-06-17 Adam Chlipala Fixes to work nicely with OS X and Clang (thanks to Austin Seipp)
2011-06-15 Adam Chlipala Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)
2011-05-29 Adam Chlipala getHeader and setHeader
2011-03-12 Adam Chlipala Change order of linking database libraries to satisfy Cygwin
2011-03-11 Adam Chlipala Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files
2011-01-20 Adam Chlipala Use sigFile again; do redirects in a way that is compatible with FastCGI
2011-01-16 Adam Chlipala Patch from Vladimir Shabanov to support crypt under OS X
2011-01-16 Adam Chlipala Use -debug flag properly when compiling in single-source mode
2011-01-15 Adam Chlipala Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL
2011-01-13 Adam Chlipala alwaysInline .urp setting
2011-01-06 Adam Chlipala Detect missing 'database' directive; don't compile garbage C files
2010-12-26 Adam Chlipala Switch from libmhash to OpenSSL
2010-12-24 Adam Chlipala Add an extra Especialize pass before Rpcify
2010-12-16 Adam Chlipala Enforce character constraints on source filenames
2010-12-14 Adam Chlipala Allow use of path variables in strings with no slashes
2010-12-14 Adam Chlipala Better treatment of relative paths in .urp files
2010-12-12 Adam Chlipala Fix merging of prefix settings
2010-12-12 Adam Chlipala -prefix command-line option
2010-12-11 Adam Chlipala minHeap option in .urp files
2010-12-11 Adam Chlipala Comments in .urp files
2010-11-18 Adam Chlipala Karn Kallio's patch for static mhash linking
2010-10-14 Adam Chlipala Interface for setting memory limits
2010-09-07 Adam Chlipala Shortcut invocations for single .ur files
2010-09-07 Adam Chlipala Server-side 'onError'
2010-06-05 Adam Chlipala Another run of Specialize, using ReduceLocal on datatype parameters
2010-06-03 Adam Chlipala Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
2010-05-27 Adam Chlipala -moduleOf command-line option; compatibility fixes and better error messages for SQLite
2010-05-27 Adam Chlipala Fix bug in module path generation with module roots; push wildification through substructures
2010-04-15 Adam Chlipala 'also' policies and policy reduction; calendar in good shape
2010-04-13 Adam Chlipala Completely redid main Iflow logic; so far, policy and policy2 work
2010-04-13 Adam Chlipala Command-line use of Iflow
2010-04-04 Adam Chlipala Generated basic dummy Iflow conditions
2010-03-16 Adam Chlipala Remove unpoly1
2010-03-16 Adam Chlipala Undo an Especialize change that turned out to be unecessary
2010-03-09 Adam Chlipala Re-add accidentally-removed parsing case for 'effectful'
2010-03-09 Adam Chlipala safeGet
2010-03-07 Adam Chlipala Got split1 working, but noticed a nasty type inference bug with transplanted unification variables
2010-02-28 Adam Chlipala Fix parsing of space-free .urp directives; use 'class' for 'c*' tags
2010-02-27 Adam Chlipala benignEffectful
2010-02-27 Adam Chlipala Basic analysis of tag and CSS class usage
2010-02-11 Adam Chlipala sigfile directive
2010-02-07 Adam Chlipala Fix .urp parsing for real
2010-02-07 Adam Chlipala Fix detection of blank lines in .urp
2010-02-06 Adam Chlipala Allow .urp files without initial blank lines
2010-02-04 Adam Chlipala Fixes for rooted modules
2010-01-28 Adam Chlipala First attempt to switch to Automake, to get shared libraries built in OSX
2010-01-12 Adam Chlipala -path and -root command-line flags
2009-12-31 Adam Chlipala Change location of dynamic libraries
2009-12-31 Adam Chlipala Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
2009-12-27 Adam Chlipala Protocol-specific compiler options
2009-12-27 Adam Chlipala Dynamic linking of the runtime system
2009-12-27 Adam Chlipala All three current protocols work with move to using uw_app
2009-12-25 Adam Chlipala Catch attempts to mention multiple versions of the same rooted module
2009-12-24 Adam Chlipala Module roots
2009-12-24 Adam Chlipala Convenience libifying; allow more NULLs with globals
2009-12-23 Adam Chlipala Don't relify in bigLibs; fix some memory bugs in transactionals
2009-12-23 Adam Chlipala Stop skipping Especialization of generated functions; fix Compiler.parseUrp; expose uw_really_write(); allow more NULL arguments to uw_register_transactional()
2009-12-22 Adam Chlipala Alternate job-parsing interface, to avoid merging library directives
2009-12-16 Adam Chlipala Especialize uses a termination measure based on number of arguments introduced
2009-12-08 Adam Chlipala Shake bug fix; pattern reduction in ReduceLocal
2009-12-08 Adam Chlipala Context globals; ctype functions
2009-12-05 Adam Chlipala Represent FFI function names as strings, to deal with cross-file recursion
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-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-10-25 Adam Chlipala Inlining threshold for Mono_reduce
2009-09-17 Adam Chlipala Grid changed to use Dlist.replace; filters stopped working
2009-09-17 Adam Chlipala Disable GCC inlining to stop goofy errors
2009-09-08 Adam Chlipala dragList almost kinda works
2009-08-25 Adam Chlipala New release
2009-08-25 Adam Chlipala grid1 compiles but gets stuck in JS
2009-08-09 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
2009-07-19 Adam Chlipala Working on Grid; have gone from one dynamic table bizareness to another
2009-07-18 Adam Chlipala More command-line options
2009-07-16 Adam Chlipala Demo working with MySQL
2009-06-28 Adam Chlipala Start of multi-DBMS support
2009-06-27 Adam Chlipala -debug from the command line
2009-06-23 Adam Chlipala Initial implementation of protocols in Settings
2009-06-23 Adam Chlipala Factor out common request functionality, in preparation for supporting different protocols
2009-06-02 Adam Chlipala Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
2009-05-31 Adam Chlipala Fix pathmap bug; expose lower-level heap manipulation from C
2009-05-14 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps
2009-05-12 Adam Chlipala Improvements while working on Graftid
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-26 Adam Chlipala Reading blobs from the database
2009-04-16 Adam Chlipala Cookie signing working for forms
2009-04-16 Adam Chlipala Effectness analysis
2009-04-04 Adam Chlipala Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active
2009-03-28 Adam Chlipala Marshalcheck
2009-03-24 Adam Chlipala Variable timeouts and client keep-alive
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-02-22 Adam Chlipala Turned off termination checking, for now
2009-02-14 Adam Chlipala Start of RPCification
2009-01-13 Adam Chlipala Initial experiments with nested <dyn>
2008-12-21 Adam Chlipala Handling singnal bind
2008-12-20 Adam Chlipala Start of JsComp
2008-11-27 Adam Chlipala Stop using redundant Defunc pass
2008-11-25 Adam Chlipala Fusing writes with recursive function calls
2008-11-20 Adam Chlipala Profiling support