| 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 |
| Tue, 01 Jul 2008 15:58:02 -0400 |
Adam Chlipala |
Constraints in modules |
| Tue, 01 Jul 2008 12:10:46 -0400 |
Adam Chlipala |
Disjointness assumptions |
| Tue, 01 Jul 2008 11:39:14 -0400 |
Adam Chlipala |
Threading disjointness conditions through Elaborate |
| Tue, 01 Jul 2008 10:55:38 -0400 |
Adam Chlipala |
Initial disjointness prover |
