summaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* SELECT DISTINCT; eta expansion during CjrizationGravatar Adam Chlipala2009-10-06
* Fix a de Bruijn index bug in map fusionGravatar Adam Chlipala2009-10-06
* Better location calculation for record unification error messages; infer kind...Gravatar Adam Chlipala2009-10-05
* Mangle local table names to avoid keyword clashes in SQLGravatar Adam Chlipala2009-10-05
* Whitelisting tags that may be self-closedGravatar Adam Chlipala2009-09-26
* Fix sel() generation bugGravatar Adam Chlipala2009-09-24
* demo/more compiles; small problem left with foreign keys in Grid1Gravatar Adam Chlipala2009-09-24
* demo/increment works with interpretationGravatar Adam Chlipala2009-09-24
* Might have fixed demo/listEditGravatar Adam Chlipala2009-09-24
* demo/react works with interpretationGravatar Adam Chlipala2009-09-22
* Quoting JavaScript workingGravatar Adam Chlipala2009-09-22
* Compiled an 'option' pattern-matchGravatar Adam Chlipala2009-09-22
* More interpreter debuggingGravatar Adam Chlipala2009-09-22
* Functions working with interpretationGravatar Adam Chlipala2009-09-22
* Hopefully complete refactoring of Jscomp to output ASTs; partial implementati...Gravatar Adam Chlipala2009-09-22
* Paging mostly working; just need to get it working properly with filteringGravatar Adam Chlipala2009-09-19
* Grid sorting workingGravatar Adam Chlipala2009-09-19
* Hopefully fixed Jscomp bug that was breaking GridGravatar Adam Chlipala2009-09-19
* Fix C substring implementationGravatar Adam Chlipala2009-09-18
* 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
* 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
* 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' simplifica...Gravatar Adam Chlipala2009-09-15
* Fixed a Mono_reduce bug, which was breaking selection enabling in GridGravatar Adam Chlipala2009-09-15
* Fix Postgres timestamp round-trippingGravatar Adam Chlipala2009-09-15
* Fix MySQL timestamp inputGravatar Adam Chlipala2009-09-15
* Fix a bug in Jscomp environment calculation for EQuery; smarter embedding of ...Gravatar Adam Chlipala2009-09-14
* 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 pag...Gravatar 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 Ap...Gravatar Adam Chlipala2009-09-12
* Find chances to use mstrcat()Gravatar Adam Chlipala2009-09-09
* Don't replace <sc> in blob returns; optimize more 'option' pattern matches; d...Gravatar Adam Chlipala2009-09-09
* Fix memmem() signature; fix mono_reduce environment bookkeepingGravatar Adam Chlipala2009-09-08
* 'more' demos working after optimizer fixGravatar 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 18:12:05 +0000