#382

Builds	Branch	Commit	Type	Ran	Committer	Coverage
#382	bug-206	Allow empty prefix names in declarations and terms fixes #206	push	21 Jun 2021 02:31PM UTC	mmarx	pending completion set done
#381	master	added integration test for VLog issue 51	push	29 May 2021 02:14PM UTC	irina-dragoste	pending completion set done
#380	master	added integration test for VLog issue 50	push	29 May 2021 02:04PM UTC	irina-dragoste	pending completion set done
#379	master	added integration test for VLog issue 49	push	29 May 2021 01:46PM UTC	irina-dragoste	pending completion set done
#378	master	added integration test for VLog issue 72	push	29 May 2021 01:24PM UTC	irina-dragoste	pending completion set done
#377	master	added integration test for VLog issue 71	push	29 May 2021 01:21PM UTC	irina-dragoste	pending completion set done
#376	master	added integration test for VLog issue 70	push	29 May 2021 01:08PM UTC	irina-dragoste	pending completion set done
#375	master	added integration test for VLog issue 68	push	29 May 2021 01:01PM UTC	irina-dragoste	pending completion set done
#374	master	added integration test for VLog issue 66	push	29 May 2021 12:37PM UTC	irina-dragoste	pending completion set done
#373	master	added integration test for VLog issue 65	push	29 May 2021 12:26PM UTC	irina-dragoste	pending completion set done
#372	master	fix javadoc errors	push	25 May 2021 02:58PM UTC	irina-dragoste	pending completion set done
#371	master	Update README.md update latest release version	push	25 May 2021 02:30PM UTC	web-flow	pending completion set done
#370	master	update to snapshot version	push	25 May 2021 02:29PM UTC	irina-dragoste	pending completion set done
#369	588125648017aeca882ed1f2dc5f9ad76c354cba	update to release version 0.8.0	push	25 May 2021 09:04AM UTC	irina-dragoste	pending completion set done
#368	master	update to release version 0.8.0	push	23 May 2021 12:03PM UTC	irina-dragoste	pending completion set done

← Previous
1
2
3
4
5
6
7
8
9
10
11
12
…
32
33
Next →