Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Build architecture-independent targets with -A (closes Debian #806662) | Benjamin Barenblat | 2015-12-23 |
| | | | | | Add appropriate overrides to debian/rules such that dpkg-buildpackage -A will actually build correctly. | ||
* | Update symbols files | Benjamin Barenblat | 2015-12-23 |
| | |||
* | Remove unnecessary dh-exec usage | Benjamin Barenblat | 2015-12-23 |
| | |||
* | Devendor uthash | Benjamin Barenblat | 2015-12-23 |
| | |||
* | Update debian/control for GitHub transition | Benjamin Barenblat | 2015-12-23 |
| | |||
* | Update man page | Benjamin Barenblat | 2015-12-23 |
| | | | | | Remove references to UrFlow, as the reference manual now describes that subsystem as intentionally undocumented and experimental. Update dates. | ||
* | Update debian/changelog | Benjamin Barenblat | 2015-12-23 |
| | |||
* | Merge branch 'dfsg_clean' | Benjamin Barenblat | 2015-12-23 |
|\ | |||
| * | Merge branch 'upstream' into dfsg_clean20151220+dfsg | Benjamin Barenblat | 2015-12-23 |
| |\ | |||
| | * | New release | Adam Chlipala | 2015-12-20 |
| | | | |||
| | * | Short manual note on -sqlcache | Adam Chlipala | 2015-12-20 |
| | | | |||
| | * | Merge Sqlcache | Adam Chlipala | 2015-12-20 |
| | |\ | |||
| | * | | Unnest properly in presence of kind polymorphism | Adam Chlipala | 2015-12-20 |
| | | | | |||
| | * | | Fixing dynClass for <tr>s | Adam Chlipala | 2015-12-15 |
| | | | | |||
| | * | | Change Postgres schema-checking code to account properly for namespaces | Adam Chlipala | 2015-12-08 |
| | | | | |||
| | * | | Document jsFile | Adam Chlipala | 2015-12-05 |
| | | | | |||
| | * | | New .urp directive: jsFile | Adam Chlipala | 2015-12-05 |
| | | | | |||
| | * | | Fix tricky case of functor signature subsumption | Adam Chlipala | 2015-11-27 |
| | | | | |||
| | * | | Reduce: add reduction in some spots previously missed, associated with ↵ | Adam Chlipala | 2015-11-25 |
| | | | | | | | | | | | | | | | | 'case' return types | ||
* | | | | Release for unstable20151122+dfsg-1 | Benjamin Barenblat | 2015-11-22 |
| | | | | |||
* | | | | Update liburweb0 symbols file | Benjamin Barenblat | 2015-11-22 |
| | | | | |||
* | | | | Update debian/changelog | Benjamin Barenblat | 2015-11-22 |
| | | | | |||
* | | | | Merge branch 'dfsg_clean' | Benjamin Barenblat | 2015-11-22 |
|\| | | | |||
| * | | | Merge branch 'upstream' into dfsg_clean20151122+dfsg | Benjamin Barenblat | 2015-11-22 |
| |\ \ \ | |||
| | | * | | Return to working version mode | Adam Chlipala | 2015-11-22 |
| | | | | | |||
| | * | | | New release | Adam Chlipala | 2015-11-22 |
| | | | | | |||
| | | * | | New release | Adam Chlipala | 2015-11-22 |
| | | | | | |||
| | * | | | Make daemon mode support sharing of libraries across projects | Adam Chlipala | 2015-11-22 |
| | | | | | |||
| | | * | | Make daemon mode support sharing of libraries across projects | Adam Chlipala | 2015-11-22 |
| | | | | | |||
| | | | * | Add read locks around time read in store. | Ziv Scully | 2015-11-20 |
| | | | | | |||
| | | | * | Tiny concurrency bugfix (race condition on cache->timeNow). | Ziv Scully | 2015-11-20 |
| | | | | | |||
| | | | * | Tweak cache consolidation and choose better default. | Ziv Scully | 2015-11-20 |
| | | | | | |||
| | | | * | More work on heuristics. | Ziv Scully | 2015-11-19 |
| | | | | | |||
| | | | * | Add consolidation heuristic options. | Ziv Scully | 2015-11-19 |
| | | | | | |||
| | | | * | Fix condition for installing new cache entries | Adam Chlipala | 2015-11-19 |
| | | | | | |||
| | | | * | Fix a read-after-free bug using a timestamp check | Adam Chlipala | 2015-11-19 |
| | | | | | |||
| | | | * | Fix a few C memory bugs | Adam Chlipala | 2015-11-19 |
| | | | | | |||
| | | | * | Fix SQL parser JOIN bug and fix ON clause logic in Sqlcache. | Ziv Scully | 2015-11-19 |
| | | | | | |||
| | | | * | Support nested queries but disable UrFlow for now. | Ziv Scully | 2015-11-19 |
| | | | | | |||
| | | | * | Trivial change to benchmark. | Ziv Scully | 2015-11-18 |
| | | | | | |||
| | | | * | Ran a benchmark! | Ziv Scully | 2015-11-17 |
| | | | | | |||
| | | | * | Make cache flushes happen immediately instead of at end of transaction. | Ziv Scully | 2015-11-17 |
| | | | | | |||
| | | | * | Add small benchmark (WIP). | ziv | 2015-11-15 |
| | | | | | |||
| | | | * | Fix bugs for lock calculation and SQL parsing and add support for tasks. | Ziv Scully | 2015-11-15 |
| | | | | | |||
| | | | * | Finish locking, but it's not yet tested rigorously. | Ziv Scully | 2015-11-13 |
| | | | | | |||
| | | | * | Remove debugging print statement. | Ziv Scully | 2015-11-13 |
| | | | | | |||
| | | | * | Fix issue with one-element caches. Locking still WIP. | Ziv Scully | 2015-11-13 |
| | | | | | |||
| | | | * | Fix committing multiple stores/flushes. Locking is WIP. | Ziv Scully | 2015-11-12 |
| | | | | | |||
| | | | * | Actually use transactional machinery for flushes this time. | Ziv Scully | 2015-11-12 |
| | | | | | |||
| | | | * | Initialize invalidation to NULL! | Ziv Scully | 2015-11-12 |
| | | | | |