Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | More datatype module stuff | Adam Chlipala | 2008-07-24 | |
| | ||||
* | Basic datatype importing works | Adam Chlipala | 2008-07-24 | |
| | ||||
* | Start of datatype support | Adam Chlipala | 2008-07-24 | |
| | ||||
* | Password inputs | Adam Chlipala | 2008-07-24 | |
| | ||||
* | HTML select | Adam Chlipala | 2008-07-24 | |
| | ||||
* | radio and radioOption | Adam Chlipala | 2008-07-24 | |
| | ||||
* | textarea | Adam Chlipala | 2008-07-24 | |
| | ||||
* | gformText test | Adam Chlipala | 2008-07-24 | |
| | ||||
* | Full gform test works | Adam Chlipala | 2008-07-24 | |
| | ||||
* | Record cut | Adam Chlipala | 2008-07-24 | |
| | ||||
* | gform in proper order | Adam Chlipala | 2008-07-22 | |
| | ||||
* | Meta-programming forms | Adam Chlipala | 2008-07-22 | |
| | ||||
* | Fix opening and corifying of functors | Adam Chlipala | 2008-07-22 | |
| | ||||
* | Fix GET parsing for inputs without = | Adam Chlipala | 2008-07-22 | |
| | ||||
* | Simple forms work | Adam Chlipala | 2008-07-22 | |
| | ||||
* | Almost ready to have a form work | Adam Chlipala | 2008-07-20 | |
| | ||||
* | Form submission type-checking | Adam Chlipala | 2008-07-20 | |
| | ||||
* | Initial form support | Adam Chlipala | 2008-07-20 | |
| | ||||
* | A simpler context encoding | Adam Chlipala | 2008-07-20 | |
| | ||||
* | Form binding parameters threaded through | Adam Chlipala | 2008-07-20 | |
| | ||||
* | Change driver to use Pthreads | Adam Chlipala | 2008-07-19 | |
| | ||||
* | Replaced allocation stubs | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Dynamic arena allocation | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Proper escaping of cdata | Adam Chlipala | 2008-07-17 | |
| | ||||
* | MonoShake | Adam Chlipala | 2008-07-17 | |
| | ||||
* | MonoReduce | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Proper topological sorting in untangle | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Untangle | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Compiled mutual 'val rec' | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Compiled (non-mutual) 'val rec' | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Monoizing (non-mutual) 'val rec' | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Reducing (non-mutual) 'val rec' | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Tagging (non-mutual) 'val rec' | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Corifying (non-mutual) 'val rec' | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Explifying (non-mutual) 'val rec' | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Parsing and elaborating (non-mutual) 'val rec' | Adam Chlipala | 2008-07-17 | |
| | ||||
* | Three-argument web function test | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Multiple arguments to web functions | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Passing an argument to a web function | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Proper handling of non-function-call links | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Serving pages with links | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Serving pages | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Basic web server | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Cjr ready for dispatch code generation | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Print a message on Laconic compilation failure | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Turn on gcc -O3 | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Handling duplicate tags | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Closure code generation almost there | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Starting with closure links | Adam Chlipala | 2008-07-13 | |
| | ||||
* | Remove closure conversion in favor of zany fun with modules, which also ↵ | Adam Chlipala | 2008-07-13 | |
| | | | | replaces 'page' |