git.iko.soy/squeal
on dev help sign in
history of2645387..dev
compare
4a6ab04haddockEitan Chatav c79185ddelete a lineEitan Chatav 6be23e2setof and moreEitan Chatav 79e6b1ctypesEitan Chatav ea86c4clanguageSqlEitan Chatav 70f2f10Merge branch 'dev' into dev-funEitan Chatav f29788fMerge pull request #145 from morphismtech/dev-indexEitan Chatav 121553efix parenthesization of indexesEitan Chatav 22fb78fmore operators and functionsEitan Chatav 68393ecdrop functionEitan Chatav 20cad41functionsEitan Chatav f57b03bMerge branch 'dev' into dev-indexEitan Chatav 75661c1Merge pull request #141 from morphismtech/dev-oidEitan Chatav 4149bd1drop indexEitan Chatav 53523c5index methodEitan Chatav d641873indexesEitan Chatav 008b288simpler doctestEitan Chatav 913536afix merge bugEitan Chatav bb711e6Merge branch 'dev' into dev-oid-mergeEitan Chatav 7996804Merge pull request #140 from morphismtech/dev-rangeEitan Chatav af6826bcheck sequentially for nowEitan Chatav dac1fa6rename tests and executableEitan Chatav f94cce2disintegrate test suitesEitan Chatav 65893e0Update Property.hsEitan Chatav 1afd17ctime and time range testsEitan Chatav 78d8e0bMerge branch 'dev' into dev-rangeEitan Chatav 842fa50Merge branch 'dev' into dev-oidEitan Chatav 1b21626Merge pull request #144 from morphismtech/dev-haddocksEitan Chatav 4e44a3afix docsEitan Chatav 5ae6708fix testEitan Chatav 163dca8Oid newtypeEitan Chatav 5657b81Merge pull request #143 from league/domain-aliasEitan Chatav 2de32fbCorrect alias constraint on createDomain; fixes #142Christopher League c135984Add non-compiling createDomain to Example programChristopher League f0f3e4foidEitan Chatav e2abe3drange testsEitan Chatav 54d2f03range binaryEitan Chatav cd2e14eurlEitan Chatav 2f6c226failing testsEitan Chatav 8a3e90atests!Eitan Chatav 9a2cd8doperator renamingEitan Chatav 5105396test changesEitan Chatav 1e3cf9fbinary testsEitan Chatav 0980480rejigger ADTsEitan Chatav 5b1f425undoEitan Chatav ffed042type empty rangesEitan Chatav 84df501range operators & functionsEitan Chatav d6ad73fgreaterThan ~> moreThanEitan Chatav 466adc7fix testEitan Chatav df5a08arename half interval constructorsEitan Chatav