Issues
- 0
Release Monotonic version 3.0.9.
#31 opened by bigeasy - 0
Update to a contemporary project structure.
#30 opened by bigeasy - 0
Revert tests to Proof.
#29 opened by bigeasy - 0
Monotonic general discussion.
#1 opened by bigeasy - 0
Release Monotonic version 3.0.8.
#28 opened by bigeasy - 0
Release Monotonic version 3.0.7.
#27 opened by bigeasy - 0
Release Monotonic version 3.0.6.
#26 opened by bigeasy - 0
Release Monotonic version 3.0.5.
#25 opened by bigeasy - 0
Release Monotonic version 3.0.4.
#24 opened by bigeasy - 0
Release Monotonic version 3.0.3.
#23 opened by bigeasy - 0
Release Monotonic version 3.0.2.
#22 opened by bigeasy - 0
Release Monotonic version 3.0.1.
#21 opened by bigeasy - 0
Release Monotonic version 3.0.0.
#20 opened by bigeasy - 0
Release Monotonic version 2.2.0.
#19 opened by bigeasy - 0
Release Monotonic version 2.1.2.
#18 opened by bigeasy - 0
Release Monotonic version 2.1.1.
#17 opened by bigeasy - 0
Release Monotonic version 2.1.0.
#16 opened by bigeasy - 0
Release version 2.0.0.
#15 opened by bigeasy - 0
Release version 1.0.1.
#14 opened by bigeasy - 0
- 0
Release version 0.0.3.
#12 opened by bigeasy - 0
Update license for 2015.
#11 opened by bigeasy - 0
Release version 0.0.2.
#10 opened by bigeasy - 0
Implement `difference`.
#9 opened by bigeasy - 0
Release version 0.0.1.
#8 opened by bigeasy - 0
Import monotonic functions from Paxos.
#7 opened by bigeasy - 0
Release version 0.0.0.
#6 opened by bigeasy - 0
Update descriptions.
#5 opened by bigeasy - 0
Build on Travis CI.
#3 opened by bigeasy - 0
Ship coverage to web server.
#4 opened by bigeasy - 0
Create empty project.
#2 opened by bigeasy