Mercurial > urweb
log tests/query.ur
age | author | description |
---|---|---|
2008-08-31 | Adam Chlipala | Monoized binary operators |
2008-08-31 | Adam Chlipala | Monoized a WHERE clause with a comparison |
2008-08-31 | Adam Chlipala | Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type |
2008-08-31 | Adam Chlipala | Corify transaction wrappers |
2008-08-31 | Adam Chlipala | Laconic -> Ur base tests/query.lac@833b615e43a2 |