rakhimov / scram / 783

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
783	develop	Add Valgrind check for memory leaks on Travis-CI	push	30 Jan 2016 04:10AM UTC	rakhimov	travis-ci	pending completion   set done
781	develop	Add Valgrind check for memory leaks on Travis-CI	push	30 Jan 2016 03:49AM UTC	rakhimov	travis-ci	pending completion   set done
780	master	Correct the badge addresses in README.rst	push	28 Jan 2016 09:08AM UTC	rakhimov	travis-ci	pending completion   set done
779	0.11.0	Update the version number in code to 0.11.0 Manual and release checklist are updated as well.	push	28 Jan 2016 08:59AM UTC	rakhimov	travis-ci	pending completion   set done
778	develop	Update the version number in code to 0.11.0 Manual and release checklist are updated as well.	push	28 Jan 2016 08:21AM UTC	rakhimov	travis-ci	pending completion   set done
776	develop	Relax the strict application of cut-offs on ZBDD This is a trade-off for more flexible code; however, it can also be considered a deficiency for performance reasons. The final generation of products compensates the relaxed application.	push	28 Jan 2016 07:14AM UTC	rakhimov	travis-ci	pending completion   set done
775	develop	Configure doc coverage checks on Travis-CI	push	28 Jan 2016 05:47AM UTC	rakhimov	travis-ci	pending completion   set done
774	travis	Configure doc coverage checks on Travis-CI	push	28 Jan 2016 05:40AM UTC	rakhimov	travis-ci	pending completion   set done
773	develop	Configure release builds on Travis-CI	push	28 Jan 2016 04:40AM UTC	rakhimov	travis-ci	pending completion   set done
772	travis	Configure release builds on Travis-CI	push	28 Jan 2016 04:21AM UTC	rakhimov	travis-ci	pending completion   set done
771	travis	Configure release builds on Travis-CI	push	28 Jan 2016 04:14AM UTC	rakhimov	travis-ci	pending completion   set done
770	travis	Configure Travis-CI with Clang	push	28 Jan 2016 04:00AM UTC	rakhimov	travis-ci	pending completion   set done
769	travis	Configure Travis-CI with Clang	push	28 Jan 2016 03:52AM UTC	rakhimov	travis-ci	pending completion   set done
768	develop	Cleanup CMake configurations Uninitialized values get a warning in debug builds.	push	28 Jan 2016 03:06AM UTC	rakhimov	travis-ci	pending completion   set done
767	develop	Implement lazy modules in MOCUS Thanks to the facilities of ZBDD, MOCUS can get lazy modules for free. Logging is fixed for MOCUS.	push	27 Jan 2016 10:38PM UTC	rakhimov	travis-ci	pending completion   set done

• ← Previous
• 1
• 2
• …
• 18
• 19
• 20
• 21
• 22
• 23
• 24
• 25
• 26
• …
• 41
• 42
• Next →