log

age author description
2010-10-14 Adam Chlipala Documenting limits
2010-10-14 Adam Chlipala -limit for running time
2010-10-14 Adam Chlipala Interface for setting memory limits
2010-10-11 Adam Chlipala :::_ notation; switch to TooDeep error message
2010-10-10 Adam Chlipala Fix infinite looping bug in Great Unification Fix
2010-10-10 Adam Chlipala Tweaking unification fix to apply to demo/more
2010-10-10 Adam Chlipala Hopeful fix for the Great Unification Bug
2010-10-10 Adam Chlipala Flex kinds for type-level tuples; ::_ notation
2010-09-30 Adam Chlipala Demo improvements
2010-09-30 Adam Chlipala Mention empty-third-field 'rewrite' directives
2010-09-16 Adam Chlipala Fix typing of cut operators; fix lexing of XML comments
2010-09-09 Adam Chlipala Support empty datatypes, which can now be generated via 'variant []'
2010-09-07 Adam Chlipala Updating documentation
2010-09-07 Adam Chlipala Shortcut invocations for single .ur files
2010-09-07 Adam Chlipala 'tryDml' works with Postgres
2010-09-07 Adam Chlipala Server-side 'onError'
2010-09-05 Adam Chlipala tryDml
2010-09-05 Adam Chlipala Support multiple CSS classes for a single tag
2010-09-04 Adam Chlipala Add 'title' attribute
2010-08-22 Adam Chlipala Confirm boxes; proper event handler setting for ctags
2010-08-22 Adam Chlipala Reduce: Inline let-bound variables whose types involve functions
2010-08-21 Adam Chlipala Some post-type-checking support for polymorphic variants
2010-08-19 Adam Chlipala Polymorphic variants
2010-08-10 Adam Chlipala Fix C-side jsification of UTF-8 strings
2010-08-10 Adam Chlipala Better UTF-8 escaping for JavaScript and SQL literals
2010-08-10 Adam Chlipala HTML comments
2010-08-10 Adam Chlipala ML-style comments inside XML
2010-07-27 Adam Chlipala Roll back WHERE checking
2010-07-27 Adam Chlipala equalAny policies
2010-07-27 Adam Chlipala Initial version of equalKnown working for secret
2010-06-13 Adam Chlipala List.mapi
2010-06-13 Adam Chlipala Catch a missed ReduceLocal of field projection annotations
2010-06-13 Adam Chlipala More generous wildification, covering map-records
2010-06-05 Adam Chlipala Another run of Specialize, using ReduceLocal on datatype parameters
2010-06-03 Adam Chlipala Undo fancy wildification; instead, client code should include extra wildcard con declarations
2010-06-03 Adam Chlipala Drop in some new autoconf scripts
2010-06-03 Adam Chlipala New release
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-06-01 Adam Chlipala Allow complex attribute records in Tag
2010-06-01 Adam Chlipala Try harder to place wildified 'con' declarations properly
2010-06-01 Adam Chlipala Improve consNeq to detect unequal projected cons
2010-05-30 Adam Chlipala Include new config.h in C source files
2010-05-29 Adam Chlipala Include config.h.in in distribution
2010-05-27 Adam Chlipala -moduleOf command-line option; compatibility fixes and better error messages for SQLite
2010-05-27 Adam Chlipala Consider view declarations while shaking
2010-05-27 Adam Chlipala Fix bug in module path generation with module roots; push wildification through substructures
2010-05-23 Adam Chlipala Support HTTP caching of app.js
2010-05-22 Adam Chlipala Switch to strings and eval for thunkifying JavaScripted functions
2010-05-22 Adam Chlipala Add thunking to CHANGELOG
2010-05-22 Adam Chlipala Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically
2010-05-18 Adam Chlipala URL-escape with '.' instead of '%', to avoid confusing proxies
2010-05-16 Adam Chlipala Fix width/height CSS choices for table rows/columns; stop warning about inability to embed type in JavaScript
2010-05-16 Adam Chlipala Fix C-mangling of datatype names
2010-05-15 Adam Chlipala Avoid reimplementing conversion to C strings
2010-05-06 Adam Chlipala New release
2010-05-06 Adam Chlipala Merge
2010-05-06 Adam Chlipala Some Iflow improvements for gradebook
2010-05-01 Adam Chlipala Safe unmodeled SQL expressions marked as known
2010-05-01 Adam Chlipala Basic handling of recursive functions in Iflow
2010-04-29 Adam Chlipala Add rand to Basis and handle it in Iflow