2009-02-24 |
Adam Chlipala |
Demos compile again, with manual folders |
2009-02-24 |
Adam Chlipala |
Make folders abstract |
2009-02-24 |
Adam Chlipala |
Top.Fold.mp |
2009-02-24 |
Adam Chlipala |
Top.Fold.concat elaborates |
2009-02-24 |
Adam Chlipala |
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses |
2009-02-22 |
Adam Chlipala |
demo/sum working with manual folders |
2009-02-22 |
Adam Chlipala |
demo/hello compiles with kind polymorphism |
2009-02-22 |
Adam Chlipala |
Turned off termination checking, for now |
2009-02-22 |
Adam Chlipala |
Kind polymorphism through Explify |
2009-02-22 |
Adam Chlipala |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
2009-02-21 |
Adam Chlipala |
Debug reverse-engineering unification |
2009-02-21 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
2009-02-21 |
Adam Chlipala |
Finish semantics for Featherweight Ur |
2009-02-21 |
Adam Chlipala |
Time to start thinking about guards |
2009-02-21 |
Adam Chlipala |
Most of expression semantics |
2009-02-21 |
Adam Chlipala |
map-only syntax and semantics |
2009-02-18 |
Adam Chlipala |
Semantics for ordered rows only |
2009-02-17 |
Adam Chlipala |
Start of Featherweight Ur semantics |
2009-02-15 |
Adam Chlipala |
Parameterized RPC query |
2009-02-15 |
Adam Chlipala |
Initial parsing of RPC results |
2009-02-15 |
Adam Chlipala |
Detect AJAX call failures |
2009-02-15 |
Adam Chlipala |
Avoid extra slashes in Cjr urlification |
2009-02-15 |
Adam Chlipala |
Reading and displaying value via AJAX |
2009-02-15 |
Adam Chlipala |
First gimpy RPC |
2009-02-15 |
Adam Chlipala |
Export RPC functions and push RPC calls through to Mono |
2009-02-14 |
Adam Chlipala |
Start of RPCification |
2009-01-27 |
Adam Chlipala |
Use normal fields of ctextboxes |
2009-01-17 |
Adam Chlipala |
dlist2 working swimmingly |
2009-01-17 |
Adam Chlipala |
Add dynamic content under proper parents |
2009-01-16 |
Adam Chlipala |
dlist example working |
2009-01-13 |
Adam Chlipala |
Combine lib* directories |
2009-01-13 |
Adam Chlipala |
Initial experiments with nested <dyn> |
2009-01-11 |
Adam Chlipala |
Do proper insertion of dynamic content within nested DOM containers |
2009-01-11 |
Adam Chlipala |
Use header to set default script type |
2009-01-11 |
Adam Chlipala |
Hooking a source into an input |
2009-01-08 |
Adam Chlipala |
Injected a non-special-case datatype |
2009-01-08 |
Adam Chlipala |
Injected a polymorphic, recursive type |
2009-01-08 |
Adam Chlipala |
Injected an enumeration |
2009-01-02 |
Adam Chlipala |
Injected an option |
2009-01-02 |
Adam Chlipala |
Injected a record |
2009-01-01 |
Adam Chlipala |
Injecting strings and bools |
2009-01-01 |
Adam Chlipala |
Injecting a float |
2009-01-01 |
Adam Chlipala |
Injecting an int |
2009-01-01 |
Adam Chlipala |
Included a recursive function in JavaScript |
2009-01-01 |
Adam Chlipala |
Basic datatype reactives |
2009-01-01 |
Adam Chlipala |
Reactive if |
2009-01-01 |
Adam Chlipala |
Reactive bool |
2009-01-01 |
Adam Chlipala |
Reactive record pattern |
2009-01-01 |
Adam Chlipala |
Used an option as a source |
2009-01-01 |
Adam Chlipala |
Reactive computation with more base types and records |
2009-01-01 |
Adam Chlipala |
Source containing an int |
2008-12-30 |
Adam Chlipala |
Double-bind works |
2008-12-30 |
Adam Chlipala |
Propagating a change through a bind |
2008-12-30 |
Adam Chlipala |
Propagated a source change into a dynamic document element |
2008-12-30 |
Adam Chlipala |
Harmonized source-setting between server and client |
2008-12-30 |
Adam Chlipala |
Setting a source server-side |
2008-12-30 |
Adam Chlipala |
Merge |
2008-12-30 |
Adam Chlipala |
Starting to implement source set |
2008-12-21 |
Adam Chlipala |
Trivial use of a source |
2008-12-24 |
Adam Chlipala |
More manual bug reports from megacz |
2008-12-21 |
Adam Chlipala |
Handling singnal bind |
2008-12-21 |
Adam Chlipala |
Switch to using dyn() function in JavaScript |
2008-12-20 |
Adam Chlipala |
Typo report from megacz |
2008-12-20 |
Adam Chlipala |
Successfully generated a page element from a signal |
2008-12-20 |
Adam Chlipala |
Initial <dyn> support |
2008-12-20 |
Adam Chlipala |
Start of JsComp |
2008-12-19 |
Adam Chlipala |
Displayed an alert dialog |
2008-12-19 |
Adam Chlipala |
Creation of sources in server code |
2008-12-19 |
Adam Chlipala |
Monad type class seems to be working |
2008-12-19 |
Adam Chlipala |
Initial conversion to arbitrary-kind classes |
2008-12-19 |
Adam Chlipala |
Add initial C support for reactive |
2008-12-09 |
Adam Chlipala |
Prepare to release |
2008-12-09 |
Adam Chlipala |
Spell check |
2008-12-09 |
Adam Chlipala |
Add SQL arithmetic operators |
2008-12-09 |
Adam Chlipala |
Proofreading pass |
2008-12-09 |
Adam Chlipala |
Building an application |
2008-12-09 |
Adam Chlipala |
.urp files |
2008-12-09 |
Adam Chlipala |
Installation |
2008-12-07 |
Adam Chlipala |
Intro |
2008-12-07 |
Adam Chlipala |
The structure of web applications |
2008-12-07 |
Adam Chlipala |
Compiler phases |
2008-12-07 |
Adam Chlipala |
XML syntax |
2008-12-07 |
Adam Chlipala |
DML |
2008-12-07 |
Adam Chlipala |
Query syntax |
2008-12-07 |
Adam Chlipala |
Treat user-provided error messages as XML |
2008-12-07 |
Adam Chlipala |
XML |
2008-12-07 |
Adam Chlipala |
Sequences |
2008-12-07 |
Adam Chlipala |
DML |
2008-12-07 |
Adam Chlipala |
Finish documenting queries; remove a stray [unit] argument |
2008-12-07 |
Adam Chlipala |
Start of sql_exp |
2008-12-06 |
Adam Chlipala |
Start of Ur/Web library |
2008-12-06 |
Adam Chlipala |
Type inference |
2008-11-29 |
Adam Chlipala |
Module projection |
2008-11-29 |
Adam Chlipala |
selfify |
2008-11-29 |
Adam Chlipala |
Module typing |
2008-11-29 |
Adam Chlipala |
Signature compatibility |
2008-11-29 |
Adam Chlipala |
Signature compatibility |
2008-11-29 |
Adam Chlipala |
Declaration typing |
2008-11-29 |
Adam Chlipala |
Pattern typing |
2008-11-29 |
Adam Chlipala |
Typing |
2008-11-29 |
Adam Chlipala |
Definitional equality |
2008-11-29 |
Adam Chlipala |
Disjointness |
2008-11-29 |
Adam Chlipala |
Kinding |
2008-11-27 |
Adam Chlipala |
Shorthands |
2008-11-27 |
Adam Chlipala |
Declarations and modules |
2008-11-27 |
Adam Chlipala |
Expressions |
2008-11-27 |
Adam Chlipala |
Patterns |
2008-11-27 |
Adam Chlipala |
Signatures |
2008-11-27 |
Adam Chlipala |
Start of manual |
2008-11-27 |
Adam Chlipala |
Note optimizations in changelog |
2008-11-27 |
Adam Chlipala |
Avoid Especializing polymorphic code |
2008-11-27 |
Adam Chlipala |
Ditch use of ElabEnv.env in Especialize, to realize big speed-up |
2008-11-27 |
Adam Chlipala |
Untangle and shake within Especialize loop |
2008-11-27 |
Adam Chlipala |
Optimize CoreUntangle |
2008-11-27 |
Adam Chlipala |
Remove some isUnitCon cases |
2008-11-27 |
Adam Chlipala |
Catch another unneeded lift in ElabEnv.pushCRel |
2008-11-27 |
Adam Chlipala |
Optimized ElabOps.subConInCon |
2008-11-27 |
Adam Chlipala |
Stop using redundant Defunc pass |
2008-11-27 |
Adam Chlipala |
Remove unnecessary lifts in ElabEnv.pushCRel |
2008-11-27 |
Adam Chlipala |
Remove unnecessary [kindof] calls |
2008-11-26 |
Adam Chlipala |
Port Reduce improvements to ReduceLocal |
2008-11-26 |
Adam Chlipala |
crud1 compiles with new Reduce |
2008-11-26 |
Adam Chlipala |
Fix environments for repeat visits for exp reduction |
2008-11-26 |
Adam Chlipala |
Most exp rules for new Reduce |
2008-11-26 |
Adam Chlipala |
Start of new Reduce |
2008-11-25 |
Adam Chlipala |
Profiling in Makefile |
2008-11-25 |
Adam Chlipala |
Fusing writes with recursive function calls |
2008-11-23 |
Adam Chlipala |
Ignore SIGPIPE |
2008-11-20 |
Adam Chlipala |
Update CHANGELOG for 20081120 |
2008-11-20 |
Adam Chlipala |
Fixing demo prose |
2008-11-20 |
Adam Chlipala |
Profiling support |
2008-11-20 |
Adam Chlipala |
Some demo improvements |
2008-11-20 |
Adam Chlipala |
Fix missing initial <html> after restarts |
2008-11-20 |
Adam Chlipala |
Update Crud demo to use local functions |
2008-11-18 |
Adam Chlipala |
Extend prose about server .exes |
2008-11-18 |
Adam Chlipala |
Tag CHANGELOG with release number |
2008-11-18 |
Adam Chlipala |
Mention Especialize in CHANGELOG |
2008-11-12 |
Adam Chlipala |
Fix type calculation for applying-a-case optimization |
2008-11-12 |
Adam Chlipala |
Map distributivity rule in hnormCon |
2008-11-12 |
Adam Chlipala |
Add CutMulti |
2008-11-11 |
Adam Chlipala |
Handle nullary transaction pages; avoid marking up headers array when reading cookies |
2008-11-11 |
Adam Chlipala |
Fix demo regression |
2008-11-11 |
Adam Chlipala |
More ThreadedBlog progress |
2008-11-11 |
Adam Chlipala |
Ignore UseRel effects in [let] expansions |
2008-11-11 |
Adam Chlipala |
Get preliminary ThreadedBlog working |
2008-11-11 |
Adam Chlipala |
Get threadedBlog to work |
2008-11-09 |
Adam Chlipala |
Remove some allocation |
2008-11-09 |
Adam Chlipala |
Prevent overzealous Especialization |
2008-11-09 |
Adam Chlipala |
Defunctionalization gets CommentBlog working |
2008-11-09 |
Adam Chlipala |
Remove an extra line |
2008-11-09 |
Adam Chlipala |
Especialize working reasonably well; need to add new closure representation pass |
2008-11-08 |
Adam Chlipala |
Better detection of [let] substitution opportunities |
2008-11-08 |
Adam Chlipala |
Especialize handles records better |
2008-11-08 |
Adam Chlipala |
Broaden set of possible especializations |
2008-11-08 |
Adam Chlipala |
Some small changes while failing to write [restrict] |
2008-11-08 |
Adam Chlipala |
Add help text for generated web servers |
2008-11-08 |
Adam Chlipala |
Handle EError returning a function; handle multiple cookies in one input header |
2008-11-08 |
Adam Chlipala |
Fix parsing of last input header |
2008-11-08 |
Adam Chlipala |
[getCookie] reads cookie settings from current page generation |
2008-11-08 |
Adam Chlipala |
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files |
2008-11-08 |
Adam Chlipala |
Generated web servers use getopt() |
2008-11-07 |
Adam Chlipala |
Tree demo working (and other assorted regressions fixed) |
2008-11-06 |
Adam Chlipala |
Tree demo works |
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 |