Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
13 check-ins related to "pt-peg_op-tests-ssoberni"
|
2018-09-24
| ||
| 18:12 | Merged Stefan's work on pt::peg::op (dechain fixes, extended tests) check-in: cce0d233e5 user: andreask tags: pooryorick | |
| 18:11 | <B,T,I> pt::peg::op - Version bump Closed-Leaf check-in: ddc56e2d2e user: andreask tags: pt-peg_op-tests-ssoberni | |
|
2018-09-22
| ||
| 22:06 | * pt_peg_op.tcl, pt_peg_op.tests: Added copyright note check-in: 60adafcaa4 user: ssoberni tags: pt-peg_op-tests-ssoberni | |
| 21:57 | * pt_peg_op.tcl, pt_peg_op.tests: Removed old dechain, renamed dechain2 to dechain check-in: 44585f321b user: ssoberni tags: pt-peg_op-tests-ssoberni | |
|
2018-09-21
| ||
| 21:06 | * tests/pt_peg_op.tests: Use [dict filter] idiom which is compatible with Tcl 8.5 and Tcl 8.6 (TIP 341); added one test. check-in: 4cf9fb8395 user: ssoberni tags: pt-peg_op-tests-ssoberni | |
| 11:22 | * pt_peg_op.tcl, tests/pt_peg_op.tests (dechain2): Use [struct::set empty], add tests on modeopt check-in: 3da20ee5d9 user: ssoberni tags: pt-peg_op-tests-ssoberni | |
|
2018-09-18
| ||
| 22:21 | * pt_peg_op.tcl: Complete dechain2, to be reviewed check-in: 6ac792f623 user: ssoberni tags: pt-peg_op-tests-ssoberni | |
|
2018-08-08
| ||
| 14:42 | * pt_peg_op.tcl: Sort out correct order of minimization transformations: dechaining must precede unrealizable and unreachable transformations check-in: cfca679384 user: ssoberni tags: pt-peg_op-tests-ssoberni | |
| 14:28 | * pt_peg_op.tcl: Started work on a proper dechain transformation (dechain2); the current dechain logic is entirely broken; added tests check-in: f71a1db4a8 user: ssoberni tags: pt-peg_op-tests-ssoberni | |
|
2018-07-25
| ||
| 12:26 | Adding tests for pt::peg::op realizable and reachable check-in: be24b48161 user: ssoberni tags: pt-peg_op-tests-ssoberni | |
|
2018-07-16
| ||
| 10:54 | Adding tests for pt::peg::op called check-in: 6c7e7ee0de user: ssoberni tags: pt-peg_op-tests-ssoberni | |
| 09:25 | Create new branch named "pt-peg_op-tests-ssoberni" check-in: 9b2222e1ad user: ssoberni tags: pt-peg_op-tests-ssoberni | |
|
2018-07-09
| ||
| 21:27 | pt::peg::op `drop unrealizable` more conservative, ignore unreachable symbols as realizable. Tests pass. check-in: 4bbe140a79 user: andreask tags: trunk | |