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

EVEN MORE RUST #300

Closed
wants to merge 20 commits into from
Closed

EVEN MORE RUST #300

wants to merge 20 commits into from

Conversation

giltho
Copy link
Contributor

@giltho giltho commented Jul 6, 2024

  • Some printing and slightly more reduction of list
  • tmi-ing some verbose stuff
  • I won't even talk about this nightmare
  • aaaaa
  • expose Delayed.reduce_formula
  • mli expose reduce_f
  • fix z3 smt dump, less information but at least no segfault
  • z3 upgrade
  • model validate?
  • things within lists cannot be sets
  • no model-validate because it doesn't do anything
  • Add implication to GIL expressions
  • lift BImpl
  • more reductions
  • MORE REDUCTIONS
  • MORE. REDUCTIONS.
  • Let's see if this breaks anything
  • urgh
  • M.O.R.E. REDUCTIONS

giltho added 20 commits July 5, 2024 20:08
@giltho
Some printing and slightly more reduction of list
0c5c615 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
tmi-ing some verbose stuff
17d80e4 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
I won't even talk about this nightmare
fd55c93 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
aaaaa
bf6118b 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
expose Delayed.reduce_formula
890d0c2 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
mli expose reduce_f
3ed9d58 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
fix z3 smt dump, less information but at least no segfault
84b6e54 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
z3 upgrade
5339c36 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
model validate?
aca6bdf 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
things within lists cannot be sets
b760a23 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
no model-validate because it doesn't do anything
29de4a0 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
Add implication to GIL expressions
8bc9aa4 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
lift BImpl
8dc3e78 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
more reductions
82bda2e 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
MORE REDUCTIONS
ce8a08d 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
MORE. REDUCTIONS.
7a4f648 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
Let's see if this breaks anything
8ff372d 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
urgh
ab6c607 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
M.O.R.E. REDUCTIONS
ef95775 
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
Merge branch 'master' into more-rust
1dedc25
@giltho giltho closed this Jul 6, 2024
@giltho giltho deleted the more-rust branch July 6, 2024 19:29
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
@giltho