Repository navigation

equality and hash for terms and schemas - #241

Open

kleinschmidt wants to merge 15 commits into

dfk/equals-hash

Open

equality and hash for terms and schemas#241
kleinschmidt wants to merge 15 commits into
masterfrom
dfk/equals-hash

Commits on Mar 9, 2020
- Overload == and isequal to check schema equality
  amCap1712
  committed
  0a6d78d
Commits on Mar 11, 2020
- Remove unneccessary changes.
  amCap1712
  committed
  1ca55c0
Commits on Mar 16, 2020
- Consistent formatting style and add more tests.
  amCap1712
  committed
  e6f8b87
- Update src/terms.jl
  
  mrrobot-2000
  and
  kleinschmidt
  authored
  2f03a7c
- Add more tests.
  amCap1712
  committed
  ef367d7
- Fix broken tests.
  amCap1712
  committed
  993829b
Commits on Mar 31, 2020
- Fix broken tests.
  amCap1712
  committed
  ee16796
Commits on Sep 21, 2021
- remove isequal methods (default fallback uses ==)
  kleinschmidt
  committed
  fcf551d
- hash schema and test
  kleinschmidt
  committed
  6850ecf
- hash terms and add a few tests
  kleinschmidt
  committed
  b62009e
- test equality of function terms
  kleinschmidt
  committed
  68b240a
- Merge remote-tracking branch 'origin/master' into dfk/equals-hash
  kleinschmidt
  committed
  5a932c4
- one more test, 1.0 struggles with foldr and generators apparently
  kleinschmidt
  committed
  63e7ff4
- define generic fallback for == of AbstractTerms
  kleinschmidt
  committed
  08a6278
- whoops
  kleinschmidt
  committed
  63860c6