mm-adt vm issues - Githubissues

mm-adt / vm

The mm-ADT Virtual Machine

http://vm.mm-adt.org

GNU Affero General Public License v3.0

34 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Improved clarity of assertion failure for *InstTests

#11 spmallette closed 4 years ago
0
Converted all branch tests to use BaseInstTest

#10 spmallette closed 4 years ago
0
Added test sets

#9 spmallette closed 4 years ago
0
Added a common base test for *InstTest

#8 spmallette closed 4 years ago
1
Changed asciidoctorj and asciidoctorj-diagram to latest working versions.

#7 bshambaugh closed 4 years ago
5
asciidoctor is missing some things in the directory, therefore I cannot use it

#6 bshambaugh opened 4 years ago
4
Coq has arrived

#5 wisnesky closed 4 years ago
2
Hooked in custom mm-adt specific sbt-site plugin

#4 okram closed 4 years ago
0
Replace missing repeat function in java

#3 drever closed 4 years ago
0
" ".repeat issues in traverse Explainop.scala

#2 bshambaugh opened 4 years ago
0
porting mm-adt to non JVM language - go(lang)

#1 novocodev opened 4 years ago
3