| .. |
|
b2dc.txt
|
16aea7da03
Initial commit from svn
|
9 years ago |
|
binary_to_decimal.alc
|
2ec1ad9500
Updated tests to new format
|
9 years ago |
|
factorial.alc
|
2ec1ad9500
Updated tests to new format
|
9 years ago |
|
fibonacci.alc
|
2ec1ad9500
Updated tests to new format
|
9 years ago |
|
fibonacci_smart.alc
|
2ec1ad9500
Updated tests to new format
|
9 years ago |
|
if_elif.alc
|
2ec1ad9500
Updated tests to new format
|
9 years ago |
|
if_elif_else.alc
|
2ec1ad9500
Updated tests to new format
|
9 years ago |
|
import_metamodel_cs.txt
|
16aea7da03
Initial commit from svn
|
9 years ago |
|
leap_year.alc
|
2ec1ad9500
Updated tests to new format
|
9 years ago |
|
lib_remainder.alc
|
2ec1ad9500
Updated tests to new format
|
9 years ago |
|
main.alc
|
16aea7da03
Initial commit from svn
|
9 years ago |
|
pn_interface.alc
|
5249d3a690
Fixed some parts of the code: at least now some violations are detected
|
9 years ago |
|
power.alc
|
2ec1ad9500
Updated tests to new format
|
9 years ago |
|
remainder.alc
|
16aea7da03
Initial commit from svn
|
9 years ago |
|
revert.alc
|
2ec1ad9500
Updated tests to new format
|
9 years ago |
Yentl Van Tendeloo
5249d3a690
Fixed some parts of the code: at least now some violations are detected