Merge Multiplicative - Githubissues

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 17 forks source link

Closed cyphertjohn closed 1 year ago

cyphertjohn commented 1 year ago

Contains at least the following

Removes OCRS
Adds F4 interface
Adds refinement
Adds number field operations
Adds finding algebraic relations of solvable polynomial maps
Adds interface and functionality for polynomials over a field, which forms a Euclidean domain. I.e. gcd, square free factor, etc.