| Sat, 08 Nov 2008 13:15:00 -0500 |
Adam Chlipala |
Some small changes while failing to write [restrict] |
| Sat, 04 Oct 2008 15:50:28 -0400 |
Adam Chlipala |
Merge CDisjoint and TDisjoint |
| Sat, 13 Sep 2008 19:53:07 -0400 |
Adam Chlipala |
Name disjointness check changed to case insensitive |
| Sat, 13 Sep 2008 19:49:53 -0400 |
Adam Chlipala |
queryX |
| Thu, 11 Sep 2008 18:32:41 -0400 |
Adam Chlipala |
Crud list works |
| Sun, 31 Aug 2008 10:36:54 -0400 |
Adam Chlipala |
Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type |
| Thu, 14 Aug 2008 18:35:08 -0400 |
Adam Chlipala |
Non-star SELECT |
| Thu, 03 Jul 2008 11:04:25 -0400 |
Adam Chlipala |
Fancier head normalization pushed inside of Disjoint |
