leonardt / hwtypes / 425

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
425	tagged-union	Step version	Pull #97	24 Sep 2019 10:59PM UTC	web-flow	travis-ci	pending completion   set done
423	tagged-union	Add tests	Pull #97	24 Sep 2019 09:31PM UTC	web-flow	travis-ci	pending completion   set done
422	tagged-union	Add tests	push	24 Sep 2019 09:25PM UTC	cdonovick	travis-ci	pending completion   set done
421	v1.2.0	step version	push	24 Sep 2019 09:22PM UTC	cdonovick	travis-ci	pending completion   set done
419	master	step version	push	24 Sep 2019 09:22PM UTC	cdonovick	travis-ci	pending completion   set done
418	master	step version	push	24 Sep 2019 09:20PM UTC	cdonovick	travis-ci	pending completion   set done
416	tagged-union	Add tests	push	24 Sep 2019 09:18PM UTC	cdonovick	travis-ci	pending completion   set done
415	new-sum	Change match interface slightly to better support assembled adt	Pull #96	23 Sep 2019 05:44PM UTC	web-flow	travis-ci	pending completion   set done
414	new-sum	Change match interface slightly to better support assembled adt	push	19 Sep 2019 05:05PM UTC	cdonovick	travis-ci	pending completion   set done
412	substitute	added substitute method for SMT	push	18 Sep 2019 12:24AM UTC	rdaly525	travis-ci	pending completion   set done
413	substitute	added substitute method for SMT	Pull #94	18 Sep 2019 12:24AM UTC	web-flow	travis-ci	pending completion   set done
411	substitute	added a substitute method to SMTBit and SMTBitVector	Pull #94	18 Sep 2019 12:23AM UTC	web-flow	travis-ci	pending completion   set done
410	substitute	added a substitute method to SMTBit and SMTBitVector	push	18 Sep 2019 12:23AM UTC	rdaly525	travis-ci	pending completion   set done
409	new-sum	Add small test	push	17 Sep 2019 04:47PM UTC	cdonovick	travis-ci	pending completion   set done
408	new-sum	Move to new match syntax	push	17 Sep 2019 04:39PM UTC	cdonovick	travis-ci	pending completion   set done

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• …
• 13
• 14
• Next →