Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

20231026 cl23 optimizer #52

Merged
merged 56 commits into from
Nov 27, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
56 commits
Select commit Hold shift + click to select a range
8bec163
Pull in cl23 optimizer
prozacchiwawa Oct 18, 2023
7437a15
Merge in printing
prozacchiwawa Oct 19, 2023
af76448
Bring in some tests, test data
prozacchiwawa Oct 19, 2023
ffc74fa
More changes from codegen and comptypes
prozacchiwawa Oct 20, 2023
8481aa6
One failing test
prozacchiwawa Oct 20, 2023
2fda897
Fixed remaining imported test. Will import more tests
prozacchiwawa Oct 24, 2023
017081e
Merge branch '20230227-defmac' into 20231018-new-nightly-try
prozacchiwawa Oct 24, 2023
55f5ec2
Update for upstream changes
prozacchiwawa Oct 24, 2023
2be878b
fmt
prozacchiwawa Oct 24, 2023
3ab7d7a
More diff minimization
prozacchiwawa Oct 24, 2023
7af167c
More diff reduction
prozacchiwawa Oct 24, 2023
71bc8fc
More synchronization
prozacchiwawa Oct 24, 2023
07adf7b
Add test file
prozacchiwawa Oct 25, 2023
ee4ff5c
Fix flags, should refactor that
prozacchiwawa Oct 25, 2023
ab76026
Merge up
prozacchiwawa Oct 25, 2023
2c44500
Pull in more tests
prozacchiwawa Oct 25, 2023
c0fdbaf
Pull in more tests
prozacchiwawa Oct 25, 2023
5bac184
more tests from the future
prozacchiwawa Oct 25, 2023
cb9d95d
More tests from the future
prozacchiwawa Oct 25, 2023
68b418a
Bring in more tests
prozacchiwawa Oct 25, 2023
e37ea0d
Pin down repr more with singleton test
prozacchiwawa Oct 25, 2023
79d67d5
Add cl23 game tests. There is no terse mode yet in this timeline, bu…
prozacchiwawa Oct 26, 2023
3556dc0
Add cl23 game tests. There is no terse mode yet in this timeline, bu…
prozacchiwawa Oct 26, 2023
0dff998
fmt
prozacchiwawa Oct 26, 2023
2456e65
Move include files
prozacchiwawa Oct 26, 2023
882ba95
Add tricky cse test series
prozacchiwawa Oct 31, 2023
10e043a
fmt + clippy
prozacchiwawa Oct 31, 2023
9d70c52
Fix up intermediate tests
prozacchiwawa Oct 31, 2023
85b34c0
Fix cse bug which allowed com forms to migrate to other scopes
prozacchiwawa Nov 1, 2023
09bcc82
fmt + clippy
prozacchiwawa Nov 1, 2023
71c5cc0
Add test files
prozacchiwawa Nov 1, 2023
7ae4413
My error: this was written at a time before strict was brought in. I…
prozacchiwawa Nov 1, 2023
1c5eec8
Add cl23 tests
prozacchiwawa Nov 1, 2023
e53cc58
Add hsms dependency because it appears in cl23 tests
prozacchiwawa Nov 1, 2023
6dbf7bd
Remove hsms dependency since it interferes with other tests
prozacchiwawa Nov 1, 2023
983db0d
Do the new test first so we can see failures earlier, take the strate…
prozacchiwawa Nov 2, 2023
28bb37c
Set unsafe run cost
prozacchiwawa Nov 2, 2023
9cfc9f1
remove terse, as it doesn't yet exist in this reality
prozacchiwawa Nov 2, 2023
37aa20c
Use methods present in clvm_rs' Program, which are slightly different
prozacchiwawa Nov 2, 2023
984ef95
Removing diff
prozacchiwawa Nov 2, 2023
2707446
Remove some alternate future artifacts
prozacchiwawa Nov 2, 2023
d0de0ee
Merge up
prozacchiwawa Nov 2, 2023
69df7f7
merge up
prozacchiwawa Nov 2, 2023
054faab
Merge remote-tracking branch 'chia/base' into 20231026-cl23-optimizer
prozacchiwawa Nov 16, 2023
dab5c4c
Merge up
prozacchiwawa Nov 17, 2023
dc61646
Make extra param optional for other users
prozacchiwawa Nov 17, 2023
5ce518f
Ensure we set the frugal version of the diag runner
prozacchiwawa Nov 17, 2023
d53699e
Run on unix-y things
prozacchiwawa Nov 17, 2023
4907aac
Merge remote-tracking branch 'chia/base' into 20231026-cl23-optimizer
prozacchiwawa Nov 17, 2023
6e728eb
Remove extras
prozacchiwawa Nov 17, 2023
d54d390
Remove '\' which isn't recognized in this shell
prozacchiwawa Nov 17, 2023
0025a99
Don't refer to /tmp
prozacchiwawa Nov 17, 2023
b272954
Use git diff as it should be present
prozacchiwawa Nov 17, 2023
e7bab47
Add comment
prozacchiwawa Nov 17, 2023
e87aa3a
use long name since we're in a wierd shell
prozacchiwawa Nov 17, 2023
8c34084
ci
prozacchiwawa Nov 17, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 8 additions & 10 deletions .github/workflows/build-test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -91,10 +91,9 @@ jobs:

- name: Build Windows with maturin on Python ${{ matrix.python }}
if: startsWith(matrix.os, 'windows')
shell: bash
run: |
python -m venv venv
cp venv/Scripts/activate .
echo ". .\venv\Scripts\Activate.ps1" > activate.ps1
. ./activate
maturin build -i python --release --strip
# Find and install the newly built wheel
Expand Down Expand Up @@ -143,24 +142,23 @@ jobs:

# Test cldb output both run from python and via its command line tool.
- name: "Run step run tests"
shell: bash
run: |
. ./activate
cargo build
pip install .
pip install clvm_rs
pip install clvm_tools
cd resources/tests && \
python test_clvm_step.py && \
python mandelbrot-cldb.py
cd resources/tests && python test_clvm_step.py && python mandelbrot-cldb.py

- name: "Test step run with mandelbrot, setting print only"
shell: bash
run: |
. ./activate
python ./resources/tests/lib/steprun.py ./resources/tests/mandelbrot/mandelbrot.clvm.hex resources/tests/mandelbrot/mand_args.txt ./resources/tests/mandelbrot/mandelbrot.sym > /tmp/mand_output.txt
# Fail if the output differs.
diff -s -q /tmp/mand_output.txt ./resources/tests/mandelbrot/mand_test.txt
python ./resources/tests/lib/steprun.py ./resources/tests/mandelbrot/mandelbrot.clvm.hex resources/tests/mandelbrot/mand_args.txt ./resources/tests/mandelbrot/mandelbrot.sym > mand_output.txt
# git diff invoked this way returns 0 (as /bin/true) if there is no difference or 1 if there is.
git diff --no-index -s --quiet -- mand_output.txt ./resources/tests/mandelbrot/mand_test.txt
# Remove file in a compatible way using git as a general tool
git add mand_output.txt
git rm --force mand_output.txt


- name: Verify recompilation of old sources match with new compiler
Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/extensive-tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -117,4 +117,6 @@ jobs:
run: |
. ./activate
cp support/test-game-referee.sh .
sh test-game-referee.sh resources/tests/game-referee-in-cl23
sh test-game-referee.sh resources/tests/game-referee-in-cl21
sh test-game-referee.sh resources/tests/game-referee-after-cl21
Loading
Loading