issues
search
iu-parfunc
/
verified-instances
Verified instances for parallel programming.
BSD 3-Clause "New" or "Revised" License
8
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update code to work with LH 0.8.4
#11
ranjitjhala
closed
5 years ago
0
Updates for LH 084
#10
ranjitjhala
closed
5 years ago
9
Idea: making non-IO schedulers efficient
#9
rrnewton
opened
7 years ago
1
popl18: fix dockerfile
#8
atondwal
closed
7 years ago
1
Progress on three benchmark categories
#7
rrnewton
opened
8 years ago
2
fix products
#6
nikivazou
closed
8 years ago
9
link LH to fixed #820
#5
nikivazou
closed
8 years ago
1
Nat with verified eq data type
#4
nikivazou
closed
8 years ago
5
Goal 0.3 -- check off the DPJ commutative keyword uses
#3
rrnewton
opened
8 years ago
0
Goal 0.2: parallel fold
#2
rrnewton
opened
8 years ago
4
Goal 0.1: insert + parallel map on a set
#1
rrnewton
opened
8 years ago
15