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.

Sign up for GitHub

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

Jump to bottom

20240309 stable constants iii #88

Draft
wants to merge 655 commits into
base: main
Choose a base branch
from
Draft

20240309 stable constants iii #88

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
655 commits
Select commit Hold shift + click to select a range
0cbfcb1
Add features selection to x64 builder
prozacchiwawa Aug 2, 2023
7f7176f
Merge rest args with types
prozacchiwawa Aug 2, 2023
5e3cc15
fmt
prozacchiwawa Aug 2, 2023
d2abd5b
Merge up rest args via base
prozacchiwawa Aug 2, 2023
070927d
Merge from types to nightly staging
prozacchiwawa Aug 2, 2023
f2a7352
merge up + fmt + clippy
prozacchiwawa Aug 16, 2023
c50fcb2
Merge up and simplify workflow files
prozacchiwawa Aug 24, 2023
12c3450
Merge up and simplify workflow files
prozacchiwawa Aug 24, 2023
46260ad
Merge up and simplify workflow files
prozacchiwawa Aug 24, 2023
68affa5
Invoke python3/pip3 specifically
prozacchiwawa Aug 24, 2023
95eb288
Fix an issue resolving CSE dependencies via topological sorting
prozacchiwawa Aug 28, 2023
54b9b65
fmt + clippy
prozacchiwawa Aug 28, 2023
924ca44
fmt
prozacchiwawa Aug 28, 2023
2896932
Merge pull request #221 from Chia-Network/20230827-cse-fix-undominate…
prozacchiwawa Aug 28, 2023
022ec63
Update dependency values in pyproject.toml
prozacchiwawa Aug 28, 2023
01f2bbc
Merge branch 'base' into 20230421-nightly-rebuild
prozacchiwawa Aug 28, 2023
36e3df7
Add continued if
prozacchiwawa Sep 12, 2023
d4f039f
Merge up
prozacchiwawa Sep 13, 2023
5d23e94
Merge up
prozacchiwawa Sep 14, 2023
f9f59b0
Merge up
prozacchiwawa Sep 19, 2023
7c36920
Add a python-source dir
prozacchiwawa Sep 28, 2023
3d972d5
Update coverage
prozacchiwawa Sep 28, 2023
9e71a8b
Merge back
prozacchiwawa Sep 28, 2023
d6915bc
Speed up cldb when printing (-p) is on. This code was lost previously.
prozacchiwawa Sep 29, 2023
7412876
Further improvement to print mode
prozacchiwawa Sep 29, 2023
f833685
Fix other definition
prozacchiwawa Sep 29, 2023
457db1b
Merge pull request #43 from Chia-Network/20230928-speed-up-cldb-printing
prozacchiwawa Sep 29, 2023
29d2cdc
continued if improvement
prozacchiwawa Sep 29, 2023
c35c1bc
WIP investigation
prozacchiwawa Sep 29, 2023
b51be34
continued if improvement
prozacchiwawa Sep 29, 2023
cb31bdf
Merge remote-tracking branch 'chia/20230421-nightly-rebuild' into 202…
prozacchiwawa Sep 29, 2023
0c011dd
Bump for tests
prozacchiwawa Sep 29, 2023
c6430d3
Merge pull request #45 from Chia-Network/20230929-staging-run
prozacchiwawa Sep 29, 2023
ecc8213
cse fix checking
prozacchiwawa Oct 2, 2023
670a1e5
Fix CSE bugs surrounding unsaturated CSE, ensuring that we're not pre…
prozacchiwawa Oct 2, 2023
e67bd41
Can pass tests, but will take a crack at ensuring we can lift un-satu…
prozacchiwawa Oct 2, 2023
ae3329b
Back off CSE for clauses that don't dominate conditions.
prozacchiwawa Oct 2, 2023
fa71b3e
fmt + clippy
prozacchiwawa Oct 2, 2023
86058c4
Add test case
prozacchiwawa Oct 2, 2023
a14eecd
Merge pull request #46 from Chia-Network/20231002-cse-fix
prozacchiwawa Oct 3, 2023
46e06dd
Add depgraph object and basic tests
prozacchiwawa Oct 8, 2023
2b041ec
WIP
prozacchiwawa Oct 10, 2023
111b996
Producing identical output for programs i've tested
prozacchiwawa Oct 11, 2023
faeea67
Silence
prozacchiwawa Oct 11, 2023
114b905
Add the ability to override operators in a clvm runner.
prozacchiwawa Oct 12, 2023
65be2d0
Route in exception reason, add exactly our use case
prozacchiwawa Oct 12, 2023
cefddfe
Revert to reapply
prozacchiwawa Oct 12, 2023
3163164
Remove profiling cruft to reapply with a feature
prozacchiwawa Oct 12, 2023
b2f1673
Merge up
prozacchiwawa Oct 12, 2023
9f62e2e
Fixes
prozacchiwawa Oct 12, 2023
257e48b
Remove primoverrides from evaluator for now (not needed yet along thi…
prozacchiwawa Oct 12, 2023
039670e
Add a way of referring to and adjusting a parameter path
prozacchiwawa Oct 13, 2023
5f0496c
Better path construction
prozacchiwawa Oct 13, 2023
71822fa
Add dependency injection capability to js compiler host
prozacchiwawa Oct 13, 2023
ff32cf7
Better support infra for compile, dependencies
prozacchiwawa Oct 14, 2023
d31b3ce
Mark up opts for strict dialects, which hadn't been fully handled by …
prozacchiwawa Oct 16, 2023
be11d3f
Fix inner include and add test
prozacchiwawa Oct 16, 2023
62cab33
fmt + clippy + dep filtering
prozacchiwawa Oct 17, 2023
bc3c837
Unused files
prozacchiwawa Oct 24, 2023
9945a64
Staging + import
prozacchiwawa Nov 8, 2023
1c656a5
Some fixes, WIP
prozacchiwawa Nov 8, 2023
e657c2d
more tests passing
prozacchiwawa Nov 8, 2023
2c1e8c3
tests passing
prozacchiwawa Nov 8, 2023
0d06ae3
individual module outputs are written
prozacchiwawa Nov 8, 2023
131aa04
despam
prozacchiwawa Nov 8, 2023
5f8098f
Output now written to fs for module mains
prozacchiwawa Nov 8, 2023
70f53ec
Add some state that keeps track of where helpers were defined when we…
prozacchiwawa Nov 30, 2023
d44d1e6
Very rough prototype of full namespacing
prozacchiwawa Dec 9, 2023
93f260d
Add prelude
prozacchiwawa Dec 9, 2023
7ec229f
First full test set up for the module system
prozacchiwawa Dec 10, 2023
b9e5ee8
checkpoint: wip working on pulling in lambdas. there is a bug in nam…
prozacchiwawa Dec 12, 2023
544b950
Add more tests, elaborate lambdas in the context of rewriting.
prozacchiwawa Dec 12, 2023
9340b42
Add another lambda test
prozacchiwawa Dec 12, 2023
189b787
Fix
prozacchiwawa Dec 12, 2023
730374a
Fix
prozacchiwawa Dec 12, 2023
26320b4
more fixing
prozacchiwawa Dec 12, 2023
6237cde
Introduce LongNameTranslation, which keeps track of how we want the p…
prozacchiwawa Dec 14, 2023
8d534d4
Add imports from compiled programs
prozacchiwawa Dec 14, 2023
559f9a3
Ensure that we pass on a clean opts to subcompiles via modules, ensur…
prozacchiwawa Dec 14, 2023
7d814d9
Clean some clippy
prozacchiwawa Dec 14, 2023
5b2e02f
Classic compile via import
prozacchiwawa Dec 14, 2023
58f2785
test files
prozacchiwawa Dec 14, 2023
2563796
Add new tests
prozacchiwawa Dec 14, 2023
cc18e37
Support namespaced types fully
prozacchiwawa Dec 18, 2023
d4162be
Type tests
prozacchiwawa Dec 18, 2023
cb39773
Types are now properly resolved
prozacchiwawa Dec 19, 2023
6d2cc0e
first part of modules-as-preprocessing refactor
prozacchiwawa Dec 22, 2023
236183f
Move to preprocessor
prozacchiwawa Dec 22, 2023
b3ec175
Working tests again
prozacchiwawa Dec 22, 2023
3e729a8
Compiler output that differentiates between module and simple output
prozacchiwawa Dec 22, 2023
d7217b4
advance
prozacchiwawa Dec 23, 2023
d110170
More transformation. everything in compilation is properly routed by…
prozacchiwawa Dec 23, 2023
1d07990
revert
prozacchiwawa Dec 23, 2023
43fc160
revert
prozacchiwawa Dec 23, 2023
6af9ead
Keep moving forward
prozacchiwawa Jan 2, 2024
783a9ab
More moves
prozacchiwawa Jan 2, 2024
2b61a50
Moving
prozacchiwawa Jan 2, 2024
ab3e009
Move context into more places and add includes to it
prozacchiwawa Jan 3, 2024
1cd2051
Introduce FrontendOutput
prozacchiwawa Jan 3, 2024
7441734
move match_export_form
prozacchiwawa Jan 3, 2024
f987d2f
silence
prozacchiwawa Jan 4, 2024
2b4764a
Ok everything passes with properly layered integration of frontend an…
prozacchiwawa Jan 4, 2024
0ba4c0e
fmt
prozacchiwawa Jan 4, 2024
859b82d
fmt + clippy
prozacchiwawa Jan 4, 2024
2c83b62
Additional
prozacchiwawa Jan 4, 2024
2d176e8
test updates
prozacchiwawa Jan 4, 2024
289d522
Add new arg
prozacchiwawa Jan 4, 2024
7639c47
fmt
prozacchiwawa Jan 4, 2024
f3d1165
API movement
prozacchiwawa Jan 4, 2024
c19b621
Fix cldb print only
prozacchiwawa Jan 4, 2024
289ce76
fmt
prozacchiwawa Jan 4, 2024
e147e85
Add a test exercising the profiler wrapper
prozacchiwawa Jan 4, 2024
c3b73a9
opps
prozacchiwawa Jan 4, 2024
0d24c89
reverse unintended change
prozacchiwawa Jan 4, 2024
0dc0473
Fix allowing use of bare 'a' as a variable name to be interpreted as …
prozacchiwawa Jan 13, 2024
0a3a51a
fmt + clippy
prozacchiwawa Jan 13, 2024
fdda6aa
Add test for using prim names as variable names not getting broken du…
prozacchiwawa Jan 14, 2024
0eb6176
Add test_handcalc with cards. namespace. Fixes resolution of macros …
prozacchiwawa Jan 17, 2024
91f754f
More cards
prozacchiwawa Jan 17, 2024
bfc8238
fmt
prozacchiwawa Jan 17, 2024
1a77cd7
Move handcalc, properly support imports against the root namespace
prozacchiwawa Jan 17, 2024
b116bec
Add factorial test
prozacchiwawa Jan 17, 2024
f14e39f
Fix argument naming clashing with prims
prozacchiwawa Jan 17, 2024
105eb6f
Quiet some of this diagnostic to make deinlining a bit faster when an…
prozacchiwawa Jan 17, 2024
b1028e5
Add a test for importing a constant
prozacchiwawa Jan 18, 2024
2682351
opps
prozacchiwawa Jan 18, 2024
5b3b6a9
Add constant export
prozacchiwawa Jan 18, 2024
adae72e
Add different constant tests, resolve export helpers using find_helpe…
prozacchiwawa Jan 19, 2024
e047b38
Ensure sigils
prozacchiwawa Jan 19, 2024
ef0c94f
more sigil
prozacchiwawa Jan 19, 2024
091267c
fmt + clippy
prozacchiwawa Jan 19, 2024
74c770e
Add exposing renaming
prozacchiwawa Jan 19, 2024
f8470e1
clippy
prozacchiwawa Jan 19, 2024
13940ee
Fix a bug affecting macro name resolution
prozacchiwawa Jan 21, 2024
9fe6d8d
clippy
prozacchiwawa Jan 21, 2024
23b9970
Working tiered program with constants and constant outputs. We'll wr…
prozacchiwawa Feb 13, 2024
a4d82a8
Add
prozacchiwawa Feb 13, 2024
5d5bcaf
fix test
prozacchiwawa Feb 13, 2024
a441750
Add test
prozacchiwawa Feb 13, 2024
f11c7cd
Add test file
prozacchiwawa Feb 13, 2024
9f45abc
All positive tests passing, one negative test failing
prozacchiwawa Feb 14, 2024
0c09bbf
Ok needs a lot of cleaning but is detecting conditions we want and ge…
prozacchiwawa Feb 15, 2024
1d8abe2
WIP checkpoint starting to add a fuzzing framework that's more genera…
prozacchiwawa Feb 17, 2024
3ee4026
Start of a better, more flexible fuzzing system, including basic test…
prozacchiwawa Feb 18, 2024
2a7c44c
Ensure desugared helpers are generated from constants when generating…
prozacchiwawa Feb 19, 2024
76bef6f
Some work on performance, include lists in results from all compilati…
prozacchiwawa Feb 20, 2024
dc23f0c
Add load from hex
prozacchiwawa Feb 20, 2024
5093a09
Ensure that we mark all untabled standalone constants
prozacchiwawa Feb 20, 2024
264b1cc
Remove more spam, ensure that the summary includes the hash
prozacchiwawa Feb 20, 2024
ab5692a
Filling out the state machine of our fuzz rule set. We now have gene…
prozacchiwawa Feb 27, 2024
3f3bc0e
A bit better code
prozacchiwawa Feb 27, 2024
97dc262
Allow the fuzz system to be generic on the expression type
prozacchiwawa Feb 27, 2024
6f58bed
Armor fuzz generator even more
prozacchiwawa Feb 27, 2024
949e872
Factor out the type parameters into a single carrier with a type trait
prozacchiwawa Feb 27, 2024
1cd9141
WIP, have to work in functions to the export space
prozacchiwawa Mar 1, 2024
7eb16a1
WIP
prozacchiwawa Feb 29, 2024
58793ff
Working rule set for generating should-work programs that exercise st…
prozacchiwawa Mar 5, 2024
4cd562b
Stabilize with module_phase in opts. We'll start from there.
prozacchiwawa Mar 10, 2024
50af94e
WIP Checkpoint: build phase solves a lot of problems and functionalit…
prozacchiwawa Mar 11, 2024
968fb44
4 justifiable failures. Next to reintegrate: sequencing constant gen…
prozacchiwawa Mar 11, 2024
d7e76be
Down to 3 failed tests
prozacchiwawa Mar 12, 2024
25f5f38
Update test outputs, down to one failure.
prozacchiwawa Mar 12, 2024
73ca793
Better, we have plumbed the module phase all the way through to where…
prozacchiwawa Mar 12, 2024
0b77885
Get farther down the automatic test set.
prozacchiwawa Mar 12, 2024
7094cdc
Add a standalone constants info struct to collect things.
prozacchiwawa Mar 13, 2024
a112b96
Down to just the fuzzer failing. I think we'll need to have lambda-i…
prozacchiwawa Mar 13, 2024
d26e12c
Env filtering is working. Still have fuzz test failure but one major…
prozacchiwawa Mar 14, 2024
5dcbd2b
Previous failed fuzz test is working. On to another failure. This m…
prozacchiwawa Mar 14, 2024
27c286b
All tests passing
prozacchiwawa Mar 14, 2024
073b74e
pulling changes from integration-i branch
prozacchiwawa Mar 17, 2024
df4d119
Add more
prozacchiwawa Mar 17, 2024
5141ec4
More merging
prozacchiwawa Mar 17, 2024
793d098
Merge up more
prozacchiwawa Mar 17, 2024
3a7f3d7
For now, de-table all constants from modules. We'll likely re-table …
prozacchiwawa Mar 17, 2024
fd065e3
More diff
prozacchiwawa Mar 17, 2024
03be246
More movement
prozacchiwawa Mar 17, 2024
3c1ec49
Move to offcuts
prozacchiwawa Mar 17, 2024
5b7d365
Add CommonFunction module phase
prozacchiwawa Mar 18, 2024
a4718d9
Pull in breakup of generate_helper_body
prozacchiwawa Mar 18, 2024
6a1db7b
Introduce generation order without breaking things
prozacchiwawa Mar 18, 2024
166648e
Tests still passing, more integration
prozacchiwawa Mar 19, 2024
3a6def2
A little closer
prozacchiwawa Mar 19, 2024
5162ec3
Smooth out constant regeneration
prozacchiwawa Mar 19, 2024
593889f
Remove one alternative that isn't different
prozacchiwawa Mar 19, 2024
c26ae97
Move modernize until after namespace resolution so we can operate dir…
prozacchiwawa Mar 21, 2024
ab7369f
We can capture hashes and do constant outputs using them. It's not p…
prozacchiwawa Mar 21, 2024
77708cc
Start merging base
prozacchiwawa May 6, 2024
8dc271d
Adapt to override
prozacchiwawa May 6, 2024
c0a1cb8
Merge main in these files as we never used features in this way
prozacchiwawa May 6, 2024
596485b
Clippy
prozacchiwawa May 6, 2024
3706369
fmt
prozacchiwawa May 6, 2024
edc09b5
Take one change from this group
prozacchiwawa May 6, 2024
be68482
Add from base
prozacchiwawa May 6, 2024
c510bca
No more changes
prozacchiwawa May 6, 2024
d96707f
Add from base
prozacchiwawa May 6, 2024
08877ab
Updates
prozacchiwawa May 6, 2024
580f1a4
Update
prozacchiwawa May 6, 2024
69f3c14
More pulls (tentative)
prozacchiwawa May 6, 2024
177f1a7
Add fix from base
prozacchiwawa May 23, 2024
2bb04c6
Pull yaml updates
prozacchiwawa May 23, 2024
c2ce285
Update Cargo.toml
prozacchiwawa May 23, 2024
ef08cfc
Merge base wasm
prozacchiwawa May 23, 2024
5619faf
Pull sexp.rs from base
prozacchiwawa May 23, 2024
be7f8f0
Minor addition from base
prozacchiwawa May 23, 2024
1fc3261
Pull fix from main
prozacchiwawa May 28, 2024
fad4795
Ensure 00 int change is always reflected in module mode
prozacchiwawa May 30, 2024
3a89fcf
Remove debug-print feature from pyproject.toml
prozacchiwawa Jul 11, 2024
575699a
Patch up python api
prozacchiwawa Jul 12, 2024
547b8aa
fmt
prozacchiwawa Jul 12, 2024
2913580
Main merge attempt to stable constants iii
prozacchiwawa Jul 15, 2024
b3b11f3
Many tests fixed
prozacchiwawa Jul 15, 2024
dc8bef2
More improvements
prozacchiwawa Jul 15, 2024
13939ae
fmt
prozacchiwawa Jul 15, 2024
cb5fa66
More things closer to main
prozacchiwawa Jul 15, 2024
c40b638
Take main merge
prozacchiwawa Jul 15, 2024
3891e95
fmt + clippy
prozacchiwawa Jul 15, 2024
fdbbb68
Merge up
prozacchiwawa Jul 15, 2024
074e2a1
Merge up
prozacchiwawa Jul 15, 2024
0d736d2
Merge up
prozacchiwawa Jul 15, 2024
8d052f0
Merge up
prozacchiwawa Jul 15, 2024
1f2361f
Merge branch 'main' into 20240309-stable-constants-iii
prozacchiwawa Jul 15, 2024
96989a9
fmt
prozacchiwawa Jul 15, 2024
403cce9
Enusre includes list is passed in
prozacchiwawa Jul 15, 2024
e43afc7
clippy
prozacchiwawa Jul 15, 2024
3a883bc
Add signature definition for launch_tool
prozacchiwawa Jul 15, 2024
4d46eab
Fix
prozacchiwawa Jul 15, 2024
0fc8064
Update
prozacchiwawa Jul 15, 2024
e765169
Proper version from main
prozacchiwawa Jul 15, 2024
82c2cfb
Compile doesn't exist in main yet
prozacchiwawa Jul 15, 2024
b960850
Main
prozacchiwawa Jul 15, 2024
12806a7
Recurse filtermap_fun ... investigate
prozacchiwawa Jul 15, 2024
6c178a2
Make deps a bit more normal
prozacchiwawa Jul 15, 2024
91bacfc
Better deps: ensure they're also in dev-dependencies so we see them i…
prozacchiwawa Jul 15, 2024
f263d3b
Re-route profiling after merge. Will move this to an own pr
prozacchiwawa Jul 15, 2024
3fa2cf9
fmt
prozacchiwawa Jul 15, 2024
0109491
Merge up on other work box, fix argument to coverage
prozacchiwawa Jul 15, 2024
732c9e5
Bump pprof version
prozacchiwawa Jul 15, 2024
22741cb
Profiling has a runtime error with current rust, remove this for now …
prozacchiwawa Jul 15, 2024
ec75759
Add modern-sexp object, which is easy to remove if needed but is like…
prozacchiwawa Jul 15, 2024
1b67ea6
Merge up
prozacchiwawa Sep 11, 2024
be0d821
Fix dependencies 2 test
prozacchiwawa Sep 11, 2024
da5f3cc
fmt
prozacchiwawa Sep 11, 2024
7e42f98
Roll back ppv-lite due to license
prozacchiwawa Sep 11, 2024
55c2208
Too aggressive clippy
prozacchiwawa Sep 11, 2024
e9afb32
Revert "Too aggressive clippy"
prozacchiwawa Sep 11, 2024
1ae6b68
Upgrade maturin
prozacchiwawa Sep 11, 2024
7d28bbd
Update maturin
prozacchiwawa Sep 11, 2024
df4502b
Merge up
prozacchiwawa Sep 16, 2024
3b5415f
Close can of worms to open later
prozacchiwawa Sep 16, 2024
b901e41
Ensure the newer style of detect gets module style
prozacchiwawa Oct 11, 2024
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
2 changes: 1 addition & 1 deletion .github/workflows/build-test.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -215,7 +215,7 @@ jobs:
run: |
cargo install grcov
rustup component add llvm-tools-preview
python ./resources/coverage/run_coverage.py --require-percent 60
python ./resources/coverage/run_coverage.py --require-percent 60 --test-args="--features="

- name: Build alpine wheel via docker
if: startsWith(matrix.os, 'ubuntu') && startsWith(matrix.python, '3.8')
Expand Down
Loading
Loading