log

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