|
|
f8a54d2ae2
|
RemovedInsertedBugForSumRule
|
2021-11-12 16:42:21 +02:00 |
|
|
|
92744a195a
|
specificSpecForSumRule
|
2021-11-12 16:42:21 +02:00 |
|
|
|
e810379262
|
sanity rule preparations
|
2021-11-12 16:42:18 +02:00 |
|
|
|
c9bdb1f0ae
|
Add a comment documenting the package version being used (#2918)
|
2021-10-19 19:18:19 -03:00 |
|
|
|
f77fd4667e
|
fix typo in GovernorCountingSimple (#2879)
Co-authored-by: Joey Santoro <joseph.santoro@duke.edu>
|
2021-09-23 08:37:02 +00:00 |
|
|
|
9253c614d2
|
Fix typo casted -> cast
|
2021-08-13 18:16:38 -03:00 |
|
|
|
4b152bd8ce
|
Improve Governor (#2794)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2021-08-04 18:29:13 -03:00 |
|
|
|
6c1a634053
|
Add Governor contracts (#2672)
Co-authored-by: Francisco Giordano <frangio.1@gmail.com>
|
2021-07-16 12:44:01 -03:00 |
|
