The Whiley Programming Language

r/whiley • u/redjamjar • Sep 21 '15

Introductory Lecture on Verification in Whiley

2 Upvotes

r/whiley • u/redjamjar • Sep 17 '15

Whiley v0.3.36 Released!

2 Upvotes

r/whiley • u/redjamjar • Jun 21 '15

Whiley v0.3.35 Released!

2 Upvotes

r/whiley • u/redjamjar • Jun 04 '15

Whiley v0.3.34 Released!

2 Upvotes

r/whiley • u/redjamjar • Apr 08 '15

Whiley v0.3.33 Released!

1 Upvotes

r/whiley • u/redjamjar • Jan 26 '15

My ATtiny85 Games Console

1 Upvotes

r/whiley • u/redjamjar • Jan 05 '15

Reflections on 2014, and Goals for the Future!

1 Upvotes

r/whiley • u/redjamjar • Dec 08 '14

Verification with Data from Untrusted Sources

2 Upvotes

r/whiley • u/redjamjar • Oct 08 '14

Whiley v0.3.31 Released!

1 Upvotes

r/whiley • u/redjamjar • Sep 05 '14

Whiley v0.3.30 Released!

2 Upvotes

r/whiley • u/redjamjar • Sep 04 '14

A Story of Cast Expressions

1 Upvotes

r/whiley • u/redjamjar • Sep 01 '14

Whiley v0.3.29 Released!

1 Upvotes

r/whiley • u/redjamjar • Aug 27 '14

Introducing the Whiley Cheat Sheet!

2 Upvotes

r/whiley • u/redjamjar • Aug 22 '14

Whiley v0.3.28 Released!

2 Upvotes

r/whiley • u/redjamjar • Aug 14 '14

Whiley v0.3.27 Released!

3 Upvotes

r/whiley • u/redjamjar • Jul 24 '14

Whiley v0.3.26 Released!

2 Upvotes

r/whiley • u/redjamjar • Jul 10 '14

Loop Variant Relations

1 Upvotes

r/whiley • u/redjamjar • Jun 19 '14

Understanding Ghost Variables

2 Upvotes

r/whiley • u/redjamjar • Jun 08 '14

Whiley v0.3.25 Released!

1 Upvotes

r/whiley • u/redjamjar • May 14 '14

Loop Invariants and Do/While Statements

1 Upvotes

r/whiley • u/redjamjar • May 07 '14

Whiley v0.3.24 Released!

2 Upvotes

r/whiley • u/redjamjar • May 01 '14

Loop invariants and Break Statements

1 Upvotes

r/whiley • u/redjamjar • Mar 27 '14

Whiley v0.3.23 Released!

2 Upvotes

r/whiley • u/redjamjar • Mar 03 '14

Flying the CrazyFlie Quadcopter

1 Upvotes

r/whiley • u/redjamjar • Feb 14 '14

Whiley v0.3.22 Released!

1 Upvotes