trc checkpoint
authorThomas Walker Lynch <thomas.lynch@reasoningtechnology.com>
Mon, 1 Apr 2019 18:32:50 +0000 (20:32 +0200)
committerThomas Walker Lynch <thomas.lynch@reasoningtechnology.com>
Mon, 1 Apr 2019 18:32:50 +0000 (20:32 +0200)
commit7bf5d02abc44bb11196c7b18e9ef3604ad4a11de
tree82a780ad3f21b1955ac4de0ad4def687d1b210c7
parentb52d081653b3b2f078115f74c6d2e9c66a51677a
trc checkpoint
module/share/lib/libda.a
module/tranche/src/tranche.lib.c
module/tranche/test/try/test2.sh
module/tranche/test/try/test2stdout.dat [deleted file]
module/tranche/test/try/test2stdout.dat.expected [new file with mode: 0644]
module/tranche/test/try/test3.out.expected
module/tranche/test/try/test4.out.expected
module/tranche/test/try/test5.sh
tool/bin/tranche
tool/bin/tranche-make
tool/bin/tranche-target