log

age author description
2008-11-06 Adam Chlipala About to begin optimization of recursive transaction functions
2008-11-06 Adam Chlipala Ensql'ing nullables
2008-11-06 Adam Chlipala Inserted a NULL value
2008-11-06 Adam Chlipala Cookies work across pages
2008-11-06 Adam Chlipala Cookie prose; fix bugs that broke demo compilation
2008-11-06 Adam Chlipala Cookie demo code; fix error message display
2008-11-06 Adam Chlipala Reading cookies works
2008-11-06 Adam Chlipala Setting a cookie
2008-11-06 Adam Chlipala Cookies through shake2
2008-11-06 Adam Chlipala Cookies through explify
2008-11-06 Adam Chlipala Cookies through elaborate
2008-11-06 Adam Chlipala Avoid allocating strings for requestHeader
2008-11-06 Adam Chlipala Request header reading works
2008-11-06 Adam Chlipala Monoizing FFI transactions correctly
2008-11-04 Adam Chlipala Nested demo
2008-11-02 Adam Chlipala Nested save compiles
2008-11-02 Adam Chlipala Almost have that nested save function compiling
2008-11-01 Adam Chlipala Fix some type-class detection
2008-11-01 Adam Chlipala Remove empty writes
2008-11-01 Adam Chlipala Wrapping works in Blog
2008-11-01 Adam Chlipala Explify 'let'
2008-11-01 Adam Chlipala First Unnest tests working
2008-11-01 Adam Chlipala Elaborating 'let'
2008-11-01 Adam Chlipala Parsing 'let'
2008-10-31 Adam Chlipala Replace 'with' with '++'
2008-10-30 Adam Chlipala Remove _espec tag; add some tag fields
2008-10-30 Adam Chlipala Especialize
2008-10-30 Adam Chlipala Don't inline case expressions
2008-10-30 Adam Chlipala CURRENT_TIMESTAMP
2008-10-30 Adam Chlipala Time MIN/MAX
2008-10-30 Adam Chlipala Marshaling time to SQL
2008-10-30 Adam Chlipala Reading timestamps from SQL
2008-10-30 Adam Chlipala Add time to some type classes
2008-10-30 Adam Chlipala time type
2008-10-28 Adam Chlipala GCCARGS configure option
2008-10-27 Adam Chlipala Remove need for '() <-' notation
2008-10-27 Adam Chlipala Switch exit(1) call to uw_error()
2008-10-26 Adam Chlipala Avoid using libpq when unneeded
2008-10-25 Adam Chlipala Change 'sed' invocation to work in OSX
2008-10-25 Adam Chlipala mkdir -p BIN
2008-10-25 Adam Chlipala Use configure --prefix
2008-10-24 adamc Make *_w function prototypes match header file
2008-10-24 Adam Chlipala Add 'package' make target; add LICENSE
2008-10-24 Adam Chlipala Remove debug print for optional inputs
2008-10-24 Adam Chlipala Properly freeing libpq results on errors
2008-10-24 Adam Chlipala Transactions seem to be working
2008-10-24 Adam Chlipala Stop including functors in paths
2008-10-23 Adam Chlipala Crud2 demo
2008-10-23 Adam Chlipala Crud demo
2008-10-23 Adam Chlipala Prose for Ref and Metaform
2008-10-23 Adam Chlipala Fix bug with bringing functor argument instances into scope; Ref demo, minus prose
2008-10-23 Adam Chlipala Metaform demos, minus prose
2008-10-23 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo
2008-10-23 Adam Chlipala Counter demo
2008-10-23 adamc Add newline at end of file
2008-10-23 Adam Chlipala sml-util -> urweb-util
2008-10-21 Adam Chlipala Sum prose
2008-10-21 Adam Chlipala Infering sum rows
2008-10-21 Adam Chlipala Sum demo, minus inference of {Unit}s
2008-10-21 Adam Chlipala Sql demo
2008-10-21 Adam Chlipala Note about demo.sql
2008-10-21 Adam Chlipala ListShop prose
2008-10-21 Adam Chlipala Rec demo
2008-10-21 Adam Chlipala Form example
2008-10-21 Adam Chlipala Hello prose
2008-10-21 Adam Chlipala Intro prose
2008-10-21 Adam Chlipala New implicit argument handling
2008-10-21 Adam Chlipala Recursive unurlify for Default datatypes
2008-10-21 Adam Chlipala Remove printing of HTTP headers
2008-10-21 Adam Chlipala Fix a nasty driver bug, involving memory restarts and marked-up request strings
2008-10-21 Adam Chlipala listFun uses length
2008-10-21 Adam Chlipala Simple listShop working
2008-10-21 Adam Chlipala ListShop skeleton
2008-10-21 Adam Chlipala Fix XML indenting to ignore comparison operators
2008-10-21 Adam Chlipala ord_string
2008-10-21 Adam Chlipala ord_float and ord_bool
2008-10-21 Adam Chlipala Fix XML detection in presence of comparison operators
2008-10-21 Adam Chlipala gt, ge
2008-10-21 Adam Chlipala lt, le working for int
2008-10-21 Adam Chlipala num_float
2008-10-21 Adam Chlipala num working for int
2008-10-21 Adam Chlipala Monoize eq_[bool|string]
2008-10-21 Adam Chlipala Binops; equality tested on int; lame 404 substitute
2008-10-19 Adam Chlipala Fix a nasty indent bug, found while working on listFun
2008-10-19 Adam Chlipala Support for URL prefixes that works with local demo
2008-10-19 Adam Chlipala Building combined demo app
2008-10-19 Adam Chlipala Small demo prettifications
2008-10-19 Adam Chlipala Generating fontified source files
2008-10-19 Adam Chlipala Generating urp HTML
2008-10-19 Adam Chlipala Demo HTML generation, minus source code
2008-10-19 Adam Chlipala Link demo
2008-10-19 Adam Chlipala Proper configuration and installation
2008-10-19 Adam Chlipala Proper generation of relation names; checking that sequences exist
2008-10-19 Adam Chlipala Simple generation of persistent paths
2008-10-16 Adam Chlipala Fixing overzealous SQL paren-nester
2008-10-16 Adam Chlipala Indenting paren-nested SQL expressions
2008-10-16 Adam Chlipala Indenting simple DML properly
2008-10-16 Adam Chlipala Indenting SELECT sub-clauses properly
2008-10-16 Adam Chlipala Crud auto-indented correctly
2008-10-16 Adam Chlipala Fix problem with sig/struct indenting
2008-10-16 Adam Chlipala Crud indented properly, except for <xml>...</xml> outside parens and sig/struct
2008-10-16 Adam Chlipala Removed handling of <,> as operators, for now
2008-10-16 Adam Chlipala Improving indentation of XML after antiquote
2008-10-16 Adam Chlipala Proper indenting of normal ML-y code after </xml>
2008-10-16 Adam Chlipala Special case indenting for <xml>...</xml>
2008-10-16 Adam Chlipala Fix XML indent not to take two tab-tries
2008-10-16 Adam Chlipala Reasonable indenting for pure XML
2008-10-14 Adam Chlipala Reusable column handlers for Crud
2008-10-14 Adam Chlipala lform -> form
2008-10-14 Adam Chlipala Syntax highlighting for embedded XML
2008-10-13 Adam Chlipala Reorder font-lock rules to deal better with CDATA
2008-10-13 Adam Chlipala Good progress on highlighting embedded XML
2008-10-12 Adam Chlipala Highlighting HTML tags
2008-10-12 Adam Chlipala Basis and Top syntax-highlight, indent, parse, and type-check
2008-10-12 Adam Chlipala top.urs indents and type-checks with new twiddle syntax
2008-10-12 Adam Chlipala Basis indents and type-checks with new twiddle syntax
2008-10-12 Adam Chlipala More indenting
2008-10-12 Adam Chlipala Get type definitions font-locking again
2008-10-12 Adam Chlipala Customized font faces
2008-10-12 Adam Chlipala First sort-of-working run of urweb-mode
2008-10-05 Adam Chlipala Expand cases where expression wildcards are allowed
2008-10-04 Adam Chlipala Improved inference of records of tuples
2008-10-04 Adam Chlipala Use checkbox in CRUD example
2008-10-04 Adam Chlipala Small clean-ups in crud; Compiler.check
2008-10-04 Adam Chlipala Merge CDisjoint and TDisjoint
2008-09-18 Adam Chlipala Force existence of bin and clib directories
2008-09-14 Adam Chlipala Fix inexhaustive match
2008-09-14 Adam Chlipala Crud completed
2008-09-14 Adam Chlipala Crud update form
2008-09-14 Adam Chlipala Push writes inside lets
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-14 Adam Chlipala SQL sequences
2008-09-14 Adam Chlipala Deletion for Crud
2008-09-14 Adam Chlipala Crud gets column headings
2008-09-13 Adam Chlipala Name disjointness check changed to case insensitive
2008-09-13 Adam Chlipala queryX
2008-09-13 Adam Chlipala Change prefix.cm to work with latest smlnj Debian package
2008-09-13 Adam Chlipala foldTRX2
2008-09-13 Adam Chlipala Optimize immediate writes of query results
2008-09-13 Adam Chlipala Remove unneeded 'rec' in Reduce
2008-09-13 Adam Chlipala foldTR2
2008-09-11 Adam Chlipala Fixed a mind-numbing De Bruijn bug
2008-09-11 Adam Chlipala Fix bug in subsignature check for con synonyms
2008-09-11 Adam Chlipala Crud list works
2008-09-11 Adam Chlipala Crud listing IDs
2008-09-11 Adam Chlipala More opportunities to use regions and lack of string copying
2008-09-11 Adam Chlipala Region memory allocation for query parameters
2008-09-11 Adam Chlipala Improve detection of opportunities for prepared statements with bool parameters
2008-09-11 Adam Chlipala Fix memory management bug
2008-09-11 Adam Chlipala Expand scope of base type conversion coalesce optimizations
2008-09-11 Adam Chlipala Improve linear-let optimization
2008-09-11 Adam Chlipala Optimization removes linear let-bindings of impure expressions
2008-09-11 Adam Chlipala Fix memory bounds checks; specialization of multi-argument polymorphic function works
2008-09-11 Adam Chlipala Unpolyed a polymorphic function of two arguments
2008-09-11 Adam Chlipala Unpoly non-recursive function
2008-09-09 Adam Chlipala Termination checking allows anything in links and actions
2008-09-09 Adam Chlipala Termination checking
2008-09-09 Adam Chlipala Datatype positivity check
2008-09-07 Adam Chlipala Rename 'lw' prefixes to 'uw'
2008-09-07 Adam Chlipala Automatically add table annotations in UPDATE and DELETE
2008-09-07 Adam Chlipala First DELETE works
2008-09-07 Adam Chlipala First UPDATE works
2008-09-07 Adam Chlipala First INSERT works
2008-09-07 Adam Chlipala Scratch that change....
2008-09-07 Adam Chlipala Remove need to mention table name in expressions for UPDATE and DELETE
2008-09-07 Adam Chlipala Parsing DELETE
2008-09-07 Adam Chlipala Parsing UPDATE
2008-09-07 Adam Chlipala Parsing INSERT
2008-09-07 Adam Chlipala Elaborated 'delete'
2008-09-07 Adam Chlipala Elaborated 'update'
2008-09-07 Adam Chlipala Elaborated 'insert'
2008-09-07 Adam Chlipala Remove unneeded type annotations in pquery
2008-09-07 Adam Chlipala pquery working with all four types of columns
2008-09-07 Adam Chlipala Reading bools from SQL
2008-09-07 Adam Chlipala Reading ints and floats from SQL
2008-09-07 Adam Chlipala Error-parsing strings
2008-09-07 Adam Chlipala Error-parsing floats and bools
2008-09-07 Adam Chlipala Error-parsing ints
2008-09-07 Adam Chlipala 'read' for strings
2008-09-07 Adam Chlipala 'read' type class
2008-09-07 Adam Chlipala Parsing strings for floats and bools
2008-09-07 Adam Chlipala Converting string to int
2008-09-07 Adam Chlipala Ask GCC to strip executables
2008-09-07 Adam Chlipala 'show' type class; htmlification optimizations
2008-09-07 Adam Chlipala toString for float and bool
2008-09-07 Adam Chlipala intToString
2008-09-07 Adam Chlipala 'error' function
2008-09-07 Adam Chlipala Ran a prepared statement with one string parameter
2008-09-04 Adam Chlipala Change sqlify[int|float|string] to annotate with SQL types
2008-09-02 Adam Chlipala Compiling a parametrized query the inefficient way
2008-09-02 Adam Chlipala Update MLton main file
2008-09-02 Adam Chlipala First query example working
2008-09-02 Adam Chlipala First query execution (not retrieving results yet)
2008-09-02 Adam Chlipala Switch base types to 64-bit versions
2008-09-02 Adam Chlipala Validating schema of a live database
2008-09-02 Adam Chlipala Generating SQL files
2008-09-02 Adam Chlipala Table declarations pushed to Cjr
2008-09-02 Adam Chlipala Initializing database connection
2008-09-02 Adam Chlipala 'database' declaration threaded through compiler
2008-09-02 Adam Chlipala Parsing jobs
2008-09-02 Adam Chlipala Cjrize query
2008-08-31 Adam Chlipala Monoize ASC/DESC
2008-08-31 Adam Chlipala Changed EQuery not to use a function in its body
2008-08-31 Adam Chlipala Monoize aggregates
2008-08-31 Adam Chlipala Monoize COUNT(*)
2008-08-31 Adam Chlipala Monoize unops
2008-08-31 Adam Chlipala Monoize OFFSET
2008-08-31 Adam Chlipala Monoize LIMIT
2008-08-31 Adam Chlipala Monoize ORDER BY
2008-08-31 Adam Chlipala Monoize relops
2008-08-31 Adam Chlipala Monoize HAVING
2008-08-31 Adam Chlipala Avoid unnecessary WHERE clause
2008-08-31 Adam Chlipala Add 'ne' to 'eq' type class
2008-08-31 Adam Chlipala 'eq' type class
2008-08-31 Adam Chlipala Monoized GROUP BY
2008-08-31 Adam Chlipala Monoized binary operators
2008-08-31 Adam Chlipala Monoized a WHERE clause with a comparison
2008-08-31 Adam Chlipala Monoized and optimized initial query test
2008-08-31 Adam Chlipala Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
2008-08-31 Adam Chlipala Fix Core con comparison
2008-08-31 Adam Chlipala Corify transaction wrappers
2008-08-31 Adam Chlipala Fix shaking of tables
2008-08-31 Adam Chlipala Corify tables
2008-08-31 Adam Chlipala Explify tables
2008-08-31 Adam Chlipala Rename lacweb.c
2008-08-31 Adam Chlipala Laconic -> Ur
2008-08-28 Adam Chlipala Transactions and queries, at source level
2008-08-28 Adam Chlipala Shorthand for multi-binding exp declaration
2008-08-28 Adam Chlipala Shorthand for multi-binding exp 'fn'
2008-08-28 Adam Chlipala Shorthand for multi-binding con declaration
2008-08-28 Adam Chlipala Shorthand for multi-binding con 'fn'
2008-08-28 Adam Chlipala Checking for well-formed 'val rec'
2008-08-28 Adam Chlipala Tested aggregate functions with GROUP BY
2008-08-28 Adam Chlipala More aggregate functions
2008-08-28 Adam Chlipala COUNT
2008-08-28 Adam Chlipala SELECTed expressions in ORDER BY
2008-08-28 Adam Chlipala SELECTing arbitrary expressions
2008-08-21 Adam Chlipala OFFSET
2008-08-21 Adam Chlipala LIMIT
2008-08-21 Adam Chlipala ORDER BY
2008-08-21 Adam Chlipala Relational operators; string literals for SQL
2008-08-21 Adam Chlipala Resolving lingering type class constraints
2008-08-21 Adam Chlipala GROUP BY and HAVING
2008-08-21 Adam Chlipala Basic GROUP BY
2008-08-21 Adam Chlipala Change [sql_field] type to get 'where' test to check again
2008-08-21 Adam Chlipala GROUP BY added to query type, with trivial parsing, for now
2008-08-21 Adam Chlipala Queries back to working as well as before, after start of refactoring to support grouping
2008-08-16 Adam Chlipala Integer and float constants in SQL
2008-08-16 Adam Chlipala Fields in SQL expressions
2008-08-16 Adam Chlipala SQL boolean operators
2008-08-16 Adam Chlipala SQL comparison operators
2008-08-16 Adam Chlipala Signature ascription for type classes
2008-08-16 Adam Chlipala Fun with type classes and modules
2008-08-16 Adam Chlipala Looking up in a type class from a module
2008-08-16 Adam Chlipala Compiling a con-tuple-using test case
2008-08-16 Adam Chlipala Corifying con-tuples
2008-08-16 Adam Chlipala Explifying type classes
2008-08-16 Adam Chlipala Testing type-class-parameterized functions
2008-08-16 Adam Chlipala Initial type class support
2008-08-16 Adam Chlipala Inferring sql_type's
2008-08-16 Adam Chlipala Stub WHERE support
2008-08-16 Adam Chlipala -timing option for command-line compiler
2008-08-14 Adam Chlipala Non-star SELECT
2008-08-14 Adam Chlipala Remove extraneous disjointness goal
2008-08-14 Adam Chlipala Elaborating 'SELECT *' queries
2008-08-14 Adam Chlipala Parsing the simplest SQL query
2008-08-14 Adam Chlipala Parsing and elaborating 'table'
2008-08-12 Adam Chlipala Finish moving all phases to the new interface
2008-08-12 Adam Chlipala Consolidating compiler phase interface and adding timing
2008-08-10 Adam Chlipala Urlifying records
2008-08-09 Adam Chlipala strings get 'Option' datatype handling; fix datatype unurlifying
2008-08-09 Adam Chlipala 'Option' datatype encoding
2008-08-09 Adam Chlipala Re-consistent-ify naming of union members
2008-08-09 Adam Chlipala Lists all the way through
2008-08-09 Adam Chlipala Tuples syntactic sugar
2008-08-09 Adam Chlipala A multi-parameter datatype all the way through
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes
2008-08-08 Adam Chlipala Parametrized datatypes through corify
2008-08-08 Adam Chlipala Parametrized datatypes through explify
2008-08-07 Adam Chlipala Checkboxes
2008-08-03 Adam Chlipala Update bool to follow datatype representation change
2008-08-03 Adam Chlipala Datatype representation optimization
2008-08-03 Adam Chlipala Mono_opt for urlifying bools
2008-08-03 Adam Chlipala bool in Basis
2008-08-03 Adam Chlipala FFI datatypes
2008-08-03 Adam Chlipala Push write inside case
2008-08-03 Adam Chlipala Optimizing 'case' in Mono_reduce
2008-08-03 Adam Chlipala Compiled pattern matching to C
2008-08-03 Adam Chlipala Cjrize ECon
2008-08-03 Adam Chlipala Cjrize EStrcat
2008-08-03 Adam Chlipala Cases through monoize
2008-08-03 Adam Chlipala First part of getting cases through monoize
2008-08-02 Adam Chlipala Case through corify
2008-07-31 Adam Chlipala Case through explify
2008-07-31 Adam Chlipala Elaborating record patterns
2008-07-31 Adam Chlipala Elaborating module constructor patterns; parsing record patterns
2008-07-31 Adam Chlipala Patterns for int and string constants
2008-07-31 Adam Chlipala Pattern match coverage checking
2008-07-31 Adam Chlipala Elaborating some basic pattern matching
2008-07-29 Adam Chlipala Parsing basic patterns
2008-07-29 Adam Chlipala Took more advantage of new ability to exit with an error message
2008-07-29 Adam Chlipala Storing datatype constructors in type references past monoize
2008-07-29 Adam Chlipala Unurlifying a datatype; longjmp-based error signaling mechanism
2008-07-29 Adam Chlipala Start of unurlify for datatypes
2008-07-29 Adam Chlipala Datatypes through cjrize, modulo decoding
2008-07-29 Adam Chlipala Datatypes through monoize
2008-07-29 Adam Chlipala Datatypes through corify
2008-07-29 Adam Chlipala Add datatype import constructor annotations; datatypes through explify
2008-07-24 Adam Chlipala Normalize datatype choice during SgiDatatypeImp elaboration
2008-07-24 Adam Chlipala Datatype import signature-matches abstract datatype
2008-07-24 Adam Chlipala Abstracting datatypes with signature ascription
2008-07-24 Adam Chlipala More datatype module stuff
2008-07-24 Adam Chlipala Basic datatype importing works
2008-07-24 Adam Chlipala Start of datatype support
2008-07-24 Adam Chlipala Password inputs
2008-07-24 Adam Chlipala HTML select
2008-07-24 Adam Chlipala radio and radioOption
2008-07-24 Adam Chlipala textarea
2008-07-24 Adam Chlipala gformText test
2008-07-24 Adam Chlipala Full gform test works
2008-07-24 Adam Chlipala Record cut
2008-07-22 Adam Chlipala gform in proper order
2008-07-22 Adam Chlipala Meta-programming forms
2008-07-22 Adam Chlipala Fix opening and corifying of functors
2008-07-22 Adam Chlipala Fix GET parsing for inputs without =
2008-07-22 Adam Chlipala Simple forms work
2008-07-20 Adam Chlipala Almost ready to have a form work
2008-07-20 Adam Chlipala Form submission type-checking
2008-07-20 Adam Chlipala Initial form support
2008-07-20 Adam Chlipala A simpler context encoding
2008-07-20 Adam Chlipala Form binding parameters threaded through
2008-07-19 Adam Chlipala Change driver to use Pthreads
2008-07-17 Adam Chlipala Replaced allocation stubs
2008-07-17 Adam Chlipala Dynamic arena allocation
2008-07-17 Adam Chlipala Proper escaping of cdata
2008-07-17 Adam Chlipala MonoShake
2008-07-17 Adam Chlipala MonoReduce
2008-07-17 Adam Chlipala Proper topological sorting in untangle
2008-07-17 Adam Chlipala Untangle
2008-07-17 Adam Chlipala Compiled mutual 'val rec'
2008-07-17 Adam Chlipala Compiled (non-mutual) 'val rec'
2008-07-17 Adam Chlipala Monoizing (non-mutual) 'val rec'
2008-07-17 Adam Chlipala Reducing (non-mutual) 'val rec'
2008-07-17 Adam Chlipala Tagging (non-mutual) 'val rec'
2008-07-17 Adam Chlipala Corifying (non-mutual) 'val rec'
2008-07-17 Adam Chlipala Explifying (non-mutual) 'val rec'
2008-07-17 Adam Chlipala Parsing and elaborating (non-mutual) 'val rec'
2008-07-14 Adam Chlipala Three-argument web function test
2008-07-14 Adam Chlipala Multiple arguments to web functions
2008-07-14 Adam Chlipala Passing an argument to a web function
2008-07-13 Adam Chlipala Proper handling of non-function-call links
2008-07-13 Adam Chlipala Serving pages with links
2008-07-13 Adam Chlipala Serving pages
2008-07-13 Adam Chlipala Basic web server
2008-07-13 Adam Chlipala Cjr ready for dispatch code generation
2008-07-13 Adam Chlipala Print a message on Laconic compilation failure
2008-07-13 Adam Chlipala Turn on gcc -O3
2008-07-13 Adam Chlipala Handling duplicate tags
2008-07-13 Adam Chlipala Closure code generation almost there
2008-07-13 Adam Chlipala Starting with closure links
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-07-10 Adam Chlipala Fix dependency graph mismatch in sources
2008-07-10 Adam Chlipala Optimizing attrification of constants
2008-07-10 Adam Chlipala More with attributes and efficient serialization
2008-07-10 Adam Chlipala Stringifying attributes
2008-07-10 Adam Chlipala Initial HTML attributes support
2008-07-10 Adam Chlipala Command-line compiler goes the whole nine yards
2008-07-10 Adam Chlipala Writing HTML
2008-07-10 Adam Chlipala First executable generated
2008-07-10 Adam Chlipala page declaration, up through monoize
2008-07-10 Adam Chlipala Fix record type comparison
2008-07-10 Adam Chlipala Fill in more types during closure conversion
2008-07-03 Adam Chlipala Simplify HTML examples, until the dispatching is ready
2008-07-03 Adam Chlipala Mono optimizations (start with string concat and space eating)
2008-07-03 Adam Chlipala Monoizing joins and tags
2008-07-03 Adam Chlipala Monoizing cdata
2008-07-03 Adam Chlipala More fun with HTML
2008-07-03 Adam Chlipala XML tags with contents
2008-07-03 Adam Chlipala Basic XML stuff
2008-07-03 Adam Chlipala Fancier head normalization pushed inside of Disjoint
2008-07-01 Adam Chlipala Tested constraints through functors
2008-07-01 Adam Chlipala Constraints in modules
2008-07-01 Adam Chlipala Push KUnit and CUnit through the phases
2008-07-01 Adam Chlipala More with disjointness assumptions
2008-07-01 Adam Chlipala Disjointness assumptions in expressions
2008-07-01 Adam Chlipala Disjointness assumptions
2008-07-01 Adam Chlipala Threading disjointness conditions through Elaborate
2008-07-01 Adam Chlipala Initial disjointness prover
2008-07-01 Adam Chlipala Factor some operations into ElabOps
2008-06-29 Adam Chlipala A little more conservative unification
2008-06-29 Adam Chlipala More hardcore unification
2008-06-29 Adam Chlipala Implicit structure members
2008-06-29 Adam Chlipala Another test of broad unification
2008-06-29 Adam Chlipala Broaden unification context
2008-06-26 Adam Chlipala Folding through a functor
2008-06-26 Adam Chlipala Reduce efold
2008-06-26 Adam Chlipala Corify efold
2008-06-26 Adam Chlipala Explify efold
2008-06-26 Adam Chlipala Elaborate efold
2008-06-26 Adam Chlipala Cjrize cfold
2008-06-26 Adam Chlipala Corify cfold
2008-06-26 Adam Chlipala Explify cfold
2008-06-26 Adam Chlipala Elaborating cfold
2008-06-26 Adam Chlipala Proper subsignaturing for sub-structures
2008-06-26 Adam Chlipala Proper subsignaturing for sub-signatures
2008-06-26 Adam Chlipala Proper hiding of shadowed bindings in principal signatures
2008-06-23 Adam Chlipala Signature duplicate entry checking for principal signatures
2008-06-22 Adam Chlipala Signature duplicate entry checking
2008-06-22 Adam Chlipala open
2008-06-22 Adam Chlipala Subsignatures example
2008-06-22 Adam Chlipala Subsignatures
2008-06-22 Adam Chlipala include
2008-06-22 Adam Chlipala Update main.mlton for group compilation
2008-06-22 Adam Chlipala Separate compilation and automatic basis importation
2008-06-22 Adam Chlipala Parsing signature files
2008-06-22 Adam Chlipala Lexer/parser hacks to share code between regular and signature file parsers
2008-06-22 Adam Chlipala FFI through cjrize
2008-06-22 Adam Chlipala FFI through cloconv
2008-06-22 Adam Chlipala FFI through monoize
2008-06-22 Adam Chlipala Better FFI function handling
2008-06-22 Adam Chlipala Detecting FFI functions
2008-06-22 Adam Chlipala Start of FFI
2008-06-19 Adam Chlipala Give functor.lac a 'main'
2008-06-19 Adam Chlipala Corifying functors
2008-06-19 Adam Chlipala Explifying functors
2008-06-19 Adam Chlipala Elaborating functor applications
2008-06-19 Adam Chlipala Subtyping for functor signatures
2008-06-19 Adam Chlipala Elaborating 'where'
2008-06-19 Adam Chlipala Beginning of functor elaboration
2008-06-19 Adam Chlipala Functor parsing
2008-06-19 Adam Chlipala Corify removes modules
2008-06-19 Adam Chlipala Explify
2008-06-17 Adam Chlipala Beefier nested selfification test
2008-06-17 Adam Chlipala Nested selfification test
2008-06-17 Adam Chlipala Proper selfification
2008-06-17 Adam Chlipala Elaborating module projection
2008-06-12 Adam Chlipala Matching structures in signatures
2008-06-12 Adam Chlipala Matching values in signatures
2008-06-12 Adam Chlipala Simple signature matching
2008-06-12 Adam Chlipala Parsing and printing basic module system
2008-06-10 Adam Chlipala Translation to Cjr
2008-06-10 Adam Chlipala Field sorting for Flat
2008-06-10 Adam Chlipala Update main.mlton
2008-06-10 Adam Chlipala Closure conversion
2008-06-10 Adam Chlipala Monoize
2008-06-08 Adam Chlipala Run a shake before reducing
2008-06-08 Adam Chlipala Tree-shaking
2008-06-08 Adam Chlipala Reducing known record projections
2008-06-08 Adam Chlipala Beta reductions for expressions
2008-06-08 Adam Chlipala Some con reducing
2008-06-08 Adam Chlipala Testing constructor equivalences
2008-06-08 Adam Chlipala Unification wildcards
2008-06-08 Adam Chlipala Further experiments with implicit arguments
2008-06-08 Adam Chlipala Conversion to Core
2008-06-08 Adam Chlipala Implicit constructor arguments
2008-06-08 Adam Chlipala Primitive type constants
2008-06-08 Adam Chlipala Lifting cons in ElabEnv
2008-03-28 Adam Chlipala Fun with records
2008-03-28 Adam Chlipala Simple elaboration working
2008-03-28 Adam Chlipala Start of elaborating expressions
2008-01-26 Adam Chlipala Added simple expression constructors to Elab
2008-01-26 Adam Chlipala Parsing basic expressions
2008-01-26 Adam Chlipala Add type keyword
2008-01-26 Adam Chlipala Check for leftover kind unifs
2008-01-26 Adam Chlipala Elaborating files
2008-01-26 Adam Chlipala Rename Laconic* modules to Source*
2008-01-26 Adam Chlipala Elaborating cons and decls
2008-01-26 Adam Chlipala Start of elaboration
2008-01-26 Adam Chlipala Initial parsing and pretty-printing
2008-01-26 Adam Chlipala Initial skeleton