Commit Graph

5 Commits

Author SHA1 Message Date
Christophe Riccio
78879c675c Refactor headers 2018-08-05 15:22:49 +02:00
Christophe Riccio
e1d21258e7 Split headers to improve compilation time #670 2018-08-01 18:24:31 +02:00
Christophe Riccio
428a468d13 Sliced ext relational extensions 2018-08-01 12:10:27 +02:00
Christophe Riccio
de28722e36 Added EXT_vector_relational: extend equal and notEqual to take an epsilon argument 2017-08-20 21:38:33 +02:00
Christophe Riccio
2240849164 Improve API documentation 2017-08-17 17:36:40 +02:00