Skip to main content

Browse the archive

Revision f1804669d7d5423aae68bf3189b40693f38ce214 authored by Oskar Goldhahn on 15 March 2022, 16:24:16 UTC, committed by Pierre-Yves Strub on 14 December 2022, 09:48:07 UTC 
operator to get maximal element in list
 
use predicates

formatting and replacing abstract theory with section

disambiguate max operator

patch smt failure
1 parent 9656af6
History
File Mode Size
tests.config -rw-r--r-- 326 bytes
back to top