2385

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2385	upgrade/z3_4_8_4	Ported pysmt Z3 warpper to version 4.8.4. WARNING: this commit removed the interpolation support via Z3 because the feature is no longer available in Z3	push	08 Jan 2019 02:14PM UTC	mikand	travis-ci	pending completion set done
2384	cvc4-array-value	Handle CVC4 arrays correctly in back	Pull #546	04 Jan 2019 04:56PM UTC	web-flow	travis-ci	pending completion set done
2383	cvc4-array-value	Run arrays_const tests for cvc4	Pull #546	04 Jan 2019 04:02PM UTC	web-flow	travis-ci	pending completion set done
2382	toplevel-propagator	added disjoint set class	Pull #544	01 Jan 2019 06:18PM UTC	web-flow	travis-ci	pending completion set done
2381	toplevel-propagator	toplevel prop fix	Pull #544	01 Jan 2019 01:33PM UTC	web-flow	travis-ci	pending completion set done
2380	toplevel-propagator	added more tests for toplevel propagation	Pull #544	01 Jan 2019 12:34PM UTC	web-flow	travis-ci	pending completion set done
1178	smtlib-script-custom-logic	Test smtlibscript_from_formula with custom logics	Pull #360	12 Oct 2016 11:56AM UTC	web-flow	travis-ci	pending completion set done
2377	toplevel-propagator	fixed test	Pull #544	22 Dec 2018 10:48AM UTC	web-flow	travis-ci	pending completion set done
2376	toplevel-propagator	updated nl test	Pull #544	21 Dec 2018 11:28PM UTC	web-flow	travis-ci	pending completion set done
2374	toplevel-propagator	added 2 simple tests for top-level propagator	Pull #544	21 Dec 2018 09:25PM UTC	web-flow	travis-ci	pending completion set done
1155	coverage_exclude	Coverage: Exclude abstract methods and __main__	push	11 Oct 2016 01:13PM UTC	marcogario	travis-ci	pending completion set done
2373	toplevel-propagator	Merge branch 'master' of https://github.com/pysmt/pysmt into toplevel-propagator	Pull #544	21 Dec 2018 10:18AM UTC	web-flow	travis-ci	pending completion set done
2372	cvc4-array-value	Handle ARRAY_VALUE for CVC4	Pull #546	18 Dec 2018 10:48PM UTC	web-flow	travis-ci	pending completion set done
2371	master	README: Fix malformed table	push	17 Dec 2018 03:59PM UTC	web-flow	travis-ci	pending completion set done
2370	master	Cvc4: fix antlr install url in installer (#545)	push	04 Dec 2018 03:57PM UTC	marcogario	travis-ci	pending completion set done

← Previous
1
2
3
4
5
6
7
8
9
10
…
57
58
Next →