Labels Milestones

Back

2.497929e-01 -9.682993e-01 0.000000e+00 vertex -9.019160e+01 9.890139e+01 2.655000e+01 facet normal 9.407388e-01 -3.391319e-01 -3.084939e-04 facet normal -0.115745 -0.000168718 -0.993279 vertex -4.80907 0.598972 21.7653 vertex.

• Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.
• Normal 0.063536 0.807242 0.586791.

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