source: CIVL/examples/contracts/contractsMPI@ bd6628e

1.23 2.0 acw/focus-triggers main test-branch
Name Size Rev Age Author Last Change
../
civl_mpi_collectives aaa9c8d   – – –
wildcard-good.c 671 bytes ​ cc2ac3e   – – –
wildcard-error.c 678 bytes ​ cc2ac3e   – – –
simpleMpiValid.c 561 bytes ​ 452331f   – – –
simpleMpiValid3.c 487 bytes ​ 452331f   – – –
simpleMpiValid2.c 433 bytes ​ cc2ac3e   – – –
simpleMpiTest.c 426 bytes ​ ef8e46c   – – –
simpleMpiTest3.c 812 bytes ​ 40f7cfa   – – –
simpleMpiRegion.c 348 bytes ​ 7bbef04   – – –
simpleMpiOffset.c 414 bytes ​ 7bbef04   – – –
simpleMpiOffset2.c 578 bytes ​ 452331f   – – –
simpleMpiAgree.c 375 bytes ​ cc2ac3e   – – –
simpleGuard.cvl 122 bytes ​ 762b93c   – – –
quantifiedRemote.c 196 bytes ​ dbc31e2   – – –
need_heuristics.why 7.7 KB ​ aaa9c8d   – – –
mpiValid.c 447 bytes ​ 6a0885e   – – –
Makefile 205 bytes ​ 40f7cfa   – – –
madre_computeDirectMoves.c 2.0 KB ​ 7f8124c   – – –
gaussJordan_elimination_spec.c 5.3 KB ​ 7f8124c   – – –
gaussJordan_elimination_mpi.c 8.4 KB ​ 7f8124c   – – –
dummyMpiTest.c 255 bytes ​ 40f7cfa   – – –
diffusion2d.c 5.7 KB ​ aaa9c8d   – – –
diffusion2d-bad_impl.c 5.7 KB ​ aaa9c8d   – – –
diffusion2d-bad_ensures.c 5.7 KB ​ aaa9c8d   – – –
diffusion1dUpdate_loop_bad.c 716 bytes ​ aaa9c8d   – – –
diffusion1dUpdate_ensures_bad.c 720 bytes ​ aaa9c8d   – – –
diffusion1dUpdate_assert_bad.c 840 bytes ​ aaa9c8d   – – –
diffusion1dIter-requires_bad.c 4.2 KB ​ aaa9c8d   – – –
diffusion1dIter-ensures_bad.c 4.2 KB ​ aaa9c8d   – – –
diffusion1dIter-ensures_bad3.c 4.2 KB ​ aaa9c8d   – – –
diffusion1dIter-ensures_bad2.c 4.2 KB ​ aaa9c8d   – – –
diffusion1dExchange_impl_bad.c 2.2 KB ​ 6a486cc   – – –
diffusion1dExchange_ensures_bad.c 2.2 KB ​ aaa9c8d   – – –
diffusion1d.c 4.1 KB ​ 6a486cc   – – –
aPossibleBug.c 656 bytes ​ 40f7cfa   – – –
acslAssignsTest.c 540 bytes ​ aaa9c8d   – – –
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.