rebase

Author: lucasmcdonald3

.github/workflows/ci_tests.yaml

@@ -25,11 +25,7 @@ jobs:
       matrix:
         os:
           - ubuntu-latest
-          # Windows fails due to "No module named 'Wrappers'"
-          # This SHOULD be fixed once Dafny generates fully-qualified import statements
-          # (i.e. doo files, per-package module names)
-          # Disable for now
-          # - windows-latest
+          - windows-latest
           - macos-12
         python:
           - 3.8

.gitignore

@@ -33,12 +33,6 @@ __pycache__
 .pytest_cache
 # Ignore key materials generated by examples or tests
 test_keyrings/
-# Ignore results of performance test
-performance_tests/results/*.csv
-performance_tests/results/*.pstats
-performance_tests/results/*.png
-# Ignore the memory profile logs
-mprofile_*
 
 # PyCharm
 .idea/

README.rst

@@ -2,9 +2,7 @@ version: 0.2
 
 batch:
   fast-fail: false
-  build-graph:
-
-    # 3.8
+  build-list:
     - identifier: py38_integ
       buildspec: codebuild/py38/integ.yml
       env:
@@ -126,10 +124,6 @@ batch:
       buildspec: codebuild/py311/integ_mpl.yml
       env:
         image: aws/codebuild/standard:7.0
-    - identifier: py311_performance_tests_mpl
-      buildspec: codebuild/py311/performance_tests_mpl.yml
-      env:
-        image: aws/codebuild/standard:7.0
     - identifier: py311_examples
       buildspec: codebuild/py311/examples.yml
       env:
@@ -216,10 +210,6 @@ batch:
       buildspec: codebuild/py312/integ_mpl.yml
       env:
         image: aws/codebuild/standard:7.0
-    - identifier: py312_performance_tests_mpl
-      buildspec: codebuild/py312/performance_tests_mpl.yml
-      env:
-        image: aws/codebuild/standard:7.0
     - identifier: py312_examples
       buildspec: codebuild/py312/examples.yml
       env: