Opened 17 years ago

Last modified 11 years ago

#3 new task

Improve code quality: address J2SE best practices in TPTP analysis

Reported by: David Aspinall Owned by: somebody
Priority: major Milestone:
Component: 1:pg-eclipse Keywords:
Cc:

Description


Change History (5)

comment:1 Changed 17 years ago by David Aspinall <da+pgtrac@…>

See:

​http://www.eclipse.org/tptp/ ​http://www.eclipse.org/tptp/home/downloads/

As well as a static analysis tool, TPTP includes profiling tools which we should use to investigate where performance improvements are needed.

comment:2 Changed 17 years ago by David Aspinall

Milestone: → Future

comment:3 Changed 17 years ago by David Aspinall

Reporter: changed from anonymous to David Aspinall

comment:4 Changed 17 years ago by David Aspinall

Milestone: Future → Every

comment:5 Changed 11 years ago by David Aspinall

Milestone: Every

Milestone Every deleted

Note: See TracTickets for help on using tickets.