log

age author description
2012-10-20 Adam Chlipala Switch linker order
2012-09-25 Adam Chlipala Return to working version mode
2012-09-25 Adam Chlipala New release
2012-09-24 Austin Seipp Fix compilation when using Clang on OS X; it doesn't like -pthread
2012-09-19 Adam Chlipala Paranoid inlining prevention for FFI types at the Core level; less paranoid inlining promotion for passive values at the Mono level
2012-09-19 Adam Chlipala Merge
2012-09-19 Adam Chlipala Edward Z. Yang's patch to avoid repeating linker arguments
2012-09-16 Adam Chlipala Better error message about signals remaining in server-side code
2012-09-14 Adam Chlipala Reduce default inlining thresholds; improve a let-substitution optimization to compensate
2012-09-14 Adam Chlipala Merge
2012-09-12 Vladimir Shabanov Fixed HTTP date format and added Cache-Control to app.js
2012-08-05 Adam Chlipala Tweaking treatment of function application: substitute or introduce a 'let'?
2012-09-04 Adam Chlipala Manual addition for last changeset
2012-09-03 Vladimir Shabanov Added 'coreInline' and 'monoInline' .urp options
2012-09-03 Adam Chlipala Update tutorial for Ur/Web changes
2012-08-30 Vladimir Shabanov Minor js optimizations.
2012-08-30 Vladimir Shabanov Removed setting of ignored XMLHttpRequest headers.
2012-08-30 Vladimir Shabanov Fixed memory leak in dynClass
2012-08-22 Adam Chlipala show_sql_query
2012-08-18 Adam Chlipala Add list of files to new error message
2012-08-18 Adam Chlipala Better error message for funky command lines
2012-08-07 Adam Chlipala Return to working version mode
2012-08-07 Adam Chlipala New release
2012-08-05 Adam Chlipala Revert last changeset for now; needs more thought
2012-08-05 Adam Chlipala Tweaking treatment of function application: substitute or introduce a 'let'?
2012-08-03 Adam Chlipala Back out last change and pursue a different fix, based on explicitly aborting script execution at times when we don't expect scripts to run
2012-08-03 Adam Chlipala Undo change to script evaluation, originally made to support <active> + 'giveFocus'; alternate approach to making 'giveFocus' work in dynamic code generatione
2012-08-03 Adam Chlipala Fix some unportable uses of C character class functions
2012-08-02 Adam Chlipala New NameJs phase, still needing some debugging
2012-08-02 Adam Chlipala Basis.getenv
2012-07-29 Adam Chlipala Removed evaluation of js function name strings. (from Vladimir Shabanov)
2012-07-29 Adam Chlipala Remove 'class' declaration; now use 'con' instead
2012-07-26 Adam Chlipala Remove misguided type class optimization
2012-07-25 Adam Chlipala Allow type class instances with hypotheses via local ('let') definitions
2012-07-25 Adam Chlipala Change 'spawn' implementation to allow blocking within <active code>
2012-07-24 Adam Chlipala Fix JavaScript implementation of strcspn()
2012-07-23 Adam Chlipala Disallow suspending operations in <active code={...}>
2012-07-23 Adam Chlipala Add more global mouse event hooks
2012-07-22 Adam Chlipala Nicer <active> semantics
2012-07-22 Adam Chlipala Fix bug in handling of event attributes within client-side widgets
2012-07-21 Adam Chlipala Get regular forms working again
2012-07-21 Adam Chlipala Top.postFields
2012-07-21 Adam Chlipala <active>
2012-07-21 Adam Chlipala Basis.giveFocus
2012-07-21 Adam Chlipala Update demo code for key/mouse handler change
2012-07-21 Adam Chlipala New event records for key and mouse handlers
2012-07-18 Adam Chlipala Support fancy expressions in module-level 'val' declarations
2012-07-13 Adam Chlipala Change propagation of source value to textarea
2012-06-23 Adam Chlipala Flush elaboration cache when switching between .urp files
2012-06-23 Adam Chlipala HTTP daemons now take '-a' option to set IP address to listen on
2012-06-03 Adam Chlipala Lighter-weight encoding of window function use
2012-06-02 Adam Chlipala Partitioning and ordering for window functions
2012-06-02 Adam Chlipala Compiled a window function use
2012-06-02 Adam Chlipala Track whether SQL expressions may use window functions, in preparation for actual window function support
2012-06-02 Adam Chlipala Avoid redundant rollbacks
2012-05-26 Adam Chlipala Proper error messages for missing source files
2012-05-19 Adam Chlipala Return to working version mode
2012-05-19 Adam Chlipala New release
2012-05-19 Adam Chlipala More manual detail on registering error handlers
2012-05-19 Adam Chlipala Merge