index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
settings.sml
Commit message (
Expand
)
Author
Age
*
Generated basic dummy Iflow conditions
Adam Chlipala
2010-04-04
*
Relational operators portability
Adam Chlipala
2010-04-01
*
safeGet
Adam Chlipala
2010-03-09
*
benignEffectful
Adam Chlipala
2010-02-27
*
sigfile directive
Adam Chlipala
2010-02-11
*
Basis.debug; more restrictive type for Basis.form; weaken definition of polym...
Adam Chlipala
2010-01-07
*
Deadlines
Adam Chlipala
2010-01-03
*
Proper client-side attrifyString
Adam Chlipala
2010-01-01
*
Treat getCookie as effectful
Adam Chlipala
2009-12-29
*
Protocol-specific compiler options
Adam Chlipala
2009-12-27
*
Dynamic linking of the runtime system
Adam Chlipala
2009-12-27
*
Initializers and setval
Adam Chlipala
2009-12-13
*
Context globals; ctype functions
Adam Chlipala
2009-12-08
*
Represent FFI function names as strings, to deal with cross-file recursion
Adam Chlipala
2009-12-05
*
More fun with cookies
Adam Chlipala
2009-11-26
*
Inlining threshold for Reduce
Adam Chlipala
2009-10-25
*
Chars working with SQLite
Adam Chlipala
2009-10-22
*
Initial support for char in SQL
Adam Chlipala
2009-10-22
*
Fix inconsistency in bool URLification between C and JavaScript
Adam Chlipala
2009-08-25
*
JavaScript urlifying of bools; correct Link attribute escaping
Adam Chlipala
2009-08-11
*
Key events get key code input
Adam Chlipala
2009-07-18
*
More command-line options
Adam Chlipala
2009-07-18
*
Blobs tested in MySQL and SQLite
Adam Chlipala
2009-07-18
*
Most of demo working with SQLite
Adam Chlipala
2009-07-17
*
MySQL CGI working
Adam Chlipala
2009-07-17
*
Testing nested queries
Adam Chlipala
2009-07-17
*
Demo working with MySQL
Adam Chlipala
2009-07-16
*
Sequence code compiles in MySQL
Adam Chlipala
2009-07-16
*
MySQL accepts generated demo DDL
Adam Chlipala
2009-07-16
*
MySQL demo/sql succeeds in reading no rows
Adam Chlipala
2009-07-12
*
MySQL query gets up to C linking
Adam Chlipala
2009-07-12
*
Validating views
Adam Chlipala
2009-06-30
*
Move all DBMS initialization to #init
Adam Chlipala
2009-06-30
*
Moved nextval code into Settings
Adam Chlipala
2009-06-28
*
Moved dml code into Settings
Adam Chlipala
2009-06-28
*
Moved query code into Settings
Adam Chlipala
2009-06-28
*
Start of multi-DBMS support
Adam Chlipala
2009-06-28
*
Move http protocol into its own file
Adam Chlipala
2009-06-28
*
Successfully starting FastCGI sessions with Apache
Adam Chlipala
2009-06-27
*
Avoid using prepared statements for non-persistent protocols
Adam Chlipala
2009-06-27
*
-debug from the command line
Adam Chlipala
2009-06-27
*
cgi protocol
Adam Chlipala
2009-06-23
*
Initial implementation of protocols in Settings
Adam Chlipala
2009-06-23
*
Mark current as effectful; add List functions
Adam Chlipala
2009-06-09
*
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
Adam Chlipala
2009-06-07
*
Lexing some more string escape sequences; JS versions of number read; fix pro...
Adam Chlipala
2009-06-02
*
strcspn and friends
Adam Chlipala
2009-05-31
*
Substring functions; fix a nasty MonoReduce pattern match substitution bug
Adam Chlipala
2009-05-30
*
String.length
Adam Chlipala
2009-05-30
*
Chars and more string operations
Adam Chlipala
2009-05-26
[next]