summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| | | * Use new refactored urlification in Sqlcache.Gravatar Ziv Scully2015-09-21
| | | * Factor out urlification.Gravatar Ziv Scully2015-09-21
| | | * Factor out [Monoize.Fm] to make it accessible to [Sqlcache].Gravatar Ziv Scully2015-09-21
| | | * Revert to revision 2222.Gravatar Ziv Scully2015-09-21
| * | | Use correct OpenSSL thread safety macros on OS X (closes #209)Gravatar Benjamin Barenblat2015-09-20
| | * | Use correct OpenSSL thread safety macros on OS X (closes #209)Gravatar Benjamin Barenblat2015-09-20
| | | * Make Mono.file a record for readability upon extension.Gravatar Ziv Scully2015-09-13
| | | * Start work on pure expression caching.Gravatar Ziv Scully2015-09-13
| | | * Merge.Gravatar Ziv Scully2015-09-12
| | | |\ | | | |/ | | |/|
| * | | Proper error message for excessively fancy FFI signaturesGravatar Adam Chlipala2015-08-27
| | * | Proper error message for excessively fancy FFI signaturesGravatar Adam Chlipala2015-08-27
| * | | Beautify '-h' output for web serversGravatar Adam Chlipala2015-08-20
| | * | Beautify '-h' output for web serversGravatar Adam Chlipala2015-08-20
* | | | Merge branch 'upstream' into dfsg_clean20150819+dfsgGravatar Benjamin Barenblat2015-08-19
|\ \ \ \
| | * | | Return to working version modeGravatar Adam Chlipala2015-08-19
| |/ / /
| | * | Return to working version modeGravatar Adam Chlipala2015-08-19
| * | | New releaseGravatar Adam Chlipala2015-08-19
| | * | New releaseGravatar Adam Chlipala2015-08-19
| | | * Rewrite effectfulness analysis using MonoUtil.Gravatar Ziv Scully2015-08-15
| * | | Add LIKE to the manualGravatar Adam Chlipala2015-08-15
| | * | Add LIKE to the manualGravatar Adam Chlipala2015-08-15
| * | | Fix termination bug in tutorial's isEven/isOddGravatar Adam Chlipala2015-08-09
| | * | Fix termination bug in tutorial's isEven/isOddGravatar Adam Chlipala2015-08-09
| * | | Add '-noEmacs' for 'make test'Gravatar Adam Chlipala2015-08-06
| | * | Add '-noEmacs' for 'make test'Gravatar Adam Chlipala2015-08-06
| * | | Make OpenSSL usage thread-safe (closes #206)Gravatar Benjamin Barenblat2015-08-06
| | * | Make OpenSSL usage thread-safe (closes #206)Gravatar Benjamin Barenblat2015-08-06
| * | | Change 'make test' to work before 'make install'Gravatar Adam Chlipala2015-08-06
| | * | Change 'make test' to work before 'make install'Gravatar Adam Chlipala2015-08-06
| | | * Fix NONE capitalization typo.Gravatar Ziv Scully2015-08-02
| | | * Merge.Gravatar Ziv Scully2015-08-02
| | | |\ | | | |/ | | |/|
| | | * Sqlcache allows any expression injected into SQL.Gravatar Ziv Scully2015-08-02
| * | | Add a simple 'make test' targetGravatar Adam Chlipala2015-07-29
| | * | Add a simple 'make test' targetGravatar Adam Chlipala2015-07-29
| | | * Use uniform representation of comparisons for better simplification.Gravatar Ziv Scully2015-07-20
| | | * Fix possible formula simplification bug with extra formula' type.Gravatar Ziv Scully2015-07-20
| | | * Add parameterless query to caching test.Gravatar Ziv Scully2015-07-19
| | | * Merge.Gravatar Ziv Scully2015-07-19
| | | |\ | | | |/ | | |/|
| | | * Rename C functions and remove functors nested inside modules.Gravatar Ziv Scully2015-07-19
| | | * Add limited support for parsing SQL arithmetic.Gravatar Ziv Scully2015-07-07
| | | * Only use string (rather than numeric, etc.) primitives in parsed SQL statements.Gravatar Ziv Scully2015-07-06
| | | * Fix bug in redundancy checking and use finer formula for UPDATE statements.Gravatar Ziv Scully2015-07-05
| | | * Major DNF-calculation performance decrapification.Gravatar Ziv Scully2015-06-30
| | | * Refactored a lot and fixed an and/or swap, but still not good on current test.Gravatar Ziv Scully2015-06-29
| | | * Progress on LRU cache but still more known bugs to fix.Gravatar Ziv Scully2015-06-28
* | | | Merge branch 'upstream' into dfsg_clean20150520+dfsgGravatar Benjamin Barenblat2015-05-20
|\ \ \ \
| | * | | Add onChange handler to radioOptionGravatar Julian Squires2015-05-07
| | * | | Allow returnBlob and redirect in static protocolGravatar Julian Squires2015-07-13
| | * | | Add a missed case in CoreUtil.Exp foldGravatar Adam Chlipala2015-07-05
| | * | | Tag NULLs with their types in SQL, to help the DBMS do type inferenceGravatar Adam Chlipala2015-07-04