5 Коммитов

Автор	SHA1	Сообщение	Дата
Oded Padon	49ece6fc2d	Cleaned up examples/pldi16	2016-02-15 12:30:24 +02:00
Oded Padon	262bd8c981	Added ivy_bmc.py and hide redundent graphs and buttons from IvyMain widget.	2016-02-15 03:47:55 +02:00
Oded Padon	c37af5048c	Converted leader election to ivy1.3 + started converting database_chain_replication.	2016-02-15 02:38:03 +02:00
Oded Padon	310dab6888	Started to convert pldi16 examples to ivy1.3	2016-02-14 17:44:03 +02:00
Ken McMillan	6202b07e37	adding examples, notebooks	2015-12-28 13:09:12 -08:00