summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| | | * | | Also install openssl from brew on OSX in TravisGravatar Jason Gross2015-12-30
| | | | | * Move some things around in configure.acGravatar Jason Gross2015-12-30
| | | |_|/ | | |/| |
| | | | * Remove duplicate typedef declarations.Gravatar Ziv Scully2015-12-30
| | | |/ | | |/|
| | | * Add tap for mlton on osxGravatar Jason Gross2015-12-30
| | | * Add build status image to README.mdGravatar Jason Gross2015-12-30
| | | * Add .travis.yml for automated testingGravatar Jason Gross2015-12-30
| | |/
* | | Release for unstable20151220+dfsg-1Gravatar Benjamin Barenblat2015-12-23
* | | Build architecture-independent targets with -A (closes Debian #806662)Gravatar Benjamin Barenblat2015-12-23
* | | Update symbols filesGravatar Benjamin Barenblat2015-12-23
* | | Remove unnecessary dh-exec usageGravatar Benjamin Barenblat2015-12-23
* | | Devendor uthashGravatar Benjamin Barenblat2015-12-23
* | | Update debian/control for GitHub transitionGravatar Benjamin Barenblat2015-12-23
* | | Update man pageGravatar Benjamin Barenblat2015-12-23
* | | Update debian/changelogGravatar Benjamin Barenblat2015-12-23
* | | Merge branch 'dfsg_clean'Gravatar Benjamin Barenblat2015-12-23
|\| |
| * | Merge branch 'upstream' into dfsg_clean20151220+dfsgGravatar Benjamin Barenblat2015-12-23
| |\ \
| | | * Remove old Mercurial referenceGravatar Adam Chlipala2015-12-20
| | | * Imported to Git from MercurialGravatar Adam Chlipala2015-12-20
| | | * Return to working version modeGravatar Adam Chlipala2015-12-20
| | |/
| | * New releaseGravatar Adam Chlipala2015-12-20
| | * Short manual note on -sqlcacheGravatar Adam Chlipala2015-12-20
| | * Merge SqlcacheGravatar Adam Chlipala2015-12-20
| | |\
| | * | Unnest properly in presence of kind polymorphismGravatar Adam Chlipala2015-12-20
| | * | Fixing dynClass for <tr>sGravatar Adam Chlipala2015-12-15
| | * | Change Postgres schema-checking code to account properly for namespacesGravatar Adam Chlipala2015-12-08
| | * | Document jsFileGravatar Adam Chlipala2015-12-05
| | * | New .urp directive: jsFileGravatar Adam Chlipala2015-12-05
| | * | Fix tricky case of functor signature subsumptionGravatar Adam Chlipala2015-11-27
| | * | Reduce: add reduction in some spots previously missed, associated with 'case'...Gravatar Adam Chlipala2015-11-25
* | | | Release for unstable20151122+dfsg-1Gravatar Benjamin Barenblat2015-11-22
* | | | Update liburweb0 symbols fileGravatar Benjamin Barenblat2015-11-22
* | | | Update debian/changelogGravatar Benjamin Barenblat2015-11-22
* | | | Merge branch 'dfsg_clean'Gravatar Benjamin Barenblat2015-11-22
|\| | |
| * | | Merge branch 'upstream' into dfsg_clean20151122+dfsgGravatar Benjamin Barenblat2015-11-22
| |\ \ \
| | | * | Return to working version modeGravatar Adam Chlipala2015-11-22
| | * | | New releaseGravatar Adam Chlipala2015-11-22
| | | * | New releaseGravatar Adam Chlipala2015-11-22
| | * | | Make daemon mode support sharing of libraries across projectsGravatar Adam Chlipala2015-11-22
| | | * | Make daemon mode support sharing of libraries across projectsGravatar Adam Chlipala2015-11-22
| | | | * Add read locks around time read in store.Gravatar Ziv Scully2015-11-20
| | | | * Tiny concurrency bugfix (race condition on cache->timeNow).Gravatar Ziv Scully2015-11-20
| | | | * Tweak cache consolidation and choose better default.Gravatar Ziv Scully2015-11-20
| | | | * More work on heuristics.Gravatar Ziv Scully2015-11-19
| | | | * Add consolidation heuristic options.Gravatar Ziv Scully2015-11-19
| | | | * Fix condition for installing new cache entriesGravatar Adam Chlipala2015-11-19
| | | | * Fix a read-after-free bug using a timestamp checkGravatar Adam Chlipala2015-11-19
| | | | * Fix a few C memory bugsGravatar Adam Chlipala2015-11-19
| | | | * Fix SQL parser JOIN bug and fix ON clause logic in Sqlcache.Gravatar Ziv Scully2015-11-19
| | | | * Support nested queries but disable UrFlow for now.Gravatar Ziv Scully2015-11-19
| | | | * Trivial change to benchmark.Gravatar Ziv Scully2015-11-18