Skip to content
Snippets Groups Projects
Praetorius, Simon's avatar
Praetorius, Simon authored
added some missing operators and a test for all operators

See merge request spraetor/dune-amdis!67
8d9e4082
History
Name Last commit Last update