tools: Stop divine compile if external command is interrupted (fix #232).

Vladimir StillFri Aug 9 16:46:08 UTC 2013

instances: Add missing compact instance file.

Vladimir StillWed Aug 7 09:37:04 UTC 2013

compact: Add compact algorithm & generator.

New algorithm for generating explicit state space representation from implicit one. Structure of resulting files is defined in divine/compact/compact.h, notably divine::compact::Header is fixed header that must be present in files. Generated files are dependent on endianity of system they were generated and should be used on same endianiny only. However it should be possible to use files generated by 64 bit version of DiVinE in 32 bit version (and vice versa) 32 bit version is limited by address space it can use. Compact files contain forward and backward edges and data of nodes. Edges and nodes are represented as array with variable sized items, initals are stored under index 0 (identical initials are stored for both forward and backward edges). Compact file can also stored labels if they are encoded in uint64_t type.

Compact generator is also present, however currently mostly for testing of algorithm itself.

Vladimir StillMon Aug 5 21:42:43 UTC 2013

instantiate: Allow instatiation of Compact.

Vladimir StillMon Aug 5 16:09:37 UTC 2013

cmake: Add option to enable compact.

Vladimir StillMon Aug 5 16:09:02 UTC 2013

instantiate: Refactoring.

Vladimir StillSun Aug 4 11:04:23 UTC 2013

tools: Add compact command.

Vladimir StillThu Aug 1 15:09:41 UTC 2013

CoIn: Fix compile errors.

mornfallTue Aug 6 20:47:11 UTC 2013

manual: Fix a typo in llvm.mdwn.

mornfallMon Aug 5 13:40:53 UTC 2013

test: Use a more customary escaping for non-option hyphen (--).

mornfallMon Aug 5 13:39:53 UTC 2013

test: Use the DVE-specific framework for commit tests.

mornfallMon Aug 5 13:39:48 UTC 2013

test: Use the DVE-specific framework for various channel tests.

mornfallMon Aug 5 12:46:36 UTC 2013

test: Add some infrastructure for DVE-specific tests.

mornfallMon Aug 5 12:43:55 UTC 2013

test: Add a small CoIn model.

mornfallMon Aug 5 12:43:54 UTC 2013

cmake: Actually add -DO_COIN to flags when COIN is enabled.

mornfallMon Aug 5 11:58:12 UTC 2013

toolkit: Avoid a member constant in BlobComparerLT.

mornfallMon Aug 5 11:37:33 UTC 2013

NIX: Require redhat-rpm-config in Fedora builds.

mornfallFri Aug 2 13:02:19 UTC 2013

test: Make sure MPI tests will run in MPI mode.

Vladimir StillSat Jul 27 21:55:26 UTC 2013

tools: Add --mpi option, create Mpi instance after parsing commandline options.

Vladimir StillSat Jul 27 21:27:39 UTC 2013

mpi: Call MPI::init only if OpenMPI detected or MPI explicitly enabled.

Vladimir StillSat Jul 27 21:26:36 UTC 2013

NIX: Respect pkgbuildflags in RPM builds.

mornfallSat Jul 27 16:25:00 UTC 2013

NIX: 32b Fedora VMs can only have 2G of RAM.

mornfallSat Jul 27 16:24:20 UTC 2013

wibble: Make ParseContext copyable.

mornfallSat Jul 27 08:06:52 UTC 2013

NIX: Fix generation of WinPE images.

mornfallSat Jul 27 05:22:11 UTC 2013

NIX: Copy startSamba to windows_build.nix (gone upstream).

mornfallSat Jul 27 05:19:47 UTC 2013

libsupc++: Use pdclib definitions of size_t/ptrdiff_t.

mornfallSat Jul 27 05:17:32 UTC 2013

pdclib: Fix definitions of size_t/ptrdiff_t w/ 32b clang.

mornfallSat Jul 27 05:16:23 UTC 2013

LLVM: Add a test for self-referential global initialiser.

mornfallFri Jul 26 10:47:51 UTC 2013

NIX: Rename builds for better consistency.

mornfallFri Jul 26 10:15:33 UTC 2013

cmake: Make COMPACT_CELL on by default.

mornfallFri Jul 26 10:15:20 UTC 2013