Commit graph

82 commits

Author SHA1 Message Date
Michael Whittaker
cc4af2b7ad Updated setup.py to require >=3.8.
We use some newer features of Python now (e.g., Protocol) so we require
Python 3.8.
2021-04-10 18:30:36 -07:00
Michael Whittaker
bf4d857e86
Merge pull request #6 from adsharma/typing_fixes
Fixes for type check errors exposed by pyright
2021-04-10 18:29:46 -07:00
Arun Sharma
7f980997ef Fixes for type check errors exposed by pyright
Use SupportsLessThan to indicate that TypeVar T should be
comparable.
2021-04-05 10:58:13 -07:00
Michael Whittaker
f07680fb52
Merge pull request #3 from adsharma/examples_module
Add missing examples/__init__.py
2021-04-05 09:21:44 -07:00
Michael Whittaker
65097c9e2a Updated requirements again to please dependabot. 2021-03-31 12:46:53 -07:00
Michael Whittaker
65aa0b6bc9 Updated requirements to please dependabot. 2021-03-31 12:45:37 -07:00
Michael Whittaker
457f5d1703 Fixed mistyped method.
The type error was pointed out by @adsharma in #4.
2021-03-31 12:34:55 -07:00
Michael Whittaker
1b533aac0c
Merge pull request #2 from adsharma/python3
Use python3
2021-03-31 12:22:35 -07:00
Arun Sharma
c55cd59fbd Add missing examples/__init__.py
Required for:

```
python3 -m examples.case_study
```
2021-03-31 11:57:28 -07:00
Arun Sharma
6a3b3f139b Use python3
On some distros, python binary links to python2. The tests seem
to be expecting python3.
2021-03-31 11:55:09 -07:00
Michael Whittaker
9e32c2668c Udpated paper script. 2021-03-25 20:33:53 -07:00
Michael Whittaker
6bb6eb2914 Removed numpy as a dep. 2021-02-07 12:25:25 -08:00
Michael Whittaker
9af12859d7 Added script to run tests and examples. 2021-02-07 12:23:05 -08:00
Michael Whittaker
3cfb26e281 Tied up examples. 2021-02-07 12:19:08 -08:00
Michael Whittaker
9f0532a7d5 Removed numpy dependence in examples. 2021-02-07 12:07:55 -08:00
Michael Whittaker
a4dfc6f751 Removed dependency on numpy. 2021-02-07 12:03:31 -08:00
Michael Whittaker
5f284d6661 Uploaded 0.0.2 to pypi. 2021-02-05 17:24:59 -08:00
Michael Whittaker
30c54f8886 Updated tutorial + search returns sigma now too. 2021-02-05 17:18:41 -08:00
Michael Whittaker
ea4523cc17 Small tweaks to paper examples. 2021-02-05 15:43:31 -08:00
Michael Whittaker
6e6f8103a8 Got rid of old comments. 2021-02-04 22:08:46 -08:00
Michael Whittaker
1348ee4527 In progress of updating README. 2021-02-04 22:08:39 -08:00
Michael Whittaker
49b9c17dd4 Added stuff to publish package.
I followed the tutorial here:
https://packaging.python.org/tutorials/packaging-projects/.
2021-02-04 21:07:44 -08:00
Michael Whittaker
6ab449a555 Renamed quorums to quoracle. 2021-02-04 20:59:10 -08:00
Michael Whittaker
cbf973e082 Removed notes. 2021-02-04 20:54:36 -08:00
Michael Whittaker
07a25f6ca9 Revised paper. 2021-02-04 20:53:42 -08:00
Michael Whittaker
3ac5ebc848 Moved random scripts to examples directory.
I'll clean these up later.
2021-02-04 11:42:05 -08:00
Michael Whittaker
e69ab121e8 Added new test for cap. 2021-02-04 11:41:55 -08:00
Michael Whittaker
0fd8afa87c Updated viz with flag for limits. 2021-02-04 11:41:44 -08:00
Michael Whittaker
8712493c4e Fixed buggy capacity computation.
Need to re-run things to make the numbers are right still.
2021-02-04 11:40:31 -08:00
Michael Whittaker
2cbe95d39d Work on numbers for paper. 2021-02-02 23:03:57 -08:00
Michael Whittaker
64571e3031 Added keyword args to functions.
I was nervous things were getting passed in in the wrong order.
2021-02-02 23:02:56 -08:00
Michael Whittaker
3c340af16f Removed unwanted whitespace. 2021-02-02 23:02:43 -08:00
Michael Whittaker
ef292ba35e Caught bug in f-resilient quorum computation. 2021-02-02 23:01:04 -08:00
Michael Whittaker
bdd4e8925e Added cap limits on graphs.
Surprisingly hard to understand what the cap limit should be.
2021-02-02 23:00:23 -08:00
Michael Whittaker
1616a855f1 Tweaked example plotting scripts. 2021-01-31 22:59:02 -08:00
Michael Whittaker
03b307d5f0 Added quorum system tests. 2021-01-31 21:55:05 -08:00
Michael Whittaker
a981d44d7f Added strategy tests.
Also normalized make_strategy.
2021-01-31 21:24:55 -08:00
Michael Whittaker
4b2ef408d7 Added a way to make a custom strategy. 2021-01-31 17:48:36 -08:00
Michael Whittaker
42e4296b04 Added some TODOs to Expr.
Right now, there is not a nice way to check that two expressions are
equal. It would be fun to implement this, though it may not be super
fast.
2021-01-31 17:47:35 -08:00
Michael Whittaker
32f5bb2125 Added quorum system tests + bug fix.
I was computing uniform strategies wrong. Looks like adding tests cases
was the right move!
2021-01-31 17:47:06 -08:00
Michael Whittaker
6d1b865b67 Added expr tests + bug fix.
I wasn't computing the resilience of a choose quorum system correctly.
I'm happy I decided to add some unit tests!
2021-01-31 17:28:14 -08:00
Michael Whittaker
dced6388af Added search procedure. 2021-01-31 12:31:22 -08:00
Michael Whittaker
a42bccaf0c Tidied up code.
Some of the code was nasty. I cleaned it up a bit. I also started moving
tests into a tests/ directory. You can run python -m unittest to run
them. I still need to add more tests to make sure things are working as
expected.
2021-01-30 18:47:25 -08:00
Michael Whittaker
63b88c38d5 First full stab at multiple objectives. 2021-01-29 18:09:50 -08:00
Michael Whittaker
18f97ac866 Progress on multiple objectives. 2021-01-29 17:46:00 -08:00
Michael Whittaker
31e875f957 Tidied up load dist code. 2021-01-29 00:01:47 -08:00
Michael Whittaker
cb8c5d0e6c Refactoring plotting to separate file. 2021-01-28 23:47:41 -08:00
Michael Whittaker
cf520371d9 Added load distribution plotting.
Still need to add capacity plots.
2021-01-28 22:46:57 -08:00
Michael Whittaker
bcfc4d4098 Added some geometry code.
I'll use this for load vs read fraction plots.
2021-01-28 19:26:36 -08:00
Michael Whittaker
900b69d8d1 Added node load plot script. 2021-01-28 13:37:38 -08:00