Commits · master · Jim Newton / clojure-rte

17 Feb, 2021 1 commit
- turn verbose off in test · f8bea3c3
  Jim Newton authored Feb 17, 2021
  
  f8bea3c3
01 Feb, 2021 1 commit
- added test case · b5582ef1
  Jim Newton authored Feb 01, 2021
  
  b5582ef1
14 Dec, 2020 3 commits
- removed profiuling test · 9ad92d2d
  Jim Newton authored Dec 14, 2020
  
  9ad92d2d
- removed unnecessary dependence · b7280743
  Jim Newton authored Dec 14, 2020
  
  b7280743
- more optimizing of typecase macro · 04a04cda
  Jim Newton authored Dec 14, 2020
  
  04a04cda
12 Dec, 2020 2 commits
- improve error handling of satisfies type designator · 88e2d6e2
  Jim Newton authored Dec 12, 2020
  
  88e2d6e2
- optimizing typecase expansion · d8539b2a
  Jim Newton authored Dec 12, 2020
  
  d8539b2a
11 Dec, 2020 3 commits
- updated documentation · be8a10a2
  Jim Newton authored Dec 11, 2020
  
  be8a10a2
- Merge branch 'genus-spec' · 23ecd7fb
  Jim Newton authored Dec 11, 2020
  
  23ecd7fb
- initial implementation of typecase · d294b0aa
  Jim Newton authored Dec 11, 2020
  
  d294b0aa
20 Nov, 2020 6 commits
- fixed backward logic in -subtype? 'or · 2f649fe8
  Jim Newton authored Nov 20, 2020
  
  2f649fe8
- Merge branch 'genus-spec' · a39cf87e
  Jim Newton authored Nov 20, 2020
  
  a39cf87e
- added case for -disjoint? 'or · 4c97d3e6
  Jim Newton authored Nov 20, 2020
  
  4c97d3e6
- missing 3rd argument of subtype? · 89f28481
  Jim Newton authored Nov 20, 2020
  
  89f28481
- added test · a97cff3a
  Jim Newton authored Nov 20, 2020
  
  a97cff3a
- white space · 52cabfff
  Jim Newton authored Nov 20, 2020
  
  52cabfff
16 Nov, 2020 2 commits
- reordered definitions to move methods of the same name closer together in file · f219fcc2
  Jim Newton authored Nov 16, 2020
  
  f219fcc2
- added -subtype? method for 'or · 037b0c5d
  Jim Newton authored Nov 16, 2020
  
  037b0c5d
13 Nov, 2020 20 commits
- Merge branch 'genus-spec' · 7ee3dc8c
  Jim Newton authored Nov 13, 2020
  
  7ee3dc8c
- white space · 1a1dae44
  Jim Newton authored Nov 13, 2020
  
  1a1dae44
- refactored for readability using (template ...) · f5957cbe
  Jim Newton authored Nov 13, 2020
  
  f5957cbe
- combine (not (member ...)) with (not (member ...)) inside and · eae5c062
  Jim Newton authored Nov 13, 2020
  
  eae5c062
- (not Object) is :empty-set · 4f036aef
  Jim Newton authored Nov 13, 2020
  
  4f036aef
- added gns prefix for clarity · 800b26bb
  Jim Newton authored Nov 13, 2020
  
  800b26bb
- fixed wrong test · 5460940b
  Jim Newton authored Nov 13, 2020
  
  5460940b
- added tests · 2edea051
  Jim Newton authored Nov 13, 2020
  
  2edea051
- changed diagnostic message · 3b6212f4
  Jim Newton authored Nov 13, 2020
  
  3b6212f4
- fixed infinite loop · d597d098
  Jim Newton authored Nov 12, 2020
  
  d597d098
- fixed wrong logic detected by random tests · b7207343
  Jim Newton authored Nov 12, 2020
  
  b7207343
- edited for readability · 8bc6582a
  Jim Newton authored Nov 12, 2020
  
  8bc6582a
- wrong transform, was missing (not ...), yikes · cf1f5693
  Jim Newton authored Nov 12, 2020
  
  cf1f5693
- white space · 7932492f
  Jim Newton authored Nov 12, 2020
  
  7932492f
- added missing require · 43db9ae2
  Jim Newton authored Nov 12, 2020
  
  43db9ae2
- refactored -inhabited? 'member · 5d73e98a
  Jim Newton authored Nov 12, 2020
  
  5d73e98a
- added randomization test for types · 4ab92bc4
  Jim Newton authored Nov 12, 2020
  
  4ab92bc4
- refactored test for clarity · 657cf6df
  Jim Newton authored Nov 12, 2020
  
  657cf6df
- added function gen-type · 49abae5c
  Jim Newton authored Nov 12, 2020
```
amend 03a114347535b393e6a4fe0be04f4e57e44954f7
```
  49abae5c
- changed dispatch values from keyword to simple symbol · 8d0d8790
  Jim Newton authored Nov 12, 2020
```
amend 4240af54805ab3ddc221c598c502a84da745e131

amend 4240af54805ab3ddc221c598c502a84da745e131
```
  8d0d8790
12 Nov, 2020 2 commits
- added missing -inhabited methods for :sigma and :empty-set · ff0f95a0
  Jim Newton authored Nov 12, 2020
  
  ff0f95a0
- better canonicalization of (member ...) · 8f83afbb
  Jim Newton authored Nov 12, 2020
```
to remove duplicate elements
```
  8f83afbb