Open-Source Projects

The new release contains the following changes:

• Basic support for MMU-directed test program generation was implemented
• Some bug fixes and general improvements were made

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

The new release contains the following changes:

• New BitVector methods: setAll, isAllSet and isAllReset

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

The new release contains the following changes:

• Some bug fixes and general improvements were made

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

The new release contains the following changes:

• Some bug fixes and general improvements were made

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

The new release contains the following changes:

• Methods getBigIntegerMask, getField and setField were added in BitUtils
• Method nextBigIntegerField was added in Randomizer
• Methods maskInt and maskLong of BitUtils were renamed to getIntegerMask and getLongMask respectively

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

The new release contains the following changes:

• Some bug fixes and general improvements were made

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

The new release contains the following changes:

• Operations right shift (StandardOperation.BVASHR) and left shift (StandardOperation.BVLSHL) for LOGIC_INTEGER type are now supported in calculator

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

The new release contains the following changes:

• Support for self-checking test program generation was implemented (use the '--self-checks' option)
• Some bug fixes and general improvements were made

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

The new release contains the following changes:

• Method BitVector.resize that supports zero extension and sign extension was implemented
• More flexible expression printing facilities are available: visitor used in map-based expression printer can be overridden
• Some general code improvements were made

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

The new release contains the following changes:

• Several bug fixes and general improvements were made

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files