source: CIVL/examples/languageFeatures@ 7acd15d

1.23 2.0 main test-branch
Name Size Rev Age Author Last Change
../
union.cvl 170 bytes ​ d980649   – – –
undefPointer.cvl 191 bytes ​ 11cc8de   – – –
undefHeapPointer.cvl 248 bytes ​ e6b02c8   – – –
switch.cvl 311 bytes ​ d980649   – – –
structStruct.cvl 307 bytes ​ d980649   – – –
structArray.cvl 328 bytes ​ d980649   – – –
struct.cvl 651 bytes ​ d980649   – – –
stringTest.cvl 732 bytes ​ d980649   – – –
staticVar.cvl 126 bytes ​ e044cc4   – – –
splitFormatBad.cvl 223 bytes ​ 08299ed   – – –
splitFormatBad3.cvl 141 bytes ​ 025cc4f   – – –
splitFormatBad2.cvl 175 bytes ​ d94da5b   – – –
splitFormat.cvl 585 bytes ​ cdf79db   – – –
spawnFoo.cvl 111 bytes ​ d980649   – – –
sizeof.cvl 303 bytes ​ d980649   – – –
sideEffects.cvl 243 bytes ​ d980649   – – –
sideEffectLoop.cvl 181 bytes ​ e6b02c8   – – –
shortCircuit.c 154 bytes ​ 8519490   – – –
self.cvl 265 bytes ​ d980649   – – –
scoping.cvl 410 bytes ​ d980649   – – –
scopeOperators.cvl 1.2 KB ​ d980649   – – –
removedHeapPointer.cvl 608 bytes ​ e6b02c8   – – –
quantifiers.cvl 455 bytes ​ d980649   – – –
quantifiedComp.cvl 392 bytes ​ ca6241a   – – –
procNull.cvl 131 bytes ​ e6b02c8   – – –
processLeak.cvl 393 bytes ​ e6b02c8   – – –
procBound.cvl 95 bytes ​ 3ff27cf   – – –
pointerSubtractionBad.cvl 181 bytes ​ 9803bc1   – – –
pointerSubtractionBad2.cvl 340 bytes ​ 9803bc1   – – –
pointerSubtraction.cvl 554 bytes ​ d980649   – – –
pointersBad.cvl 1.0 KB ​ c33bde8   – – –
pointers.cvl 799 bytes ​ d980649   – – –
pointerAddBad.cvl 121 bytes ​ 01188a2   – – –
pointerAddBad7.c 108 bytes ​ f844fcb   – – –
pointerAddBad6.c 202 bytes ​ 8777216   – – –
pointerAddBad5.c 129 bytes ​ 01188a2   – – –
pointerAddBad4.c 192 bytes ​ 4c67e83   – – –
pointerAddBad3.c 111 bytes ​ 7db6b12   – – –
pointerAddBad2.cvl 344 bytes ​ e6b02c8   – – –
pointerAdd.cvl 1.5 KB ​ d980649   – – –
pointerAdd6.c 125 bytes ​ 7fbac2e   – – –
pointerAdd2.cvl 1.3 KB ​ d980649   – – –
pointerAdd1.cvl 180 bytes ​ d40cc494   – – –
outputBad.cvl 223 bytes ​ 00424b7   – – –
null.cvl 148 bytes ​ 88c4a13   – – –
notValidResultType.cvl 247 bytes ​ d980649   – – –
not.cvl 75 bytes ​ d980649   – – –
noopBad.cvl 144 bytes ​ 939152a   – – –
nonbooleanCondition.cvl 351 bytes ​ d980649   – – –
nestedQuantifier.cvl 334 bytes ​ 445446f   – – –
minimal.cvl 76 bytes ​ 36b5ada   – – –
memoryLeak.cvl 646 bytes ​ e6b02c8   – – –
memLeak.cvl 90 bytes ​ a47a06a   – – –
mallocBad.cvl 242 bytes ​ d980649   – – –
mallocBad2.cvl 219 bytes ​ d980649   – – –
malloc.cvl 226 bytes ​ d980649   – – –
Makefile 6.9 KB ​ 00424b7   – – –
linkedList.cvl 841 bytes ​ d980649   – – –
libraryException.cvl 62 bytes ​ c248931   – – –
intToPointer.cvl 163 bytes ​ 39b7d2e   – – –
intToBool.cvl 161 bytes ​ e6b02c8   – – –
int2float.cvl 78 bytes ​ 2e462fc   – – –
int2charBad.cvl 315 bytes ​ d980649   – – –
int2charBad2.cvl 114 bytes ​ 9803bc1   – – –
int2char.cvl 482 bytes ​ d980649   – – –
inputBad.cvl 214 bytes ​ e6b02c8   – – –
initialValues.cvl 319 bytes ​ 9c408a2   – – –
include3.cvl 58 bytes ​ 3ff27cf   – – –
include2.cvl 24 bytes ​ a603888   – – –
include1.cvl 66 bytes ​ a603888   – – –
implies.cvl 223 bytes ​ d980649   – – –
functionPrototypeBad.cvl 154 bytes ​ d980649   – – –
functionPrototype.cvl 303 bytes ​ e6b02c8   – – –
functionPointer.cvl 1.3 KB ​ d980649   – – –
functionBad.cvl 328 bytes ​ e6b02c8   – – –
for.cvl 192 bytes ​ ddb3718   – – –
enum2.cvl 382 bytes ​ d980649   – – –
enum1.cvl 234 bytes ​ d980649   – – –
emptyWhen.cvl 96 bytes ​ 36b5ada   – – –
dynamicStruct.cvl 492 bytes ​ d980649   – – –
duffs.cvl 766 bytes ​ d980649   – – –
divisionByZero.cvl 91 bytes ​ f30c63d   – – –
continue.cvl 422 bytes ​ d980649   – – –
condLHS.c 362 bytes ​ 9974e8a   – – –
conditionalExpression.cvl 1.1 KB ​ d980649   – – –
compare.cvl 175 bytes ​ d980649   – – –
comma.cvl 163 bytes ​ d980649   – – –
civlValueUndefined.cvl 831 bytes ​ 1e10e73   – – –
civlPragma.cvl 294 bytes ​ d980649   – – –
civlParforNotConcrete.cvl 395 bytes ​ 6d95f28   – – –
civlParfor.cvl 333 bytes ​ d980649   – – –
civlfor.cvl 298 bytes ​ d980649   – – –
choose_int.cvl 156 bytes ​ d980649   – – –
choose.cvl 299 bytes ​ 725d31e   – – –
char.cvl 161 bytes ​ 0ca4256   – – –
cast.cvl 265 bytes ​ d980649   – – –
bundleTestBad.cvl 398 bytes ​ 9803bc1   – – –
bundleTest.cvl 2.5 KB ​ 3ff27cf   – – –
bundleStructComponent.cvl 430 bytes ​ d980649   – – –
bundleStruct.cvl 467 bytes ​ d980649   – – –
bundleSize.cvl 332 bytes ​ d980649   – – –
bundleConcrete.cvl 318 bytes ​ d980649   – – –
bundleArray.cvl 328 bytes ​ d980649   – – –
break.cvl 296 bytes ​ d980649   – – –
bitwise.cvl 94 bytes ​ 4553043   – – –
bigO.cvl 343 bytes ​ d980649   – – –
badGuard.cvl 374 bytes ​ d980649   – – –
atomWaitBad.cvl 318 bytes ​ e6b02c8   – – –
atomStatement.cvl 868 bytes ​ d980649   – – –
atomicWait.cvl 369 bytes ​ d980649   – – –
atomicStatement.cvl 508 bytes ​ d980649   – – –
atomicFunctionSpecifier.cvl 439 bytes ​ bf6aebb   – – –
atomicBlockedResume.cvl 587 bytes ​ e6b02c8   – – –
atomChooseBad.cvl 372 bytes ​ e6b02c8   – – –
assume.cvl 159 bytes ​ d980649   – – –
assignIntWtReal.cvl 231 bytes ​ e6b02c8   – – –
assignInput.cvl 121 bytes ​ d980649   – – –
assertPrintf.cvl 220 bytes ​ 3ff27cf   – – –
assertNullPointer.cvl 147 bytes ​ d980649   – – –
assertNonNullPointer.cvl 182 bytes ​ d980649   – – –
arrays.cvl 304 bytes ​ d980649   – – –
arrayPointer.cvl 191 bytes ​ d980649   – – –
arrayLiteral.cvl 202 bytes ​ 1dd9245   – – –
arrayDefProblem.cvl 186 bytes ​ e6b02c8   – – –
abstractFunNoArg.cvl 184 bytes ​ e6b02c8   – – –
abstractFun.cvl 258 bytes ​ 3ff27cf   – – –
2dpointerTest.cvl 523 bytes ​ e6b02c8   – – –
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.