]> gitweb.factorcode.org Git - factor.git/history - extra/lint/lint.factor
core: subseq-index? -> subseq-of?
[factor.git] / extra / lint / lint.factor
2022-08-17 Doug Colemancore: subseq-index? -> subseq-of?
2022-08-08 Doug Colemanlint: fix using
2022-08-08 Doug Colemanextra: use push-at-each
2022-07-31 Doug Colemansequences: rename subsequence? words to subseq? again.
2022-07-31 Doug Colemancore: find-subseq -> subsequence-starts, find-subseq...
2022-07-31 Doug Colemanfactor: use new words
2022-01-20 Doug Colemanfactor: trim more using lists.
2021-03-20 John Benediktssoncore/basis/extras: use zip-with in a few places.
2019-01-03 Alexander Iljinlint: add suggestion to replace "-roll -roll" with...
2018-06-20 Doug Colemancore: Add the shuffler words but without primitives.
2017-06-02 Doug Colemancore: Rename iota to <iota> so we can have TUPLE: iota...
2017-01-21 John BenediktssonRevert "sequences: swap stack arguments for start/start...
2017-01-21 John Benediktssonsequences: swap stack arguments for start/start*/subseq?.
2015-06-08 Doug Colemancore/basis: Rename words dealing with vocabs to loaded...
2015-05-13 John Benediktssonuse reject instead of [ ... not ] filter.
2014-06-04 John Benediktssonlint: some more trivial-defs.
2012-08-06 otoburbextra/lint: Removed dup -rot -> tuck entry from manual...
2012-07-20 Doug Colemanlint: remove make-assoc
2011-11-07 Doug Colemanlint: Add a word to find redundant word props like...
2011-10-26 Doug ColemanAdd a lint check for swap .. swap that can be replaced...
2011-10-17 John Benediktssonlint: enable checks for quotations of length 2, and...
2011-10-17 John Benediktssonlint: fix unit tests.
2011-10-17 John Benediktssonlint: filter a bit better.
2011-10-16 John Benediktssonlint: cleanup, deep compare, print clickable words.
2011-10-14 John BenediktssonCleanup more lint warnings.
2011-10-14 John BenediktssonCleanup lint warnings.
2011-10-14 Doug ColemanDon't report aliases as having a duplicate word definit...
2011-10-14 Doug ColemanRevive the lint tool
2009-05-04 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-05-04 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-04-28 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-04-27 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-04-26 Bruno DeferrariMerge branch 'master' into irc
2009-04-24 Slava Pestovhelp.cookbook: fix conflict
2009-04-24 Slava PestovMerge branch 'master' of git://projects.elasticdog...
2009-04-24 Doug ColemanMerge branch 'master' into directory-searching
2009-04-22 Nicholas SeckarMerge branch 'master' of git@github.com:seckar/factor...
2009-04-22 Nicholas SeckarMerge branch 'master' of git://factorcode.org/git/facto...
2009-04-22 Maxim SavchenkoMerge branch 'master' of git://factorcode.org/git/facto...
2009-04-22 Slava PestovMove lint to unmaintained
2009-02-28 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-02-28 Slava PestovMerge branch 'for-slava' of git://git.rfc1149.net/factor
2009-02-27 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-02-25 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/facto...
2009-02-25 Alex ChapmanMerge branch 'master' into experimental
2009-02-24 Slava PestovFixing conflicts from stack checker changes
2009-02-24 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-02-24 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-02-24 Slava PestovUpdating code to use CONSTANT: instead of : foo 123...
2009-02-03 Alex ChapmanMerge branch 'master' into experimental
2009-02-02 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-02-02 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-02-02 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2009-02-01 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-02-01 Slava PestovMerge branch 'master' into new_ui
2009-02-01 Slava PestovFix lint
2009-01-31 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-01-31 Slava PestovMerge branch 'master' into new_ui
2009-01-31 Slava PestovUpdate lint for Dan's html vocab change
2009-01-31 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Slava PestovMerge branch 'emacs' of http://git.hacks-galore.org...
2009-01-30 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Jose A. Ortega RuizMerge commit 'origin/master' into emacs
2009-01-30 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Jeff BigotMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Alex ChapmanMerge branch 'master' into experimental
2009-01-30 Alex ChapmanMerge branch 'master' into experimental
2009-01-30 Slava PestovFix conflict
2009-01-30 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-01-30 Doug Colemanrenaming: contain? -> any?, deep-contains? -> deep...
2009-01-28 Alex ChapmanMerge branch 'master' into experimental (untested!)
2008-12-21 Jose A. Ortega RuizMerge commit 'origin/master'
2008-12-19 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2008-12-18 Jose A. Ortega RuizConflict resolution
2008-12-18 Slava PestovFix conflict
2008-12-18 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-12-18 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2008-12-18 Slava PestovMerge branch 'master' into new_ui
2008-12-18 Slava PestovUpdate remaining >r/r> usages
2008-12-12 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-12-09 Slava PestovFix conflict
2008-12-09 Slava PestovMerge branch 'untangle'
2008-12-09 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-12-09 Eduardo CavazosMerge branch 'master' of http://factorcode.org/git...
2008-12-09 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-12-08 U-C4\AdministratorMerge branch 'master' of git://repo.or.cz/factor/jcg
2008-12-08 Slava PestovFix locals conflict
2008-12-08 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2008-12-08 Doug ColemanMerge branch 'master' of git://repo.or.cz/factor/jcg
2008-12-08 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-12-08 Slava PestovMerge branch 'master' of git://factorforge.org/git...
2008-12-07 Doug Colemanremove some trivial definitions from lint
2008-12-07 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2008-12-07 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-12-07 Doug Colemanremove bogus equality
2008-12-07 Doug Colemanmove lint from unmaintained to extra
2008-04-28 Alex ChapmanMerge branch 'graphs' into experimental
2008-04-24 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-04-23 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
next