Commit History

Author SHA1 Message Date
  Stefano Cossu e8ab4e9767 Some adjustments: 1 year ago
  Stefano Cossu f76189d122 Assign correct term sub-types. 1 year ago
  Stefano Cossu 70116fad13 Fix segfaults when parsing python term arguments. 1 year ago
  Stefano Cossu 6fff98fdaf Almost fix Python build and many other fixes. 1 year ago
  Stefano Cossu b7c3aad35e Update Python modules; improve build script; fix bugs. 3 years ago
  Stefano Cossu 97a0c1442c Term reform: 3 years ago
  Stefano Cossu 979cb4f408 Subclass terms. 3 years ago
  Stefano Cossu 8555a45d3d Basic Python tests. 3 years ago
  Stefano Cossu 4551b041d5 Refactor term API: 3 years ago
  Stefano Cossu e92f9e7363 Fix triple generator. 3 years ago
  Stefano Cossu ea8a0b6725 Hash term and triple. 3 years ago
  Stefano Cossu e08da1a836 Rearrange python module sources. 3 years ago