pstlab / PLATINUm

Passed

Push — master ( 674e01...634a3f )

by

unknown

created 2021-04-23 09:23 UTC

Changes

	1 issue (minor) was introduced. 4 issues were fixed.
	4 added classes/operations
		A	it.cnr.istc.pst.platinum.executive.dc.strategy.ListStrategy.getStrikeM... added
		A	it.cnr.istc.pst.platinum.control.lang.Goal.setMaxOutOfBounds(int) added
		A	it.cnr.istc.pst.platinum.control.lang.Goal.getMaxOutOfBounds() added
		A	it.cnr.istc.pst.platinum.executive.dc.strategy.TreeStrategy.getStrikeM... added
A	↘	B	it.cnr.istc.pst.platinum.executive.dc.strategy.ListStrategy.askSingleS... got worse

9.53

▶ ± 0

Head	AnnLan7 2021-04-23 11:22 GMT+0200 Merge branch 'master' of https://github.com/pstlab/PLATINUm
⋮	1 more commit
Base	Alessandro Umbrico 2021-04-19 14:29 UTC minor fixes