1970

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1970	master	removed string unescaping for now, compatibility here seems tricky	Pull #489	31 May 2018 11:34PM UTC	web-flow	travis-ci	pending completion set done
1969	master	Limited OSX builds only to master and PRs	Pull #491	31 May 2018 09:49AM UTC	web-flow	travis-ci	pending completion set done
1968	macosx-mixed-ci	Limited OSX builds only to master and PRs	push	31 May 2018 09:16AM UTC	mikand	travis-ci	pending completion set done
1967	master	Fixed HRPrinter string formatting, simplified string constant tokenization such that double-quotes do not get consumed by the tokenizer, but by the Atom creation. Added regression tests for double-quote escaping.	Pull #489	31 May 2018 02:25AM UTC	web-flow	travis-ci	pending completion set done
1966	master	Revert "handled SMTLib double quote escape correctly, added string-unescaping, implemented get-model handling" This reverts commit 4ed7fbc9a .	Pull #478	31 May 2018 12:24AM UTC	web-flow	travis-ci	pending completion set done
1950	master	Bump to version 0.7.6dev1	push	30 May 2018 03:33AM UTC	marcogario	travis-ci	pending completion set done
1949	v0.7.5	Release/0.7.5 (#484)	push	30 May 2018 03:28AM UTC	web-flow	travis-ci	pending completion set done
1948	master	Release/0.7.5 (#484)	push	30 May 2018 02:46AM UTC	web-flow	travis-ci	pending completion set done
1947	master	Fixed doc	Pull #484	30 May 2018 01:36AM UTC	web-flow	travis-ci	pending completion set done
1946	release/0.7.5	Fixed doc	push	30 May 2018 01:26AM UTC	marcogario	travis-ci	pending completion set done
1944	master	Minor: Remove debug print	Pull #484	30 May 2018 12:07AM UTC	web-flow	travis-ci	pending completion set done
1943	release/0.7.5	Minor: Remove debug print	push	29 May 2018 11:55PM UTC	marcogario	travis-ci	pending completion set done
1941	master	bv_str: str representation of BV in multiple formats	Pull #468	27 May 2018 11:30PM UTC	web-flow	travis-ci	pending completion set done
1940	bv_str	bv_str: str representation of BV in multiple formats	push	27 May 2018 11:13PM UTC	marcogario	travis-ci	pending completion set done
1939	master	Merge branch 'master' into release/0.7.5	Pull #484	27 May 2018 04:23PM UTC	web-flow	travis-ci	pending completion set done

← Previous
1
2
…
12
13
14
15
16
17
18
19
20
…
57
58
Next →