log src/disjoint.sml

age author description
2009-11-17 Adam Chlipala Hooks for measuring how much interesting proving is going on in elaboration
2009-04-07 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
2009-02-24 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
2009-02-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2008-11-08 Adam Chlipala Some small changes while failing to write [restrict]
2008-10-04 Adam Chlipala Merge CDisjoint and TDisjoint
2008-09-13 Adam Chlipala Name disjointness check changed to case insensitive
2008-09-13 Adam Chlipala queryX
2008-09-11 Adam Chlipala Crud list works
2008-08-31 Adam Chlipala Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
2008-08-14 Adam Chlipala Non-star SELECT
2008-07-03 Adam Chlipala Fancier head normalization pushed inside of Disjoint
2008-07-01 Adam Chlipala Constraints in modules
2008-07-01 Adam Chlipala Disjointness assumptions
2008-07-01 Adam Chlipala Threading disjointness conditions through Elaborate
2008-07-01 Adam Chlipala Initial disjointness prover