log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/disjoint.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
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
less
more
|
(0)
tip