Skip to content
GitLab
Explore
Sign in
Jim Newton
clojure-rte
Tags
Tags give the ability to mark specific points in history as being important
tests-pass-87e7a443
87e7a443
·
optimization in mdtd
·
Aug 22, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tests-pass-dbf413c42e0b6
dbf413c4
·
changed method for finding two unequal types
·
Oct 11, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tests-pass-0aafeebdcf1
0aafeebd
·
removed diagnostic message
·
Oct 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tests-pass-0df0df26d1
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
tests-pass-6727f4f076e11
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
tests-pass-9e95bdcedeab09
9e95bdce
·
refactored disjoint check for readabilty
·
Aug 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tests-pass-bec08aab9519f
bec08aab
·
corrected code checking disjointness in wrong order, and too complicated
·
Aug 18, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tests-pass-4792c59cc03fad8
4792c59c
·
test case stack overflow
·
Aug 18, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
patch
707c1c6d
·
trying to avoid Java out of heap during testing
·
Oct 15, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tests-pass-1126a85b16dcf
1126a85b
·
removing what appears to be invalid disjoint check
·
Aug 11, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tests-pass-99dd2e033
99dd2e03
·
extended inhabited? 'and to compute in presence of interface
·
Aug 10, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test-pass-a08f4ae2d054
a08f4ae2
·
added profiler dependency
·
Aug 09, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test-pass-17d498b12
17d498b1
·
removed unused argument
·
Aug 04, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tests-pass-6a3422b4c
6a3422b4
·
was running far too many nullability tests
·
Jul 23, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
3-failures-965de42d8
965de42d
·
fixed broken test
·
Jul 22, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tests-pass-6b548cab5
6b548cab
·
added :and method for -inhabited?, and default argument to call to inhabited?
·
Oct 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tests-pass-fa28b59b
fa28b59b
·
added verbosity to test which take long to run
·
Oct 06, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar