User Activity

  • Committed [r8763]

    Fixed minor bug in use of CTXT (instead of CTXT...

  • Committed [r8762]

    Changes to implement parameterized modules.

  • Committed [r8761]

    Changes to implement parameterized modules.

  • Committed [r8760]

    Changes to implement parameterized modules.

  • Committed [r8752]

    Changed write_component_intensional_1 from usin...

  • Committed [r8751]

    Fixed bug I introduced by including hasAttr_ext...

  • Committed [r8750]

    Added include and typedef conditioned on 64bit ...

  • Committed [r8736]

    Fixed buglet in read_atom_to_term (and friend) ...

View All

Personal Data

Username:
dwarren
Joined:
2000-02-11 22:00:27

Projects

  • Project Logo XSB   Last Updated:

Skills

  • No skills entered.

Personal Tools

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks