Tue, 24 Feb 2009 12:01:24 -0500 |
Adam Chlipala |
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses |
Sat, 21 Feb 2009 15:33:20 -0500 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
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 |