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

Hackathon fall 2023 #39

Merged
merged 31 commits into from
Dec 1, 2023
Merged

Hackathon fall 2023 #39

merged 31 commits into from
Dec 1, 2023

Conversation

danbryce
Copy link
Collaborator

@danbryce danbryce commented Dec 1, 2023

No description provided.

danbryce added 30 commits October 30, 2023 09:58
@danbryce
SIDARTHE model support
8220c39
@danbryce
halfar example, bug fixes
7ffb815
@danbryce
update outputs in notebook
cca8210
@danbryce
updates for halfar
c99adcc
@danbryce
demo'd version of halfar model
778b1d7
@danbryce
fixing tests
1961b3d
@danbryce
add funman command line
14b11cb
@danbryce
fix tests
a1a7592
@danbryce
separate user constraints
d71edd0
@danbryce
change save_smtlib config to path
d613005
@danbryce
demo updates
97410a4
@danbryce
fix tests
e0190a3
@danbryce
hackathon demos
8fc3e1c
@danbryce
add depth-first search to box search
d1668bc
@danbryce
ignores
5bb3c7d
@danbryce
Merge remote-tracking branch 'origin/hackathon_fall_2023' into hackat…
ad1a6ec 
…hon_fall_2023
@danbryce
halfar request
2477075
@danbryce
use normalized widths more carefully.
e38ac99
@danbryce
Merge remote-tracking branch 'origin/hackathon_fall_2023' into hackat…
d1e890a 
…hon_fall_2023
@danbryce
fix test
4fb1c5f
@danbryce
small improvements to run
1c95da1
@danbryce
Merge branch 'hackathon_fall_2023' of https://github.com/siftech/funman…
d662b74 
… into hackathon_fall_2023
@danbryce
avoid plotting parameters against self
aa3dd13
@danbryce
support absolute value
e90adad
@danbryce
refine plotting
788dfa0
@danbryce
logging
3a430be
@danbryce
update unsat core parsing
aaa0c0d
@danbryce
cleanup halfar generator
3b12978
@danbryce
move halfar examples
5a7d5db
@danbryce
fix core parsing and handling abs, use pysmt fork
a7f324c
@danbryce danbryce changed the base branch from main to develop December 1, 2023 19:27
@danbryce danbryce merged commit b2873f7 into develop Dec 1, 2023
4 checks passed
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.
1 participant
@danbryce