← Back to team overview

fiat team mailing list archive

Thread
Date

modified make_lattice* functions to take an additional [...]

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Wed, 01 Jun 2005 17:31:24 +0200
Sender: "Robert C. Kirby" <kirby@xxxxxxxxxx>

Commit from kirby (2005-06-01 17:31 CEST)
-----------------

modified make_lattice* functions to take an additional
argument "interior" that determines whether to include
points on the boundary or omit them.

  fiat  FIAT/shapes_new.py  1.4