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.

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 a verified HashSet implementation + refactor package name of map + add script #106

Merged
merged 40 commits into from
Sep 9, 2024
Merged
Changes from 1 commit
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
c235fd7
renaming of package in the maps
samuelchassot Aug 14, 2024
f7591ee
add mutable sets project and start working on the implementation
samuelchassot Aug 14, 2024
6557e6d
working on hashset
samuelchassot Aug 14, 2024
56c6df5
Merge branch 'main' into sam/hashset
samuelchassot Aug 15, 2024
af061c6
add new lemmas about getKeysList to reuse in the set
samuelchassot Aug 15, 2024
78e5816
working on listmap to use it for hashset
samuelchassot Aug 15, 2024
9f32511
finished the Set
samuelchassot Aug 16, 2024
67044a6
add a few properties
samuelchassot Aug 16, 2024
75c01b4
remove benchmark results
samuelchassot Aug 16, 2024
492e1c7
restore deleted file
samuelchassot Aug 16, 2024
22cbedf
Merge branch 'main' into sam/hashset
samuelchassot Aug 28, 2024
546a936
change name package in lexers
samuelchassot Aug 28, 2024
bad1490
rename map package in caching functions
samuelchassot Aug 28, 2024
f98a204
finish renaming map package to map
samuelchassot Aug 28, 2024
82cb569
Add script that runs all verify.sh scripts
samuelchassot Aug 28, 2024
a5e7b8b
scala version 3.5.0 for sbt projects
samuelchassot Aug 29, 2024
8f5cd7b
fail if one fails
samuelchassot Aug 29, 2024
4990fe6
config + remove useless file
samuelchassot Aug 29, 2024
ccaa27d
add main class + method to get an empty set
samuelchassot Aug 29, 2024
730e4b0
filter hashset to not verify the maps
samuelchassot Aug 29, 2024
a65d5e1
make it compile with SBT and add a Main
samuelchassot Aug 29, 2024
ae21599
rename interfaces to avoid confusion with immutable structures
samuelchassot Aug 30, 2024
d06392e
remove benchmark result files
samuelchassot Aug 30, 2024
1e2d560
add $1 at the end of verify.sh scripts to be able to pass --compact w…
samuelchassot Sep 3, 2024
bb84a62
add a success message in run-tests so that we can export the log to P…
samuelchassot Sep 3, 2024
75add9c
add unfold to make ConstFold verify
samuelchassot Sep 3, 2024
1521163
message out of the loop
samuelchassot Sep 3, 2024
fe96954
Merge branch 'main' into sam/hashset
samuelchassot Sep 5, 2024
cf91c0f
Merge branch 'main' into sam/hashset
samuelchassot Sep 6, 2024
cc725c4
typo in script
samuelchassot Sep 6, 2024
802f7fa
add mutablesets in the tests nightly
samuelchassot Sep 6, 2024
dee2aca
Merge branch 'main' into sam/hashset
samuelchassot Sep 6, 2024
c81b9d3
error in verify script for set + error in run-test scripts making all…
samuelchassot Sep 6, 2024
ad1c497
run all tests once
samuelchassot Sep 6, 2024
6eb65bb
run on laraquad2
samuelchassot Sep 6, 2024
68cbad3
remove laraquad2 requirement
samuelchassot Sep 6, 2024
1cc76f6
with VCs admit back
samuelchassot Sep 6, 2024
223b91e
remove cache
samuelchassot Sep 6, 2024
cf735d3
Merge branch 'main' into sam/hashset
samuelchassot Sep 9, 2024
8b4e988
Merge branch 'main' into sam/hashset
samuelchassot Sep 9, 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
Next Next commit
make it compile with SBT and add a Main
samuelchassot committed Aug 29, 2024
commit a65d5e1659a1b5d5388e6ff85b9ef34360cc9e04
2 changes: 1 addition & 1 deletion data-structures/sets/mutablesets/build.sbt
Original file line number Diff line number Diff line change
@@ -2,7 +2,7 @@ name := "MutableSets"
version := "0.1.0-SNAPSHOT"
scalaVersion :="3.5.0"

run / fork := true
// run / fork := true

stainlessEnabled := false

Original file line number Diff line number Diff line change
@@ -3,14 +3,8 @@ package ch.epfl.set
import ch.epfl.map.MutableLongMap
import ch.epfl.map.ListLongMap
import ch.epfl.map.Hashable
import stainless.collection.List
import benchmark.BenchmarkUtil.*
import benchmark.Key
import ch.epfl.set.MutableHashSet

case class IntHashable() extends Hashable[Int] {
def hash(x: Int): Long = x.toLong
}
object Main {
def main(args: Array[String]): Unit = {
val set = MutableHashSet.getEmptyHashSet[Int](IntHashable())
@@ -19,7 +13,10 @@ object Main {
println(f"Set.contains(1): ${set.contains(1)}")
println(f"Set.contains(2): ${set.contains(2)}")
println(f"Set.contains(3): ${set.contains(3)}")
}

case class IntHashable() extends Hashable[Int] {
def hash(x: Int): Long = x.toLong
}

}

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.