Skip to content

Working dir#64

Merged
ampetz merged 11 commits intomainfrom
working_dir
Mar 5, 2026
Merged

Working dir#64
ampetz merged 11 commits intomainfrom
working_dir

Conversation

@ampetz
Copy link
Copy Markdown
Contributor

@ampetz ampetz commented Mar 3, 2026

Refactoring demo ASPs to use external library dependencies:

  • hamrLib for HAMR logic/datatypes in hamr_readfile_range_many ASP (and readfile_range_many_appr appraisal ASP)
  • adding helper functions to lynette library for more robust verus_compare ASP

@ampetz ampetz requested a review from Durbatuluk1701 March 3, 2026 18:46
@Durbatuluk1701
Copy link
Copy Markdown
Collaborator

Looks like CI is failing due to the rust-am-lib being out of date. You should probably update the version number in rust-am-lib (to 0.4.0 it seems) and then make from this commit onwards require 0.4.0 too

@ampetz ampetz merged commit 805b5a0 into main Mar 5, 2026
1 of 2 checks passed
@ampetz ampetz deleted the working_dir branch March 5, 2026 16:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants