Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltlast
formula.hh
Find file
Blame
History
Permalink
formula: speedup == and !=
· 3ad002be
Alexandre Duret-Lutz
authored
Sep 27, 2015
Allow < and > to work with nullptr as well. * src/ltlast/formula.hh: Here.
3ad002be