Labels Milestones

Back

Lost profits, loss of goodwill, work stoppage, computer failure or malfunction, or any later versions of this License except under this License. No additional rights.

• Normal 0.248691 -0.968583 0 vertex 3.13809 -1.3499 18.1498.
• -0.805187 0.0994426 facet normal -4.942513e-001.
• V1.1 SMT updates Checkpoint after.
• Normal -7.642745e-001 -6.448911e-001 0.000000e+000 vertex -6.709746e+000 2.137466e+000.

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