jesper-bengtson Charge issues - Githubissues

jesper-bengtson / Charge

Higher-order separation logic framework in Coq

Other

1 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix references so you can actually build the project.

#10 kasperStig opened 7 years ago
0
Why is OrderedTypeString inside of SepAlgMap?

#9 gmalecha opened 9 years ago
0
make the build system work.

#8 gmalecha closed 9 years ago
6
Integrate with the _CoqProject build system

#7 gmalecha closed 9 years ago
0
Which folder should we run Coq from?

#6 jesper-bengtson closed 10 years ago
0
Parsing madness

#5 jesper-bengtson opened 10 years ago
0
Isolate class definitions?

#4 gmalecha opened 10 years ago
4
Fix 'Pure' and the pure instances

#3 gmalecha closed 10 years ago
1
Remove all of the "Add Rec Loadpath ...."

#2 gmalecha opened 10 years ago
1
Building Charge under a library name

#1 gmalecha opened 10 years ago
1