issues
search
rhit-csse-projects
/
RESOLVE
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
https://www.cs.clemson.edu/resolve/
BSD 3-Clause "New" or "Revised" License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
remove some java dists
#15
AdityaSenthilvel
closed
2 weeks ago
0
Procedure header in .rb must exist and match Operation header in .co (or .en)
#14
drholly77
opened
1 month ago
0
Procedure parameter modes (in .rb files) must match corresponding Operation parameter modes (in .en files)
#13
drholly77
opened
1 month ago
0
Procedure parameter modes (in .rb files) must match corresponding Operation parameter modes (in .co files)
#12
drholly77
opened
1 month ago
0
Automate generating vcs
#11
AdityaSenthilvel
closed
1 month ago
0
Research: IDE create JAR, automate generating VCs
#10
drholly77
closed
1 month ago
0
Specific variations of enhanced facilities not working -- output model needs revision/tweaking
#9
AdityaSenthilvel
closed
1 month ago
1
Complete Prover Refactor
#8
AdityaSenthilvel
closed
1 month ago
1
Prover fails to complete
#7
AdityaSenthilvel
closed
1 month ago
2
Non-Terminating Recursion (Prover)
#6
AdityaSenthilvel
closed
1 month ago
1
Add Congruence Class Registry JUnit to Continuous Integration
#5
AdityaSenthilvel
closed
1 month ago
1
Develop a test plan to handle pull requests
#4
AdityaSenthilvel
opened
2 months ago
0
HARD: Math unit error checking
#3
AdityaSenthilvel
opened
2 months ago
2
Easy: Concept parameter mode usage checking (10 hrs)
#2
AdityaSenthilvel
opened
2 months ago
2
Easy: Misuse of loop changing clause #452 (10 hrs)
#1
AdityaSenthilvel
opened
2 months ago
1