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

EXPERIMENT: refactored get buffer on top of remove-mapint2int #169

Closed
wants to merge 31 commits into from
Closed

EXPERIMENT: refactored get buffer on top of remove-mapint2int #169

wants to merge 31 commits into from

Conversation

jberthold
Copy link
Member

No description provided.

virgil-serbanuta and others added 30 commits June 12, 2024 23:49
@virgil-serbanuta
Remove MapInt2Int
f5a6003
@virgil-serbanuta
Remove MapIntToBytes
7cb83cc
@virgil-serbanuta
Update tests
6e35d52
@virgil-serbanuta
Update coindrio
5d74354
Set Version: 0.1.63
68bc5f1
@jberthold
Merge remote-tracking branch 'origin/master' into remove-mapint2int
49a4fcb
@jberthold
python mx.py: remove obsolete k_map import
ef6255a
Set Version: 0.1.71
92f2946
@virgil-serbanuta
Fix Map sort in python
185ca06
deps/mx-semantics_release: Set Version 0.1.89
3b0496f
Set Version: 0.1.72
b2eac41
kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files
1582f70
flake.{nix,lock}: update Nix derivations
d1d3f4c
@jberthold
Merge remote-tracking branch 'origin/_update-deps/runtimeverification…
d8c09c6 
…/mx-semantics' into remove-mapint2int
deps/mx-semantics_release: Set Version 0.1.90
6813154
kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files
a4cb123
flake.{nix,lock}: update Nix derivations
19ca1a8
@virgil-serbanuta
Merge branch 'master' into remove-mapint2int
6f51421
Set Version: 0.1.73
8275a8f
@virgil-serbanuta
Merge branch 'master' into _update-deps/runtimeverification/mx-semantics
f0714e7
Set Version: 0.1.73
73f756a
flake.{nix,lock}: update Nix derivations
b76cecc
deps/mx-semantics_release: Set Version 0.1.91
50b5e9c
kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files
6250c63
flake.{nix,lock}: update Nix derivations
4ffff95
@jberthold
Merge remote-tracking branch 'origin/_update-deps/runtimeverification…
7e02b3f 
…/mx-semantics' into remove-mapint2int
@jberthold
use mx-semantics from branch for testing
79c6328
@jberthold
EXPERIMENT: take extensive server logs from nix smoke-test step
db3f2d1
@jberthold
place log file inside /tmp
94860c5
@jberthold
skip log archival on cancelled jobs
55baa7a
@jberthold jberthold closed this Jul 10, 2024
@jberthold jberthold deleted the TESTING-refactored-getBuffer-and-remove-mapint2int branch July 10, 2024 00:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jberthold @virgil-serbanuta