Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Normalize datatype choice during SgiDatatypeImp elaboration | Adam Chlipala | 2008-07-24 |
* | Datatype import signature-matches abstract datatype | Adam Chlipala | 2008-07-24 |
* | Abstracting datatypes with signature ascription | Adam Chlipala | 2008-07-24 |
* | 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 |