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

Add initial sequences package + Make package names consistent #11

Merged
merged 19 commits into from
Feb 8, 2024
Merged

Add initial sequences package + Make package names consistent #11

Show file tree
Hide file tree
Changes from 15 commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
9ca98ce
WIP: Port over definitions from Dafny
dnezam Nov 27, 2023
f06efed
Continue porting definitions from Dafny
dnezam Nov 29, 2023
b0095d2
Continue porting definitions from Dafny
dnezam Dec 3, 2023
7c6dd9d
Merge branch 'main' into sequences
dnezam Dec 3, 2023
bf91499
Start adding set-related definitions
dnezam Dec 3, 2023
3ddcf8d
Continue adding set-related definitions
dnezam Dec 4, 2023
4a358ca
Remove set-related definitions and clean up file
dnezam Dec 8, 2023
6f568fa
Address feedback
dnezam Dec 27, 2023
1f14160
Remove duplicate math.gobra
dnezam Feb 6, 2024
7624bea
Add missing termination measure
dnezam Feb 6, 2024
61701cd
Add missing termination measure
dnezam Feb 6, 2024
8685302
Consistently name util
dnezam Feb 6, 2024
ef8622a
Making package naming consistent
dnezam Feb 6, 2024
facead8
Address feedback + rename packages again
dnezam Feb 6, 2024
9dcb7c2
Address some feedback
dnezam Feb 7, 2024
8e42324
Change decreases _ to decreases + Add body
dnezam Feb 8, 2024
8ae47f3
Remove broken trigger
dnezam Feb 8, 2024
401a8cc
Update comment
dnezam Feb 8, 2024
6ab9bda
Update comment
dnezam Feb 8, 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
0 math.gobra → math/math.gobra
View file
Open in desktop
File renamed without changes.
Loading
Loading