Tags
Tags give the ability to mark specific points in history as being important
tests-pass-6727f4f076e11
6727f4f0
·
keep track by-construction of factors and disjoint types when computing mdtd and derivative
·
Aug 19, 2021
tests-pass-9e95bdcedeab09
9e95bdce
·
refactored disjoint check for readabilty
·
Aug 19, 2021
tests-pass-bec08aab9519f
bec08aab
·
corrected code checking disjointness in wrong order, and too complicated
·
Aug 18, 2021
tests-pass-4792c59cc03fad8
4792c59c
·
test case stack overflow
·
Aug 18, 2021
patch
707c1c6d
·
trying to avoid Java out of heap during testing
·
Oct 15, 2020
tests-pass-1126a85b16dcf
1126a85b
·
removing what appears to be invalid disjoint check
·
Aug 11, 2021
tests-pass-99dd2e033
99dd2e03
·
extended inhabited? 'and to compute in presence of interface
·
Aug 10, 2021
test-pass-a08f4ae2d054
a08f4ae2
·
added profiler dependency
·
Aug 09, 2021
test-pass-17d498b12
17d498b1
·
removed unused argument
·
Aug 04, 2021
tests-pass-6a3422b4c
6a3422b4
·
was running far too many nullability tests
·
Jul 23, 2021
3-failures-965de42d8
965de42d
·
fixed broken test
·
Jul 22, 2021
tests-pass-6b548cab5
6b548cab
·
added :and method for -inhabited?, and default argument to call to inhabited?
·
Oct 27, 2020
tests-pass-fa28b59b
fa28b59b
·
added verbosity to test which take long to run
·
Oct 06, 2020
1
2