summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Collapse)AuthorAge
* benignEffectfulGravatar Adam Chlipala2010-02-27
|
* sigfile directiveGravatar Adam Chlipala2010-02-11
|
* Basis.debug; more restrictive type for Basis.form; weaken definition of ↵Gravatar Adam Chlipala2010-01-07
| | | | polymorphic-ness for especialization
* DeadlinesGravatar Adam Chlipala2010-01-03
|
* Proper client-side attrifyStringGravatar Adam Chlipala2010-01-01
|
* Treat getCookie as effectfulGravatar Adam Chlipala2009-12-29
|
* Protocol-specific compiler optionsGravatar Adam Chlipala2009-12-27
|
* Dynamic linking of the runtime systemGravatar Adam Chlipala2009-12-27
|
* Initializers and setvalGravatar Adam Chlipala2009-12-13
|
* Context globals; ctype functionsGravatar Adam Chlipala2009-12-08
|
* Represent FFI function names as strings, to deal with cross-file recursionGravatar Adam Chlipala2009-12-05
|
* More fun with cookiesGravatar Adam Chlipala2009-11-26
|
* Inlining threshold for ReduceGravatar Adam Chlipala2009-10-25
|
* Chars working with SQLiteGravatar Adam Chlipala2009-10-22
|
* Initial support for char in SQLGravatar Adam Chlipala2009-10-22
|
* Fix inconsistency in bool URLification between C and JavaScriptGravatar Adam Chlipala2009-08-25
|
* JavaScript urlifying of bools; correct Link attribute escapingGravatar Adam Chlipala2009-08-11
|
* Key events get key code inputGravatar Adam Chlipala2009-07-18
|
* More command-line optionsGravatar Adam Chlipala2009-07-18
|
* Blobs tested in MySQL and SQLiteGravatar Adam Chlipala2009-07-18
|
* Most of demo working with SQLiteGravatar Adam Chlipala2009-07-17
|
* MySQL CGI workingGravatar Adam Chlipala2009-07-17
|
* Testing nested queriesGravatar Adam Chlipala2009-07-17
|
* Demo working with MySQLGravatar Adam Chlipala2009-07-16
|
* Sequence code compiles in MySQLGravatar Adam Chlipala2009-07-16
|
* MySQL accepts generated demo DDLGravatar Adam Chlipala2009-07-16
|
* MySQL demo/sql succeeds in reading no rowsGravatar Adam Chlipala2009-07-12
|
* MySQL query gets up to C linkingGravatar Adam Chlipala2009-07-12
|
* Validating viewsGravatar Adam Chlipala2009-06-30
|
* Move all DBMS initialization to #initGravatar Adam Chlipala2009-06-30
|
* Moved nextval code into SettingsGravatar Adam Chlipala2009-06-28
|
* Moved dml code into SettingsGravatar Adam Chlipala2009-06-28
|
* Moved query code into SettingsGravatar Adam Chlipala2009-06-28
|
* Start of multi-DBMS supportGravatar Adam Chlipala2009-06-28
|
* Move http protocol into its own fileGravatar Adam Chlipala2009-06-28
|
* Successfully starting FastCGI sessions with ApacheGravatar Adam Chlipala2009-06-27
|
* Avoid using prepared statements for non-persistent protocolsGravatar Adam Chlipala2009-06-27
|
* -debug from the command lineGravatar Adam Chlipala2009-06-27
|
* cgi protocolGravatar Adam Chlipala2009-06-23
|
* Initial implementation of protocols in SettingsGravatar Adam Chlipala2009-06-23
|
* Mark current as effectful; add List functionsGravatar Adam Chlipala2009-06-09
|
* Start of Option; Basis.current; fix missed cases in Jscomp.isNullableGravatar Adam Chlipala2009-06-07
|
* Lexing some more string escape sequences; JS versions of number read; fix ↵Gravatar Adam Chlipala2009-06-02
| | | | problem with signature unification; escape < more often in Jscomp
* strcspn and friendsGravatar Adam Chlipala2009-05-31
|
* Substring functions; fix a nasty MonoReduce pattern match substitution bugGravatar Adam Chlipala2009-05-30
|
* String.lengthGravatar Adam Chlipala2009-05-30
|
* Chars and more string operationsGravatar Adam Chlipala2009-05-26
|
* Change monoization of monads to allow partial applications of operationsGravatar Adam Chlipala2009-05-23
|
* Improvements while working on GraftidGravatar Adam Chlipala2009-05-14
|
* cookieSec demoGravatar Adam Chlipala2009-05-03
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 14:55:31 +0000