libfirm
11 years agobechordal: Simplify get_next_free_reg() by priming the set of available registers...
Christoph Mallon [Sun, 25 Nov 2012 13:31:38 +0000 (14:31 +0100)]
bechordal: Simplify get_next_free_reg() by priming the set of available registers only with the allocatable registers.

11 years agobechordal: Remove the write-only bitset live.
Christoph Mallon [Sun, 25 Nov 2012 13:08:51 +0000 (14:08 +0100)]
bechordal: Remove the write-only bitset live.

11 years agobechordal: Cleanup.
Christoph Mallon [Sun, 25 Nov 2012 11:29:43 +0000 (12:29 +0100)]
bechordal: Cleanup.

11 years agobeinsn: Remove the write-only attribute pos from be_operand_t.
Christoph Mallon [Sun, 25 Nov 2012 11:20:16 +0000 (12:20 +0100)]
beinsn: Remove the write-only attribute pos from be_operand_t.

11 years agobeinsn: Do not store, whether insn operands are constrained.
Christoph Mallon [Sun, 25 Nov 2012 11:14:53 +0000 (12:14 +0100)]
beinsn: Do not store, whether insn operands are constrained.

The only user of this information (bechordal) can just check the register requirement type.

11 years agocleanup: Remove unnecessary #include "beirg.h".
Christoph Mallon [Sun, 25 Nov 2012 09:21:00 +0000 (10:21 +0100)]
cleanup: Remove unnecessary #include "beirg.h".

11 years agocleanup: Remove unnecessary #include from be_t.h.
Christoph Mallon [Sun, 25 Nov 2012 09:01:54 +0000 (10:01 +0100)]
cleanup: Remove unnecessary #include from be_t.h.

11 years agobeirgmod: Do not set registers for the Perm results in insert_Perm_before() just...
Christoph Mallon [Sun, 25 Nov 2012 08:38:39 +0000 (09:38 +0100)]
beirgmod: Do not set registers for the Perm results in insert_Perm_before() just to clear them afterwards.

11 years agobeirgmod: Update documentation of insert_Perm_before().
Christoph Mallon [Sun, 25 Nov 2012 08:37:46 +0000 (09:37 +0100)]
beirgmod: Update documentation of insert_Perm_before().

This was missed when changing insert_Perm_after() to insert_Perm_before().

11 years agobeinsn: Do not store, whether an insn is pre-coloured.
Christoph Mallon [Sun, 25 Nov 2012 08:20:55 +0000 (09:20 +0100)]
beinsn: Do not store, whether an insn is pre-coloured.

The only user of this information (bechordal) can just check, whether a register is assigned.

11 years agobearch: remove arch_register_type_joker.
Christoph Mallon [Sat, 24 Nov 2012 22:47:15 +0000 (23:47 +0100)]
bearch: remove arch_register_type_joker.

arch_register_type_virtual is sufficient.

11 years agobearch: Check the register class first in arch_reg_is_allocatable().
Christoph Mallon [Sun, 25 Nov 2012 07:11:53 +0000 (08:11 +0100)]
bearch: Check the register class first in arch_reg_is_allocatable().

They must match, even for joker registers.

11 years agobearch: Assert, instead of test, that the register requirement is not arch_register_r...
Christoph Mallon [Sat, 24 Nov 2012 22:17:18 +0000 (23:17 +0100)]
bearch: Assert, instead of test, that the register requirement is not arch_register_req_type_none in arch_reg_is_allocatable().

If it is, something is very wrong.

11 years agocleanup: Reduce code duplication.
Christoph Mallon [Sat, 24 Nov 2012 21:34:03 +0000 (22:34 +0100)]
cleanup: Reduce code duplication.

11 years agobearch: Remove arch_get_inverse() and associated code.
Christoph Mallon [Sat, 24 Nov 2012 21:18:46 +0000 (22:18 +0100)]
bearch: Remove arch_get_inverse() and associated code.

11 years agobeinfo: Remove the unused function be_info_initialized().
Christoph Mallon [Sat, 24 Nov 2012 21:05:01 +0000 (22:05 +0100)]
beinfo: Remove the unused function be_info_initialized().

11 years agobeinfo: Remove declaration of the non-existent function be_info_duplicate().
Christoph Mallon [Sat, 24 Nov 2012 21:04:32 +0000 (22:04 +0100)]
beinfo: Remove declaration of the non-existent function be_info_duplicate().

11 years agocleanup: Remove unnecessary #include from becopyopt.h.
Christoph Mallon [Sat, 24 Nov 2012 20:57:20 +0000 (21:57 +0100)]
cleanup: Remove unnecessary #include from becopyopt.h.

11 years agocleanup: Remove unnecessary #include from beifg.h.
Christoph Mallon [Sat, 24 Nov 2012 20:51:22 +0000 (21:51 +0100)]
cleanup: Remove unnecessary #include from beifg.h.

11 years agocleanup: Remove unnecessary #include from belive.h.
Christoph Mallon [Sat, 24 Nov 2012 20:47:04 +0000 (21:47 +0100)]
cleanup: Remove unnecessary #include from belive.h.

11 years agocleanup: Remove unnecessary #include from beutil.h.
Christoph Mallon [Sat, 24 Nov 2012 20:40:47 +0000 (21:40 +0100)]
cleanup: Remove unnecessary #include from beutil.h.

11 years agocleanup: Remove has_reg_class().
Christoph Mallon [Sat, 24 Nov 2012 20:40:32 +0000 (21:40 +0100)]
cleanup: Remove has_reg_class().

11 years agobeinfo: Remove unnecessary test from sched_edge_hook().
Christoph Mallon [Sat, 24 Nov 2012 20:29:44 +0000 (21:29 +0100)]
beinfo: Remove unnecessary test from sched_edge_hook().

Projs are not scheduled, so they will fail this test later on.

11 years agocleanup: Remove unnecessary #include from besched.[ch].
Christoph Mallon [Sat, 24 Nov 2012 20:29:23 +0000 (21:29 +0100)]
cleanup: Remove unnecessary #include from besched.[ch].

11 years agobesched: Remove the unused/unnecessary functions sched_has_next() and sched_has_prev().
Christoph Mallon [Sat, 24 Nov 2012 20:28:19 +0000 (21:28 +0100)]
besched: Remove the unused/unnecessary functions sched_has_next() and sched_has_prev().

11 years agobelive: Assert that only scheduled nodes are used in _value_dominates_intrablock...
Christoph Mallon [Sat, 24 Nov 2012 20:05:48 +0000 (21:05 +0100)]
belive: Assert that only scheduled nodes are used in _value_dominates_intrablock() and _value_strictly_dominates_intrablock().

11 years agocleanup: Remove unnecessary #include from beintlive_t.h.
Christoph Mallon [Sat, 24 Nov 2012 20:01:40 +0000 (21:01 +0100)]
cleanup: Remove unnecessary #include from beintlive_t.h.

11 years agobearch: Remove special handling that a node has no backend info, when getting a regis...
Christoph Mallon [Sat, 24 Nov 2012 19:58:00 +0000 (20:58 +0100)]
bearch: Remove special handling that a node has no backend info, when getting a register requirement of the node.

This should not occur anymore.

11 years agobelive: Remove unused functions and macros.
Christoph Mallon [Sat, 24 Nov 2012 19:57:19 +0000 (20:57 +0100)]
belive: Remove unused functions and macros.

11 years agocleanup: Remove unnecesary #include from bearch.h.
Christoph Mallon [Sat, 24 Nov 2012 19:40:17 +0000 (20:40 +0100)]
cleanup: Remove unnecesary #include from bearch.h.

11 years agobetranshlp: Simply crash with on null pointer instead of having an explicit panic.
Christoph Mallon [Sat, 24 Nov 2012 19:37:18 +0000 (20:37 +0100)]
betranshlp: Simply crash with on null pointer instead of having an explicit panic.

11 years agobearch: Remove unnecessary indirection to access arch_no_register_req.
Christoph Mallon [Sat, 24 Nov 2012 19:14:35 +0000 (20:14 +0100)]
bearch: Remove unnecessary indirection to access arch_no_register_req.

11 years agobearch: Remove obsolete special case for out info of switch nodes.
Christoph Mallon [Sat, 24 Nov 2012 19:11:16 +0000 (20:11 +0100)]
bearch: Remove obsolete special case for out info of switch nodes.

11 years agoheur4: Remove unused macro constants.
Christoph Mallon [Sat, 24 Nov 2012 18:54:40 +0000 (19:54 +0100)]
heur4: Remove unused macro constants.

11 years agoheur4: Check all n_regs order[] entries, not just k.
Christoph Mallon [Sat, 24 Nov 2012 18:46:57 +0000 (19:46 +0100)]
heur4: Check all n_regs order[] entries, not just k.

This is relevant, when there is an allocateable register with a higher number than some non-allocateable register.

11 years agosparc: Correct dwarf number of register %i7.
Christoph Mallon [Sat, 24 Nov 2012 18:43:00 +0000 (19:43 +0100)]
sparc: Correct dwarf number of register %i7.

11 years agoir: Shuffle node macros, so functions in the header declaring the macros use the...
Christoph Mallon [Sat, 24 Nov 2012 18:14:56 +0000 (19:14 +0100)]
ir: Shuffle node macros, so functions in the header declaring the macros use the inline versions of the node functions.

11 years agoheur4: Avoid unnecessary bitset operations when the node is not limited.
Christoph Mallon [Sat, 24 Nov 2012 17:37:38 +0000 (18:37 +0100)]
heur4: Avoid unnecessary bitset operations when the node is not limited.

11 years agobechordal: Remove the write-only bitset out_constr from pre_process_constraints().
Christoph Mallon [Sat, 24 Nov 2012 16:15:17 +0000 (17:15 +0100)]
bechordal: Remove the write-only bitset out_constr from pre_process_constraints().

11 years agobechordal: Remove the write-only attribute colors_n from struct be_chordal_alloc_env_t.
Christoph Mallon [Sat, 24 Nov 2012 15:55:40 +0000 (16:55 +0100)]
bechordal: Remove the write-only attribute colors_n from struct be_chordal_alloc_env_t.

11 years agobechordal: Remove the write-only bitset in_colors from struct be_chordal_alloc_env_t.
Christoph Mallon [Sat, 24 Nov 2012 15:53:20 +0000 (16:53 +0100)]
bechordal: Remove the write-only bitset in_colors from struct be_chordal_alloc_env_t.

11 years agobechordal: Remove unused macro.
Christoph Mallon [Sat, 24 Nov 2012 15:46:33 +0000 (16:46 +0100)]
bechordal: Remove unused macro.

11 years agobecopyheur2: Use bitset_foreach_clear() instead of bitset_flip_all() + bitset_foreach().
Christoph Mallon [Sat, 24 Nov 2012 15:25:24 +0000 (16:25 +0100)]
becopyheur2: Use bitset_foreach_clear() instead of bitset_flip_all() + bitset_foreach().

11 years agobechordal: Simplify get_decisive_partner_regs().
Christoph Mallon [Sat, 24 Nov 2012 15:13:10 +0000 (16:13 +0100)]
bechordal: Simplify get_decisive_partner_regs().

11 years agobechordal: Remove impossible case from get_decisive_partner_regs().
Christoph Mallon [Sat, 24 Nov 2012 15:10:42 +0000 (16:10 +0100)]
bechordal: Remove impossible case from get_decisive_partner_regs().

o2 gets determined from o1, so o1 cannot be null.

11 years agobechordal: Remove unnecessary bitset copies from get_decisive_partner_regs().
Christoph Mallon [Sat, 24 Nov 2012 15:09:47 +0000 (16:09 +0100)]
bechordal: Remove unnecessary bitset copies from get_decisive_partner_regs().

11 years agobechordal: Remove invalid cases from assertion.
Christoph Mallon [Sat, 24 Nov 2012 14:55:54 +0000 (15:55 +0100)]
bechordal: Remove invalid cases from assertion.

The register classes must not be null here.
All allocatable register requirements must have a class.

11 years agobeinsn: Remove a pointless if.
Christoph Mallon [Sat, 24 Nov 2012 14:55:12 +0000 (15:55 +0100)]
beinsn: Remove a pointless if.

The register class cannot be null here, because only operands for the current class are collected before.

11 years agobelive: Change be_liveness_nodes_live_at() to be_liveness_nodes_live_before().
Christoph Mallon [Sat, 24 Nov 2012 14:26:01 +0000 (15:26 +0100)]
belive: Change be_liveness_nodes_live_at() to be_liveness_nodes_live_before().

The operation we want to perform is to get the live values just before a node.

11 years agobe: Change insert_Perm_after() to insert_Perm_before().
Christoph Mallon [Sat, 24 Nov 2012 14:16:30 +0000 (15:16 +0100)]
be: Change insert_Perm_after() to insert_Perm_before().

The operation we want to perform is to insert a Perm before a node.

11 years agobeinsn: Remove the attribute next_insn from struct be_insn_t.
Christoph Mallon [Sat, 24 Nov 2012 13:15:39 +0000 (14:15 +0100)]
beinsn: Remove the attribute next_insn from struct be_insn_t.

Just use sched_next().

11 years agobeinsn: Remove the attributes in_constraints and out_constraints from struct be_insn_t.
Christoph Mallon [Sat, 24 Nov 2012 13:04:30 +0000 (14:04 +0100)]
beinsn: Remove the attributes in_constraints and out_constraints from struct be_insn_t.

They are only used locally.
Write their combined value directly to has_constraints.

11 years agobe: Remove the indirection via chordal_scan_insn() to be_scan_insn().
Christoph Mallon [Sat, 24 Nov 2012 13:00:57 +0000 (14:00 +0100)]
be: Remove the indirection via chordal_scan_insn() to be_scan_insn().

11 years agobechordal: Remove the unused attribute ilp_server[] from struct be_ra_chordal_opts_t.
Christoph Mallon [Sat, 24 Nov 2012 12:38:08 +0000 (13:38 +0100)]
bechordal: Remove the unused attribute ilp_server[] from struct be_ra_chordal_opts_t.

11 years agobechordal: Remove the unused attribute ilp_solver[] from struct be_ra_chordal_opts_t.
Christoph Mallon [Sat, 24 Nov 2012 12:36:50 +0000 (13:36 +0100)]
bechordal: Remove the unused attribute ilp_solver[] from struct be_ra_chordal_opts_t.

11 years agobechordal: Make be_ra_chordal_color() static.
Christoph Mallon [Sat, 24 Nov 2012 12:34:49 +0000 (13:34 +0100)]
bechordal: Make be_ra_chordal_color() static.

11 years agobechordal: Use foreach_border_head() instead of the raw list_for_each_entry()/list_fo...
Christoph Mallon [Sat, 24 Nov 2012 12:32:09 +0000 (13:32 +0100)]
bechordal: Use foreach_border_head() instead of the raw list_for_each_entry()/list_for_each_entry_reverse().

The uses of list_for_each_entry() can use reverse, too.
They are only debug output.

11 years agobechordal: Remove the pointless wrapper macro get_block_border_head().
Christoph Mallon [Sat, 24 Nov 2012 12:25:30 +0000 (13:25 +0100)]
bechordal: Remove the pointless wrapper macro get_block_border_head().

11 years agobechordal: Remove the unused macros border_next() and border_prev().
Christoph Mallon [Sat, 24 Nov 2012 12:24:20 +0000 (13:24 +0100)]
bechordal: Remove the unused macros border_next() and border_prev().

11 years agobechordal: Merge the macro chordal_has_class() and the function has_reg_class().
Christoph Mallon [Sat, 24 Nov 2012 12:23:20 +0000 (13:23 +0100)]
bechordal: Merge the macro chordal_has_class() and the function has_reg_class().

11 years agobeabi: Remove unnecessary #include from beabi.h.
Christoph Mallon [Sat, 24 Nov 2012 11:51:27 +0000 (12:51 +0100)]
beabi: Remove unnecessary #include from beabi.h.

11 years agobeabi: Remove the declaration of the non-existent function be_abi_call_get_method_type().
Christoph Mallon [Sat, 24 Nov 2012 11:45:04 +0000 (12:45 +0100)]
beabi: Remove the declaration of the non-existent function be_abi_call_get_method_type().

11 years agobeabi: Remove pointless local variable.
Christoph Mallon [Sat, 24 Nov 2012 11:39:21 +0000 (12:39 +0100)]
beabi: Remove pointless local variable.

11 years agobeabi: Remove parameters from create_be_return(), which can be deduced from the param...
Christoph Mallon [Sat, 24 Nov 2012 11:35:58 +0000 (12:35 +0100)]
beabi: Remove parameters from create_be_return(), which can be deduced from the parameter irn.

11 years agobeabi: The parameter irn of create_be_return() never is null.
Christoph Mallon [Sat, 24 Nov 2012 11:31:39 +0000 (12:31 +0100)]
beabi: The parameter irn of create_be_return() never is null.

11 years agobeabi: Remove the attribute cls_addr from struct be_abi_call_t.
Christoph Mallon [Sat, 24 Nov 2012 11:12:54 +0000 (12:12 +0100)]
beabi: Remove the attribute cls_addr from struct be_abi_call_t.

It is only used locally.

11 years agobeabi: Remove the unused function be_abi_call_set_call_address_reg_class().
Christoph Mallon [Sat, 24 Nov 2012 11:01:00 +0000 (12:01 +0100)]
beabi: Remove the unused function be_abi_call_set_call_address_reg_class().

11 years agobeabi: Remove the unused attribute between_type from struct be_abi_call_t.
Christoph Mallon [Sat, 24 Nov 2012 10:58:49 +0000 (11:58 +0100)]
beabi: Remove the unused attribute between_type from struct be_abi_call_t.

11 years agobeabi: Remove the global variable be_omit_fp.
Christoph Mallon [Sat, 24 Nov 2012 10:55:13 +0000 (11:55 +0100)]
beabi: Remove the global variable be_omit_fp.

Simply directly use the be_options.

11 years agobeabi: Remove redundant adjustment of try_omit_fp in process_ops_in_block().
Christoph Mallon [Sat, 24 Nov 2012 10:53:02 +0000 (11:53 +0100)]
beabi: Remove redundant adjustment of try_omit_fp in process_ops_in_block().

It was initialised properly by be_abi_call_new().

11 years agobeabi: Always be_abi_call_get_flags() before be_abi_call_set_flags().
Christoph Mallon [Sat, 24 Nov 2012 10:49:18 +0000 (11:49 +0100)]
beabi: Always be_abi_call_get_flags() before be_abi_call_set_flags().

The template and amd64 backends left the omit_fp flag undefined due to allocating an uninitialized be_abi_call_flags_t on the stack.

11 years agobeabi: Turn be_abi_call_flags_t into a struct.
Christoph Mallon [Sat, 24 Nov 2012 10:45:49 +0000 (11:45 +0100)]
beabi: Turn be_abi_call_flags_t into a struct.

Remove the union aspect to interpret the flags as one unsigned int.

11 years agobeabi: Remove the atttribute on_stack from struct be_abi_call_arg_t.
Christoph Mallon [Sat, 24 Nov 2012 10:20:27 +0000 (11:20 +0100)]
beabi: Remove the atttribute on_stack from struct be_abi_call_arg_t.

It is the complement of the atttribute in_reg.

11 years agobeabi: Use the stack alignment, instead of hardcoding 4, to align the frame size.
Christoph Mallon [Sat, 24 Nov 2012 09:51:50 +0000 (10:51 +0100)]
beabi: Use the stack alignment, instead of hardcoding 4, to align the frame size.

11 years agobeabi: Remove the attribute frame_tp from struct lower_frame_sels_env_t.
Christoph Mallon [Sat, 24 Nov 2012 09:51:10 +0000 (10:51 +0100)]
beabi: Remove the attribute frame_tp from struct lower_frame_sels_env_t.

It is only used locally.

11 years agobeabi: Remove the unused attribute static_link_pos from struct lower_frame_sels_env_t.
Christoph Mallon [Sat, 24 Nov 2012 09:44:20 +0000 (10:44 +0100)]
beabi: Remove the unused attribute static_link_pos from struct lower_frame_sels_env_t.

11 years agobearch: Remove the write-only attribute link_class from struct arch_env_t.
Christoph Mallon [Sat, 24 Nov 2012 09:43:38 +0000 (10:43 +0100)]
bearch: Remove the write-only attribute link_class from struct arch_env_t.

11 years agobeabi: Remove the write-only attribute link_class from struct lower_frame_sels_env_t.
Christoph Mallon [Sat, 24 Nov 2012 09:42:28 +0000 (10:42 +0100)]
beabi: Remove the write-only attribute link_class from struct lower_frame_sels_env_t.

11 years agoamd64: Remove struct amd64_irg_data_t.
Christoph Mallon [Sat, 24 Nov 2012 09:08:34 +0000 (10:08 +0100)]
amd64: Remove struct amd64_irg_data_t.

Most attributes were unused.
The only one used (dump) is now directly read from the be_options.

11 years agobemain: init_graph in arch_isa_if_t may now be a null pointer.
Christoph Mallon [Sat, 24 Nov 2012 09:06:09 +0000 (10:06 +0100)]
bemain: init_graph in arch_isa_if_t may now be a null pointer.

Remove empty init_graph functions from arm and sparc backends.

11 years agobestack: Remove pointless local variable.
Christoph Mallon [Sat, 24 Nov 2012 09:05:16 +0000 (10:05 +0100)]
bestack: Remove pointless local variable.

11 years agobestack: Remove the write-only attribute between_size from struct bias_walk.
Christoph Mallon [Sat, 24 Nov 2012 09:04:41 +0000 (10:04 +0100)]
bestack: Remove the write-only attribute between_size from struct bias_walk.

11 years agobeabi: Pass be_abi_irg_t around locally instead of storing it in be_irg_t.
Christoph Mallon [Sat, 24 Nov 2012 09:01:17 +0000 (10:01 +0100)]
beabi: Pass be_abi_irg_t around locally instead of storing it in be_irg_t.

11 years agobeabi: Do not pass an environment to fix_pic_symconsts(), which it does not use.
Christoph Mallon [Sat, 24 Nov 2012 09:03:16 +0000 (10:03 +0100)]
beabi: Do not pass an environment to fix_pic_symconsts(), which it does not use.

11 years agobeabi: Remove the attribute start from struct be_abi_irg_t.
Christoph Mallon [Sat, 24 Nov 2012 08:33:52 +0000 (09:33 +0100)]
beabi: Remove the attribute start from struct be_abi_irg_t.

It is only used in one function.

11 years agobeabi: Remove the unused attribute start_block_bias from struct be_abi_irg_t.
Christoph Mallon [Sat, 24 Nov 2012 08:32:10 +0000 (09:32 +0100)]
beabi: Remove the unused attribute start_block_bias from struct be_abi_irg_t.

11 years agobe: Remove the irg from the birg.
Christoph Mallon [Sat, 24 Nov 2012 07:59:00 +0000 (08:59 +0100)]
be: Remove the irg from the birg.

There was only one user of this information left, which is changed to directly use irgs.

11 years agoarm: Remove the unused function create_const().
Christoph Mallon [Sat, 24 Nov 2012 07:53:03 +0000 (08:53 +0100)]
arm: Remove the unused function create_const().

11 years agoamd64: Remove the unused function create_const().
Christoph Mallon [Sat, 24 Nov 2012 07:52:33 +0000 (08:52 +0100)]
amd64: Remove the unused function create_const().

11 years agoedges: Remove support for private edge data.
Christoph Mallon [Fri, 23 Nov 2012 21:21:22 +0000 (22:21 +0100)]
edges: Remove support for private edge data.

11 years agoedges: Remove unused macros.
Christoph Mallon [Fri, 23 Nov 2012 21:15:47 +0000 (22:15 +0100)]
edges: Remove unused macros.

11 years agotr: Remove if from set_type_size(), which would lead to a silent failure in release...
Christoph Mallon [Sat, 24 Nov 2012 09:58:56 +0000 (10:58 +0100)]
tr: Remove if from set_type_size(), which would lead to a silent failure in release mode.

Now we get a nice crash.

11 years agoCombo: Ensure split by partition for Phi nodes.
Sebastian Buchwald [Fri, 23 Nov 2012 13:02:33 +0000 (14:02 +0100)]
Combo: Ensure split by partition for Phi nodes.

This fixes opt/combo3.c and opt/combo4.c.

11 years agoImproved readability of debug output.
Sebastian Buchwald [Thu, 22 Nov 2012 09:37:28 +0000 (10:37 +0100)]
Improved readability of debug output.

11 years agoDump partitions before adding them to the worklist.
Sebastian Buchwald [Thu, 22 Nov 2012 09:22:53 +0000 (10:22 +0100)]
Dump partitions before adding them to the worklist.

This makes the debug output more readable.

11 years agoFixed some typos.
Sebastian Buchwald [Tue, 20 Nov 2012 07:37:10 +0000 (08:37 +0100)]
Fixed some typos.

11 years agotimer: Enlarge the display space for the time.
Christoph Mallon [Fri, 23 Nov 2012 06:41:08 +0000 (07:41 +0100)]
timer: Enlarge the display space for the time.

11 years agoverifier: Check the result mode of Div and Mod.
Christoph Mallon [Thu, 22 Nov 2012 16:48:54 +0000 (17:48 +0100)]
verifier: Check the result mode of Div and Mod.

11 years agoverifier: Check that Div has a num mode, not a data mode.
Christoph Mallon [Thu, 22 Nov 2012 16:47:59 +0000 (17:47 +0100)]
verifier: Check that Div has a num mode, not a data mode.

11 years agoupdate for release
Matthias Braun [Fri, 16 Nov 2012 18:33:27 +0000 (19:33 +0100)]
update for release