STAMP-project / Ex2Amplifier / 89

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
89	master	update API (#25)	push	27 Feb 2018 02:51PM UTC	web-flow	travis-ci	pending completion set done
88	master	update API	Pull #25	27 Feb 2018 02:35PM UTC	web-flow	travis-ci	pending completion set done
87	master	Support parenthesis smt (#24) * test: add a test with parenthesis and shift * feat: SMT solver supports parenthesis in constraint and priority * test: update the test * remove unused imports	push	23 Feb 2018 05:45PM UTC	web-flow	travis-ci	pending completion set done
86	master	remove unused imports	Pull #24	23 Feb 2018 05:35PM UTC	web-flow	travis-ci	pending completion set done
85	master	test: update the test	Pull #24	23 Feb 2018 03:18PM UTC	web-flow	travis-ci	pending completion set done
83	master	Fix null lit and package (#21) * add test case on null lit * feat: support now null literal * fix: the package is properly setted * update test	push	20 Feb 2018 11:41AM UTC	web-flow	travis-ci	pending completion set done
82	master	update test	Pull #21	20 Feb 2018 10:44AM UTC	web-flow	travis-ci	pending completion set done
80	master	feat: can now run Ex2Amplifier as a Standalone tool (#20)	push	19 Feb 2018 03:57PM UTC	web-flow	travis-ci	pending completion set done
79	master	feat: can now run Ex2Amplifier as a Standalone tool	Pull #20	19 Feb 2018 03:48PM UTC	web-flow	travis-ci	pending completion set done
77	master	refactor: remove unused imports	Pull #20	19 Feb 2018 03:13PM UTC	web-flow	travis-ci	pending completion set done
76	master	refactor: remove unused imports	Pull #20	19 Feb 2018 01:22PM UTC	web-flow	travis-ci	pending completion set done
75	master	refactor: remove unused imports	Pull #20	19 Feb 2018 10:08AM UTC	web-flow	travis-ci	pending completion set done
73	master	Initialize properly amplifiers (#19) * refactor: initializer properly amplifiers with reset() and clone of right test cless * refactor: change CtClass to CtType * test: update test classes according to the new hierarchy	push	19 Feb 2018 09:20AM UTC	web-flow	travis-ci	pending completion set done
72	master	test: update test classes according to the new hierarchy	Pull #19	19 Feb 2018 09:10AM UTC	web-flow	travis-ci	pending completion set done
71	master	Add typecast (#18) * test resources: add type that need cast * test: update expected method * feat: support now different kind of int literal * test: add a primitive array * feat: support now primitive array * update test according...	push	16 Feb 2018 01:01PM UTC	web-flow	travis-ci	pending completion set done