2020-10-04 | mudathirmahgoub | Remove subtyping for sets theory (#5179) | blob | commitdiff | raw |
2020-09-22 | Mathias Preiner | Update copyright header script to support CMake and... | blob | commitdiff | raw | diff to current |
2020-07-14 | Andres Noetzli | Use TypeNode in EmptySet (#4740) | blob | commitdiff | raw | diff to current |
2020-06-16 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2020-03-03 | mudathirmahgoub | Refactoring and cleaning the type enumerator for sets... | blob | commitdiff | raw | diff to current |