2 Commits (be53cebcd3ec3366e30f520bfaa35991274fc390)

Author SHA1 Message Date
Christophe Riccio 083782185e Added openBounded and closeBounded ago%!(EXTRA string=8 years)
Christophe Riccio de28722e36 Added EXT_vector_relational: extend equal and notEqual to take an epsilon argument ago%!(EXTRA string=8 years)