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 |