spl-tools Testing repository 3 changes

New commit

lacinam — Mon, 28 Jan 2013 15:06:11 -0000

Updated repository URL and set spl-brief.ini values.
View Changes

New commit

lacinam — Mon, 28 Jan 2013 14:43:25 -0000

Renamed XML configuratoin file to spl-config.xml, added spl-brief.ini for minimalistic execution, removed obsolete scan.bat for invoking Scanner.
View Changes

New commit

lacinam — Thu, 03 Jan 2013 22:49:31 -0000

Changes necessary to allow execution in Eclipse (works with Eclipse plug-in build 0.3.1.b20130103_02).
View Changes

New commit

lacinam — Thu, 03 Jan 2013 19:20:42 -0000

Updated SPLconfig.xml.
View Changes

New commit

lacinam — Wed, 14 Nov 2012 11:29:42 -0000

Minor changes to add some warnings to parser and confusement to builder. Updated SPLconfig.xml to "new" repository and revision implementation (revisions in repository).
View Changes

New commit

lacinam — Thu, 25 Oct 2012 10:24:41 -0000

SPLconfig is stanalone. Added empty annotation.
View Changes

New commit

lacinam — Tue, 23 Oct 2012 08:58:45 -0000

Fixed NumberVariablesGenerator makeOne implementation and fixed its usage in formula.
View Changes

New commit

lacinam — Sun, 21 Oct 2012 20:58:31 -0000

Updated bad formula referencies and modified SPLconfig.xml with two globally defined generators (identities over integer variables and "magical configuration" (this requires absolute paths to other repositories, just for reference).
View Changes

New commit

danij7am — Wed, 19 Sep 2012 16:45:45 -0000

dependency change
View Changes

New commit

danij7am — Sat, 04 Aug 2012 17:38:45 -0000

An example of running the scanner on this project
View Changes