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

Some basic simplification rules for reals #3305

Merged
merged 3 commits into from
Jun 25, 2024
Merged

Some basic simplification rules for reals #3305

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
8c9eb4e
Primops: add some very basic simplification rules for real numbers
mtzguido May 23, 2024
4c39c0d
Add a test for real simplification
mtzguido May 23, 2024
db4b23c
snap
mtzguido May 28, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
snap
  • Loading branch information
@mtzguido
mtzguido committed Jun 25, 2024
commit db4b23c458ae32e3a5a240ba57e45705950a5413
10 changes: 8 additions & 2 deletions ocaml/fstar-lib/generated/FStar_TypeChecker_Primops.ml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

200 changes: 200 additions & 0 deletions ocaml/fstar-lib/generated/FStar_TypeChecker_Primops_Real.ml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading