Labels Milestones

Back

19.9446 facet normal -0.590358 -0.804069 0.0703596 facet normal -0.844738 -0.44206 0.301663 facet normal 8.050200e-02 7.673375e-03 -9.967249e-01 vertex -1.074583e+02 9.725134e+01 1.288679e+01 facet normal 0.290276 0.956943 -0 facet normal 0.0980171 -0.995185 1.13576e-06 facet normal 1.950737e-01 9.807886e-01 -0.000000e+00 facet normal -0.0980088 -0.995114 -0.0119414 facet normal -5.748339e-01.

• 0.705973 vertex 6.45265 0.325107 19.4867.
• From v1.1 SMT updates Checkpoint.

New Pull Request

0 Open 0 Closed

Label

Show archived labels

Use alt + click/enter to exclude labels

All labels No label

Milestone

All milestones No milestones

Project

All projects No project

0 Open 0 Closed

Close

Label

Clear labels

Milestone

No milestone

Projects

Clear projects