2456

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2456	fix/deque_pop	Fix bug in deque pop in smtlib/parser Signed-off-by: Sebastiano Mariani <mariani.sebastiano@gmail.com>	Pull #558	12 Feb 2019 08:16PM UTC	web-flow	travis-ci	pending completion set done
2453	master	Bump version to 0.8.1dev1	push	28 Jan 2019 03:53AM UTC	marcogario	travis-ci	pending completion set done
2452	v0.8.0	Merge pull request #557 from pysmt/rc/0.8.0 Release 0.8.0	push	28 Jan 2019 02:35AM UTC	web-flow	travis-ci	pending completion set done
2451	master	Merge pull request #557 from pysmt/rc/0.8.0 Release 0.8.0	push	28 Jan 2019 02:13AM UTC	web-flow	travis-ci	pending completion set done
2448	rc/0.8.0	Doc: Removed out-dated info about OSX testing	Pull #557	27 Jan 2019 11:58PM UTC	web-flow	travis-ci	pending completion set done
2447	rc/0.8.0	Doc: Removed out-dated info about OSX testing	push	27 Jan 2019 10:59PM UTC	marcogario	travis-ci	pending completion set done
2445	rc/0.8.0	Updated CHANGES.rst	push	27 Jan 2019 10:33PM UTC	marcogario	travis-ci	pending completion set done
2444	rc/0.8.0	Docs: Update CONTRIBUTORS	push	27 Jan 2019 10:03PM UTC	marcogario	travis-ci	pending completion set done
2443	master	Merge pull request #541 from pysmt/examples/strings Examples: Strings	push	27 Jan 2019 06:00PM UTC	web-flow	travis-ci	pending completion set done
2442	examples/strings	Examples: Strings	Pull #541	27 Jan 2019 05:06PM UTC	web-flow	travis-ci	pending completion set done
2441	examples/strings	Examples: Strings	push	27 Jan 2019 04:09PM UTC	marcogario	travis-ci	pending completion set done
2440	master	Boolector: Upgrade to 3.0.1-pre (7f5d32) (#514) Boolector: Upgrade to 3.0.1-pre (7f5d32)	push	27 Jan 2019 04:23AM UTC	web-flow	travis-ci	pending completion set done
2439	examples/strings	Strings: Revised example to avoid user input	Pull #541	27 Jan 2019 03:11AM UTC	web-flow	travis-ci	pending completion set done
2438	examples/strings	Strings: Revised example to avoid user input	push	27 Jan 2019 02:13AM UTC	marcogario	travis-ci	pending completion set done
2434	optimization	Fixed problem with optimsat in CI	Pull #439	22 Jan 2019 11:23AM UTC	web-flow	travis-ci	pending completion set done

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