Commit graph

  • da4ccfd877
    updated README master Yann Esposito (Yogsototh) 2016-06-14 09:08:50 +0200
  • 1e0a922f28
    bump version Yann Esposito (Yogsototh) 2016-06-14 09:06:09 +0200
  • 17f6f0e9a5
    added filterv rule Yann Esposito (Yogsototh) 2016-06-14 09:03:04 +0200
  • a07b90a8b1
    fix tests Yann Esposito (Yogsototh) 2016-06-13 22:18:40 +0200
  • 069149343c
    update CHANGELOG Yann Esposito (Yogsototh) 2016-06-13 22:13:20 +0200
  • ee4fc0d6a7
    updated version Yann Esposito (Yogsototh) 2016-06-13 19:40:45 +0200
  • e0a39b320e
    updated README Yann Esposito (Yogsototh) 2016-06-13 19:34:14 +0200
  • b03bbbe11f
    remove false equivalence rules Yann Esposito (Yogsototh) 2016-06-13 19:31:39 +0200
  • dffec72800
    added README Yann Esposito (Yogsototh) 2016-06-13 19:02:37 +0200
  • 8f89fac6ab
    remove thread kibit Yann Esposito (Yogsototh) 2016-06-13 18:55:28 +0200
  • 964cec7f4c
    simplified rules Yann Esposito (Yogsototh) 2016-06-13 18:40:39 +0200
  • ca8e5aee79 Merge pull request #154 from jpb/suggest-vary-meta Daniel Compton 2016-04-05 09:37:00 +1200
  • 6be43fb040 Suggest vary-meta in place of (with-meta a (f (meta a) ,,,)) James Brennan 2016-04-03 19:15:53 -0700
  • be013ef0d3 Merge pull request #152 from codeclimate/jp/bind-out-to-err-for-exceptions Daniel Compton 2016-02-29 14:10:44 +1300
  • 8ad16f3ccb Output exception details to STDERR John Pignata 2016-02-27 12:15:19 -0500
  • 0fd16aee80 Indentation style fix Kapil Reddy 2015-08-21 13:25:41 +0530
  • 0cf7a62184 Modify run and external-run to accept custom rules Kapil Reddy 2015-08-20 10:39:08 +0530
  • 1248c27251 Add changelog not for emacs next-error support Daniel Compton 2015-05-06 12:25:06 +1200
  • b2a2d4b0fb Merge pull request #136 from brunchboy/add-kibit-helper Daniel Compton 2015-05-09 09:58:08 +1200
  • 884fba531d Clarify limitation with respect to comments. James Elliott 2015-05-08 11:20:28 -0500
  • 8762ea558d Refer to new kibit-helper Emacs package. James Elliott 2015-05-08 11:13:15 -0500
  • eada5a5f42 Merge pull request #134 from brunchboy/let-emacs-find-errors Daniel Compton 2015-05-06 12:22:53 +1200
  • 433f4ac277 Enable emacs' next-error function with kibit hits. James Elliott 2015-05-05 14:36:05 -0500
  • 0ec086dce0 Explain changelog convention Daniel Compton 2015-05-05 22:43:31 +1200
  • 3bc943b790 Add a CHANGELOG Daniel Compton 2015-05-05 22:39:08 +1200
  • f780c5bb54 Bump version in README Daniel Compton 2015-04-20 20:19:34 +1200
  • f18e927534 Version 0.1.2 0.1.2 Daniel Compton 2015-04-20 20:10:12 +1200
  • 38c67870e5 Bump for next version Daniel Compton 2015-04-20 20:09:25 +1200
  • 18caeec609 Version 0.1.1 Daniel Compton 2015-04-20 20:08:03 +1200
  • 7fdbc38296 Bump for next version Daniel Compton 2015-04-20 20:07:53 +1200
  • 8a241bfa20 Version 0.1.1 0.1.1 Daniel Compton 2015-04-20 19:52:38 +1200
  • 827739254b Bump to snapshot for further development Daniel Compton 2015-04-20 19:13:25 +1200
  • 44e0c766d4 Version 0.1.0 0.1.0 Daniel Compton 2015-04-20 18:55:17 +1200
  • cee20fe7f8 Bump snapshot version and add clojars repo Daniel Compton 2015-04-20 18:54:46 +1200
  • eda1e5d2f0 Merge branch 'add-docs' Daniel Compton 2015-04-20 18:43:22 +1200
  • f433deebb3 Update kibit version to 0.1.0 in README Daniel Compton 2015-04-20 14:45:41 +1200
  • 03997ac15a Merge pull request #129 Daniel Compton 2015-04-20 14:22:42 +1200
  • dfa76324f7 Update collections.clj Janos Erdos 2015-02-26 23:55:59 +0100
  • c6a5cfe7be Merge pull request #121 from jayp/master Daniel Compton 2015-04-20 13:52:23 +1200
  • 06f1de9937 Add lein-auto instructions Daniel Compton 2015-04-20 13:37:36 +1200
  • 95bd6a8b98 Update core.logic to 0.8.10 Daniel Compton 2015-04-20 13:15:46 +1200
  • 745bba80e1 Update README.md Anton Podviaznikov 2014-12-15 12:30:51 -0800
  • 556981ce94 Handle directories passed on command line Daniel Compton 2014-11-24 14:57:10 +1300
  • 10ee6bd63c Add tests for class symbols Daniel Compton 2014-11-12 09:38:24 +1300
  • 34e19e7b2a Upgrade core.logic dependency to 0.8.9 Daniel Compton 2014-11-24 12:05:50 +1300
  • 5366ed58d9 Merge pull request #130 from jonase/update-core-logic Daniel Compton 2015-04-20 13:20:32 +1200
  • a607604a86 Update core.logic to 0.8.10 Daniel Compton 2015-04-20 13:15:46 +1200
  • 93f46582b3 Bug fix: wrong simplifications of (assoc ... (assoc ... Lukasz Kozuchowski 2015-04-11 12:47:07 +0200
  • c969207892 Added rules for true? and false? Jay A. Patel 2014-12-19 19:05:48 -0800
  • 5977fef261 Merge pull request #120 from podviaznikov/patch-1 Daniel Compton 2014-12-15 21:32:27 +0100
  • cb03e4adea Update README.md Anton Podviaznikov 2014-12-15 12:30:51 -0800
  • 1f0c5b0fa1 Document :cljsbuild and :cljx source-paths Daniel Compton 2014-11-26 08:50:20 +1300
  • 1bdd691f14 Expand the folder/file argument examples Daniel Compton 2014-11-26 08:35:51 +1300
  • 5f85a32955 Handle directories passed on command line Daniel Compton 2014-11-24 14:57:10 +1300
  • b76a1f4965 Add tests for class symbols Daniel Compton 2014-11-12 09:38:24 +1300
  • 804e8bccf2 Update docs for 0.1.0 Daniel Compton 2014-11-25 15:10:57 +1300
  • 3c85edec18 Merge pull request #105 from jonase/upgrade-deps Daniel Compton 2014-11-25 14:46:39 +1300
  • 2220f694f1 Upgrade core.logic dependency to 0.8.9 Daniel Compton 2014-11-24 12:05:50 +1300
  • 575b64a599 Merge pull request #106 from thomasmulvaney/fix-java-tests Daniel Compton 2014-11-24 12:05:08 +1300
  • 99d0d81009 Merge pull request #109 from jonase/exit-code Daniel Compton 2014-11-24 11:30:25 +1300
  • f2afaf3226 Return all suggestions when calling driver/run Daniel Compton 2014-11-22 12:11:17 +1300
  • a91c9411e7 Add docs on using custom reporters Daniel Compton 2014-11-24 10:29:12 +1300
  • e798bcd4d2 Merge pull request #108 from jonase/spelling Daniel Compton 2014-11-24 08:05:34 +1300
  • e858d059a5 Clean up spelling and unused import Daniel Compton 2014-11-22 20:57:41 +1300
  • 5f5b34759d Merge branch 'javalangmath-fns' Daniel Compton 2014-11-12 09:57:03 +1300
  • 087a6753a1 Remove Math/pow rules until we can add metadata Daniel Compton 2014-11-12 09:53:49 +1300
  • 5f442bc393 added java.lang.Math-functions pow, hypot, round, expm1 and trivial identities Linus Ericsson 2013-09-11 18:15:09 +0200
  • e6ea25ec49 Add clean and compile steps in Travis CI Daniel Compton 2014-11-11 01:04:07 +1300
  • af4f1d541d Eval to make java based tests pass Thomas Mulvaney 2014-11-09 02:41:03 +1100
  • cc6b4dd509 Merge pull request #95 from thomasmulvaney/missing-neg-case Daniel Compton 2014-11-08 22:14:46 +1300
  • 59ddd05499 Update README with spelling and syntax Daniel Compton 2014-11-08 21:53:08 +1300
  • a645c112fe Merge pull request #104 from jonase/add-build-matrix Daniel Compton 2014-11-08 21:29:07 +1300
  • edc1840125 Add JDK build matrix Daniel Compton 2014-11-08 21:27:41 +1300
  • 3760b33933 Merge pull request #101 from danielcompton/add-travis Daniel Compton 2014-11-08 20:59:00 +1300
  • f5930c2658 Merge pull request #102 from danielcompton/add-clojurescript Daniel Compton 2014-11-08 20:56:17 +1300
  • 514c5871cc Add clojurescript, cljx, e.t.c. support Daniel Compton 2014-09-24 22:48:38 +1200
  • 64d319a839 Add Travis CI and README image Daniel Compton 2014-09-24 22:50:17 +1200
  • 4f41372520 Merge pull request #99 from danielcompton/fix-41 Jonas Enlund 2014-09-11 07:54:58 +0200
  • c94caefbe6 Add double-negative rule Daniel Compton 2014-09-11 17:23:22 +1200
  • d7c9785b5e Merge pull request #97 from maacl/master Jonas Enlund 2014-07-23 14:43:36 +0300
  • ac07e8d4f4 Update collections.clj Martin Clausen 2014-07-22 23:15:21 +0200
  • 39365cf7e4 Update collections.clj Martin Clausen 2014-07-22 23:14:03 +0200
  • f8a67a390d Added missing negative case Thomas Mulvaney 2014-06-26 14:33:44 +0200
  • 318820521a Merge pull request #94 from jennifersmith/fix_equality_test Jonas Enlund 2014-05-03 14:08:31 +0300
  • 681a86d641 Fixes the equality tests which were suggesting a pos? replacement for <= x 1 . This rule was removed in ab491e3 as it didn't work for float comparison. Jennifer Smith 2014-05-03 19:52:03 +1000
  • 9ce9f80661 Merge pull request #81 from borkdude/master Jonas Enlund 2014-05-01 16:44:08 +0300
  • 71d490f7ff Merge pull request #93 from carlhoerberg/patch-1 Jonas Enlund 2014-05-01 16:43:01 +0300
  • 3c85082a6e Merge pull request #91 from TAllen/master Jonas Enlund 2014-05-01 16:42:37 +0300
  • 7f32703f3f Clojure 1.6.0 Carl Hörberg 2014-05-01 09:03:31 +0800
  • 8b5c63365c Fixed a place that kibit had a better suggestion for. TAllen 2014-04-04 02:38:00 -0700
  • 16c230d5df Implemented issue #90 (if ?x ?x ?y) -> (or ?x ?y) TAllen 2014-04-04 01:45:25 -0700
  • 821698651d Merge pull request #87 from danielribeiro/master Jonas Enlund 2013-11-06 02:07:54 -0800
  • f0b184611b now with clojure syntax color Daniel Ribeiro 2013-11-05 22:52:15 -0800
  • be474ba61d Merge pull request #86 from clumsyjedi/master Jonas Enlund 2013-09-25 08:56:33 -0700
  • 64ca92ba6e expect source-paths, not project from the caller Fraz 2013-09-25 15:55:16 +0100
  • 983fb5fc92 link to slides on the rule system Jonas Enlund 2013-04-18 21:28:13 +0300
  • c6c6a9f971 Added rule to match if-not/do -> when-not Michiel Borkent 2013-03-17 15:27:04 +0100
  • 3d0c2077ae Merge pull request #79 from ragnard/kibit-it Jonas Enlund 2013-03-14 05:34:41 -0700
  • 402fcd08e6 Fix invalid require in ns form Ragnar Dahlén 2013-03-10 00:11:16 +0000
  • af32ba6ced add .lein-repl-history and .lein-env to .gitignore Jonas Enlund 2013-03-11 10:33:13 +0200