summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
* Fix C substring implementationGravatar Adam Chlipala2009-09-18
|
* Pseudo-sort working with filtersGravatar Adam Chlipala2009-09-17
|
* Grid changed to use Dlist.replace; filters stopped workingGravatar Adam Chlipala2009-09-17
|
* Don't try to check if functions are already tail-recursiveGravatar Adam Chlipala2009-09-17
|
* tail example workingGravatar Adam Chlipala2009-09-17
|
* Basic tail recursion introduction seems to be workingGravatar Adam Chlipala2009-09-17
|
* Bad sort functions testedGravatar Adam Chlipala2009-09-17
|
* Insert dummy Sort parameterGravatar Adam Chlipala2009-09-17
|
* Make filter argument to render, not createGravatar Adam Chlipala2009-09-17
|
* Don't try to compile sigString() calls to JavaScriptGravatar Adam Chlipala2009-09-17
|
* Disable GCC inlining to stop goofy errorsGravatar Adam Chlipala2009-09-17
|
* Find more opportunities for 'let' inlining with better purity informationGravatar Adam Chlipala2009-09-17
|
* Print char patterns in CGravatar Adam Chlipala2009-09-17
|
* Filters displaying properlyGravatar Adam Chlipala2009-09-15
|
* Filters displaying awfullyGravatar Adam Chlipala2009-09-15
|
* Filters implementation type-checkingGravatar Adam Chlipala2009-09-15
|
* Fix JavaScript char literals; don't generate demo links to nonexistent filesGravatar Adam Chlipala2009-09-15
|
* Escape character constants; lift indices properly in Reduce 'case' ↵Gravatar Adam Chlipala2009-09-15
| | | | simplification
* Fixed a Mono_reduce bug, which was breaking selection enabling in GridGravatar Adam Chlipala2009-09-15
|
* Selection working, but switching it on isn'tGravatar Adam Chlipala2009-09-15
|
* Fix Postgres timestamp round-trippingGravatar Adam Chlipala2009-09-15
|
* Fix MySQL timestamp inputGravatar Adam Chlipala2009-09-15
|
* Summary row with aggregatesGravatar Adam Chlipala2009-09-15
|
* Include 'key' type in GridGravatar Adam Chlipala2009-09-15
|
* Dropped in initial aggregate typesGravatar Adam Chlipala2009-09-15
|
* Fix a bug in Jscomp environment calculation for EQuery; smarter embedding of ↵Gravatar Adam Chlipala2009-09-14
| | | | record projection in JavaScript
* Fix some MySQL bugsGravatar Adam Chlipala2009-09-13
|
* Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduceGravatar Adam Chlipala2009-09-13
|
* Have nullable columns working with DbgridGravatar Adam Chlipala2009-09-13
|
* Nullable columns *might* be working, but too much JS is generated for the ↵Gravatar Adam Chlipala2009-09-12
| | | | page to load in finite time
* New releaseGravatar Adam Chlipala2009-09-12
|
* MergeGravatar Adam Chlipala2009-09-12
|\
* | Debugging new string urlificationGravatar Adam Chlipala2009-09-12
| |
| * Prevent event bubblingGravatar Adam Chlipala2009-09-12
|/
* Change string URLification to avoid using the empty string, which confuses ↵Gravatar Adam Chlipala2009-09-12
| | | | Apache no2slash()
* Add grid CSS ACLGravatar Adam Chlipala2009-09-10
|
* Add grid CSSGravatar Adam Chlipala2009-09-10
|
* Find chances to use mstrcat()Gravatar Adam Chlipala2009-09-09
|
* Don't replace <sc> in blob returns; optimize more 'option' pattern matches; ↵Gravatar Adam Chlipala2009-09-09
| | | | detect more opportunities for 'let' inlining
* Fix memmem() signature; fix mono_reduce environment bookkeepingGravatar Adam Chlipala2009-09-08
|
* 'more' demos working after optimizer fixGravatar Adam Chlipala2009-09-08
|
* Use cdata for shorter Monad mapGravatar Adam Chlipala2009-09-08
|
* dragList demo working, save for Gecko load delay and highlightingGravatar Adam Chlipala2009-09-08
|
* dragList almost kinda worksGravatar Adam Chlipala2009-09-08
|
* Start 'more' demo with dbgridGravatar Adam Chlipala2009-09-08
|
* New releaseGravatar Adam Chlipala2009-08-25
|
* Fix structure wildification to take concrete con decls into accountGravatar Adam Chlipala2009-08-25
|
* Fix inconsistency in bool URLification between C and JavaScriptGravatar Adam Chlipala2009-08-25
|
* Fix list jsification bug; grid1 working with foreign key, but booleans not ↵Gravatar Adam Chlipala2009-08-25
| | | | getting into database properly
* grid1 compiles but gets stuck in JSGravatar Adam Chlipala2009-08-25
|