Skip to content
GitLab
Explore
Sign in
Jim Newton
clojure-rte
Repository
Branches
Overview
Active
Stale
All
clj-kondo-issue-1054
fb86a5c8
·
re-enabling important lazy sequence
·
Oct 30, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
eager-to-lazy
b2047947
·
white space
·
Oct 30, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
genus-spec
d294b0aa
·
initial implementation of typecase
·
Dec 11, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dnf-cnf
ffcc826e
·
Manually merging changes from testable-simplifiers branch
·
Jul 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
testable-simplifiers
f8640fc9
·
simplified -canonicalize-type 'member
·
Jul 09, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refactor-canonicalize-pattern
6a3422b4
·
was running far too many nullability tests
·
Jul 23, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
clj-kondo-issue-1334
68cb51c3
·
debugging macro usage
·
Jul 27, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
clj-kondo-issue-1336
81761b3d
·
preparing test case
·
Jul 27, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
clj-kondo-experimental
ade06854
·
reverting changes intended to push backtick compatibility to maintainer
·
Aug 02, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lazy-map
3ce36a87
·
diagnostic message
·
Aug 18, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
factorized-mdtd
6727f4f0
·
keep track by-construction of factors and disjoint types when computing mdtd and derivative
·
Aug 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
maybe-inhabited
0df0df26
·
update dfa-equivalent? and dfa-vacuous? to support dont-know
·
Sep 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
thompson
f3495550
·
debugging tests
·
Feb 27, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next