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 |