Fabian Schaub (0177e493) at 03 Aug 14:27
WIP: fixing no_buffer_case_wellformed
Fabian Schaub (783705ac) at 03 Aug 14:26
WIP: fixing no_buffer_case_wellformed
... and 4 more commits
Fabian Schaub (9ee832f2) at 03 Aug 09:54
finished one_buffer_case_wellformed
Fabian Schaub (1bcd28b5) at 02 Aug 14:04
WIP: one_buffer_case_wellformed
Fabian Schaub (e223a304) at 02 Aug 09:04
finished two buffer case wellformedness
Fabian Schaub (27adae6c) at 01 Aug 16:43
WIP: RTDeque
Fabian Schaub (61d5057a) at 01 Aug 12:44
added balance_levels_wellformed
Fabian Schaub (44a5e24e) at 01 Aug 11:16
added twobuffercase_wellformedness; added balance_lower_wellformedn...
Fabian Schaub (a8af065c) at 24 Jul 14:57
added yellow case of regularization_correctnessadded yellow case of...
Fabian Schaub (98f09af8) at 24 Jul 11:54
added eject_partal_dstack
Fabian Schaub (57448786) at 24 Jul 11:46
added pop_partial_dstack
Fabian Schaub (ba209090) at 18 Jul 16:20
added wellformedness of balance
Fabian Schaub (eef4df48) at 18 Jul 12:47
added regularization wellformedness toplevel
Fabian Schaub (1835b859) at 18 Jul 12:46
added regularization wellformedness toplevel
... and 1 more commit
Fabian Schaub (7decc6f0) at 14 Jun 20:34
removed DStack.wellformed from Deque.wellformed; added pres. deque....
Fabian Schaub (465f644e) at 14 Jun 19:51
added dstack wellformedness
Fabian Schaub (6f0f9d08) at 14 Jun 19:30
removed unused files
Fabian Schaub (6ece33a6) at 14 Jun 19:28
added preservation of deque wellformedness for push/eject
Fabian Schaub (84a58d94) at 29 May 20:24
added preservation of regularity on reverse