STAMP-project / Ex2Amplifier / 139

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
139	master	transform now Junit feature in method (#39) * transform now Junit feature in method * fix	push	28 May 2018 09:57AM UTC	web-flow	travis-ci	pending completion   set done
138	master	fix	Pull #39	25 May 2018 03:31PM UTC	web-flow	travis-ci	pending completion   set done
132	master	use absolute path (#38)	push	21 May 2018 03:08PM UTC	web-flow	travis-ci	pending completion   set done
131	master	use absolute path	Pull #38	21 May 2018 02:56PM UTC	web-flow	travis-ci	pending completion   set done
130	master	rename packages (#37) * rename packages * fix: return empty list if no constraint as been added	push	17 May 2018 12:01PM UTC	web-flow	travis-ci	pending completion   set done
129	master	fix: return empty list if no constraint as been added	Pull #37	17 May 2018 11:50AM UTC	web-flow	travis-ci	pending completion   set done
125	master	Fix main generator for before after class (#36) * test: add a test with @BeforeClass and @AfterClass * feat: create now a call to BeforeClass and to AfterClass	push	17 Apr 2018 04:13PM UTC	web-flow	travis-ci	pending completion   set done
124	master	feat: create now a call to BeforeClass and to AfterClass	Pull #36	17 Apr 2018 03:57PM UTC	web-flow	travis-ci	pending completion   set done
123	master	update dependency to dspot to 1.1.0 (#35)	push	16 Apr 2018 08:48AM UTC	web-flow	travis-ci	pending completion   set done
122	master	update dependency to dspot to 1.1.0	Pull #35	16 Apr 2018 08:32AM UTC	web-flow	travis-ci	pending completion   set done
121	master	options: can now specify a java home throught the properties file	push	05 Apr 2018 09:14AM UTC	danglotb	travis-ci	pending completion   set done
120	master	update pom and imports (#34)	push	04 Apr 2018 05:01PM UTC	web-flow	travis-ci	pending completion   set done
119	master	update pom and imports	Pull #34	04 Apr 2018 03:38PM UTC	web-flow	travis-ci	pending completion   set done
118	master	Prepare release (#33) * move packages to eu.stamp.project * pom: move group ID to eu.stamp-project, and add plugins for releasing * update packages from dspot * remove unused imports * update API * remove classes copied from dspot ...	push	30 Mar 2018 07:29PM UTC	web-flow	travis-ci	pending completion   set done
117	master	download z3	Pull #33	30 Mar 2018 03:00PM UTC	web-flow	travis-ci	pending completion   set done

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• Next →