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

Isabelle2021-1 #1

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Isabelle2021-1 #1

wants to merge 8 commits into from

Conversation

smokhov
Copy link
Member

@smokhov smokhov commented Feb 25, 2022

Proposed sample changes to port to Isabelle2021-1.

  • arrange subdirs for sessions to avoid more than two sessions in one dir
  • add some missing SMT files
  • (contrib/z3-3.2 skipped in the repo)

peymandk and others added 8 commits February 25, 2022 11:41
@peymandk @smokhov
Add temporary modifications to TestGen
d2a1757 
(cherry picked from commit 1f306a984404b9c7cf30020614a00d4186e33a2d)
@peymandk @smokhov
Old SMT added
6712473 
(cherry picked from commit 4105105ee7363eaaa1e58b0496c21e189e3a3496)
@peymandk @smokhov
SMT added from 2016
fa790a8 
(cherry picked from commit 85ca6078c2e8a5d09285888781abdca5a4075d29)
@smokhov
[test-gen] split main into dir and upate ROOT with Serguei
cb9aac9 
(cherry picked from commit cbe94ffd6cbae6bdf044c5eed4c2369e58399b90)
@smokhov
[i2021-1] move adjusted ROOT files to their proper place
05a0074
@smokhov
[i2021-1] move re-arranged thy files into proper session dirs
fea4137
@smokhov
[i2021-1] commit older compat SMT folder from 2016
4c9e7d8
@smokhov
[i2021-1] clean up test-gen copy of SMT
79b0ce9
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
@smokhov @peymandk