Author Statistics for gback

Back to Index Page

Author Details

Login: gback
Fullname: gback
Revisions: 7
Lines of Code: 70
Added Lines of Code: 87
Lines of Code per Change: 10.0

Author of the Month

  • December 2003

Lines Of Code (per Author)

Lines Of Code for gback (per module)

Activity

Commit Log

DateAuthorFile/Message
12/11/03 1:43 PMgback
don't complain when doing satCount() on a typed bdd that's zero. (1 Files changed, 2 Lines changed)
org/sf/javabdd/TypedBDDFactory.java 1.12 (+2 -2)
11/18/03 11:42 PMgback
added method getVarIndices() (1 Files changed, 45 Lines changed)
org/sf/javabdd/BDDDomain.java 1.14 (+45 -2)
11/13/03 5:51 PMgback
fixed documentation for scanSet() - like bdd_scanset, it returns BDD var indices. (1 Files changed, 4 Lines changed)
org/sf/javabdd/BDD.java 1.26 (+4 -4)
11/10/03 7:38 PMgback
fixed comment (1 Files changed, 6 Lines changed)
org/sf/javabdd/BDD.java 1.24 (+6 -5)
11/10/03 3:24 PMgback
added reference to extDomain() (1 Files changed, 5 Lines changed)
org/sf/javabdd/BDDDomain.java 1.13 (+5 -1)
11/10/03 3:08 PMgback
added javadoc comments on variable set BDDs (2 Files changed, 25 Lines changed)
org/sf/javabdd/BDDDomain.java 1.12 (+5 -1)
org/sf/javabdd/BDD.java 1.23 (+20 -2)